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, security, and trustworthy AI. Our group develops theory and builds tools for designing better (and better designing) systems.
I joined Northeastern in September 2018. My h-index is 49: Google Scholar page. My publications at DBLP.
I am always looking for motivated PhD students Please apply here!. (You can still apply after the deadline has expired, but please email me in that case to let me know.)