Assistant Professor, Electrical Engineering and Computer Science
Email: Office: 4816 Beyster Bldg.WebsiteResearch Interests: Automated formal methods for the specification, design, synthesis, and verification of hardware and software systems; computer architecture; ethical AI.