A
Alex Aiken
Alcatel-Lucent Professor of Communications and Networking, Professor of Particle Physics and Astrophysics, and of Photon Science
Research Interests
Cloud Computing and Resource Management
Distributed and Parallel Computing Systems
Interconnection Networks and Systems
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Formal Methods in Verification
Software Testing and Debugging Techniques
Software Engineering Research