Nomair Naeem

Nomair Naeem is a Lecturer and CS Advisor at the David R. Cheriton School of Computer Science, University of Waterloo. He holds a Ph.D. from the University of Waterloo where he developed static program analysis techniques for object-oriented languages, focusing on reducing runtime overhead of safety verification.

His research interests include:

• Static program analysis and verification
• Compiler design and optimization
• Java decompilation and obfuscation
• Algorithmic improvements for program analysis

His publications focus primarily on program analysis techniques, particularly efficient alias analysis and verification methods for AspectJ constructs. Recent teaching includes courses on compiler design, data structures, and software development principles.