Assistant Professor, Electrical Engineering & Computer Science (effective Sept. 2021)
Email: WebsiteResearch Interests: Automated formal methods for the specification, design, synthesis, and verification of hardware and software systems; computer architecture; ethical AI.
MENU
Search
