Nada Amin
0000-0002-0830-7248
Publications
66 total
No publications found.
Research Topics
Logic, programming, and type systems
Parallel Computing and Optimization Techniques
Formal Methods in Verification
Advanced Database Systems and Queries
Advanced Software Engineering Methodologies
Affiliations
Harvard University
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.