Sotabase

Career

· Software Engineer, Google2020–
· Postdoctoral Scholar, University of California, Berkeley2018–2019
· Doctor of Philosophy (Ph.D.), Computer Science, University of Colorado Boulder2014–2018
· Master of Science (M.Sc.), Computer Science, 4.0, University of Colorado at Boulder2012–2014
· Research Assistant, University of Colorado Boulder2012–2018
· Software Developer, Ladtelecom2011–2012
· Software Developer, FANAP2010–2011
· Bachelor of Engineering (B.E.), Computer Software Engineering, University of Tehran2006–2011

Publications (24)

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
International Conference on Computer Aided Verification · 2019
215
cited
Learning control lyapunov functions from counterexamples and demonstrations
Autonomous Robots · 2018
85
cited
Counter-Example Guided Synthesis of control Lyapunov functions for switched systems
IEEE Conference on Decision and Control · 2015
48
cited
Robust controller synthesis of switched systems using counterexample guided framework
International Conference on Embedded Software · 2016
40
cited
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
arXiv.org · 2019
33
cited
Counterexample-Guided Synthesis of Perception Models and Control
American Control Conference · 2019
20
cited
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations
Robotics: Science and Systems · 2017
18
cited
A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients
Allerton Conference on Communication, Control, and Computing · 2012
16
cited
Path-Following through Control Funnel Functions
IEEE/RJS International Conference on Intelligent RObots and Systems · 2018
16
cited
Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties
arXiv.org · 2015
15
cited
A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems
SYNT@CAV · 2017
7
cited
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation
International Conference on Embedded Software · 2014
6
cited
Reducing Time-To-Fix For Fuzzer Bugs
International Conference on Automated Software Engineering · 2021
6
cited
Counterexample-guided stabilization of switched systems using control lyapunov functions
International Conference on Hybrid Systems: Computation and Control · 2015
5
cited
Affix-augmented stem-based language model for persian
International Conference on Natural Language Processing and Knowledge Engineering · 2010
2
cited
A Counter-Example Guided Framework for Robust Synthesis of Switched Systems Using Control Certificates
arXiv.org · 2015
1
cited
Formal Policy Learning from Demonstrations for Reachability Properties
IEEE International Conference on Robotics and Automation · 2019
1
cited
Implementation of improved spatial derivative discretization in DualSPHysics: simulation and convergence study
Computational Particle Mechanics · 2023
1
cited
Real-time Funnel Generation for Restricted Motion Planning
arXiv.org · 2019
1
cited
A Counter-Example Guided Framework for Robust Synthesizing Switched Systems Using Control Certificates
2015
Sotabase
Hadi Ravanbakhsh | Researcher Profile | Sotabase | Sotabase