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)

Differentially Private Distributed Optimization
International Conference of Distributed Computing and Networking · 2014
290
cited
Differentially private iterative synchronous consensus
Workshop on Privacy in the Electronic Society · 2012
279
cited
Differential privacy in control and network systems
IEEE Conference on Decision and Control · 2016
214
cited
Path vector face routing: geographic routing with local face information
IEEE International Conference on Network Protocols · 2005
181
cited
C2E2: A Verification Tool for Stateflow Models
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2015
168
cited
Multi-agent Motion Planning from Signal Temporal Logic Specifications
IEEE Robotics and Automation Letters · 2022
109
cited
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems
International Conference on Computer Aided Verification · 2017
106
cited
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs
IEEE Transactions on Control of Network Systems · 2017
100
cited
Verification of annotated models from executions
International Conference on Embedded Software · 2013
93
cited
Sandboxing Controllers for Cyber-Physical Systems
2011 IEEE/ACM Second International Conference on Cyber-Physical Systems · 2011
82
cited
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
International Conference on Computer Aided Verification · 2016
81
cited
Entropy and Minimal Data Rates for State Estimation and Model Detection
International Conference on Hybrid Systems: Computation and Control · 2016
64
cited
ChatGPT in the Classroom: An Analysis of Its Strengths and Weaknesses for Solving Undergraduate Computer Science Questions
Technical Symposium on Computer Science Education · 2023
58
cited
Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems
IEEE Conference on Decision and Control · 2014
56
cited
A verification framework for hybrid systems
2007
54
cited
Bounded Verification with On-the-Fly Discrepancy Computation
Automated Technology for Verification and Analysis · 2015
50
cited
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2021
48
cited
A step towards verification and synthesis from simulink/stateflow models
International Conference on Hybrid Systems: Computation and Control · 2011
47
cited
On the cost of differential privacy in distributed control systems
International Conference on High Confidence Networked Systems · 2014
47
cited
Verifying Cyber-Physical Interactions in Safety-Critical Systems
IEEE Security and Privacy · 2013
46
cited
Sotabase
Sayan Mitra | Researcher Profile | Sotabase | Sotabase