Sotabase

Career

· Postdoctoral Researcher, California Institute of Technology2007–2008
· PhD in Computer Science, Massachusetts Institute of Technology2007–
· MSc in Computer Science and Automation, Indian Institute of Science2001–
· BE in Electrical Engineering, Jadavpur University1999–
· Affiliated Faculty, California Institute of Technology (Caltech)

Publications (186)

International Conference of Distributed Computing and Networking · 2014
290
cited
Workshop on Privacy in the Electronic Society · 2012
279
cited
IEEE Conference on Decision and Control · 2016
214
cited
IEEE International Conference on Network Protocols · 2005
181
cited
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2015
168
cited
109
cited
International Conference on Computer Aided Verification · 2017
106
cited
International Conference on Embedded Software · 2013
93
cited
2011 IEEE/ACM Second International Conference on Cyber-Physical Systems · 2011
82
cited
International Conference on Computer Aided Verification · 2016
81
cited
International Conference on Hybrid Systems: Computation and Control · 2016
64
cited
A verification framework for hybrid systems
2007
54
cited
Automated Technology for Verification and Analysis · 2015
50
cited
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2021
48
cited
International Conference on Hybrid Systems: Computation and Control · 2011
47
cited
International Conference on High Confidence Networked Systems · 2014
47
cited
Sotabase
Sayan Mitra | Researcher Profile | Sotabase | Sotabase