Associate Professor
Khoury College of Computer Sciences
Northeastern University
first name at northeastern dot edu
Office: 340 WVH (West Village H, directions)
I am interested in the foundations of software and system design. My research spans areas such as formal methods, computer-aided verification and synthesis, safety-critical, embedded and cyber-physical systems, and security. Our group develops theory and builds tools for designing better (and better designing) systems.
I joined Northeastern in September 2018. My h-index is 48: Google Scholar page. My publications at DBLP.
I'm looking for students! Email me and apply here.