Assistant Professor, Electrical Engineering and Computer Science
Email: Phone: 734-763-9015Office: 4628 BeysterWebsiteResearch Interests: Developing and using mathematical tools to ensure correctness, safety and security of programming languages and their implementations.