Sotabase

Career

· Director of US R&D, Certora2024–
· Affiliate Assistant Professor, University of Washington, Seattle2024–
· Software Systems Laboratory, Columbia University

Publications (7)

IEEE Transactions on Instrumentation and Measurement · 2014
94
cited
International Conference on Information Control Systems & Technologies · 2012
77
cited
International Conference on Control, Instrumentation, Energy & Communication · 2014
29
cited
Automated Fire Detection and Controlling System
2015
17
cited
Sotabase