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