Alex Aiken
0000-0002-3723-9555
Publications
397 total
No publications found.
Research Topics
Parallel Computing and Optimization Techniques
Logic, programming, and type systems
Formal Methods in Verification
Software Testing and Debugging Techniques
Software Engineering Research
Affiliations
Stanford University
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.