Sotabase

Career

· Senior Principal Scientist, Amazon Web Services (AWS)2020–
· Non-Tutorial Fellow, Magdalen College, University of Oxford2008–2020
· Professor, University of Oxford2007–2020
· Assistant Professor, ETH Zürich2004–2007
· Postdoctoral Researcher, Carnegie Mellon University2001–2004
· Doctorate in Computer Science, Saarland University2001–
· Diploma in Computer Science and Economics, Saarland University1999–

Publications (670)

A Tool for Checking ANSI-C Programs
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2004
1,526
cited
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability
Computer Science Review · 2018
555
cited
A Survey of Automated Techniques for Formal Software Verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008
433
cited
Concolic Testing for Deep Neural Networks
International Conference on Automated Software Engineering · 2018
344
cited
Behavioral consistency of C and Verilog programs using bounded model checking
Proceedings - Design Automation Conference · 2003
313
cited
SATABS: SAT-Based Predicate Abstraction for ANSI-C
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2005
308
cited
Testing Deep Neural Networks
arXiv.org · 2018
236
cited
CBMC - C Bounded Model Checker - (Competition Contribution)
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2014
219
cited
Predicate Abstraction of ANSI-C Programs Using SAT
Formal Methods Syst. Des. · 2004
205
cited
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
IEEE Conference on Decision and Control · 2019
164
cited
Partial Orders for Efficient Bounded Model Checking of Concurrent Software
International Conference on Computer Aided Verification · 2013
160
cited
Efficient Computation of Recurrence Diameters
International Conference on Verification, Model Checking and Abstract Interpretation · 2002
151
cited
Deciding Bit-Vector Arithmetic with Abstraction
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2007
146
cited
Completeness and Complexity of Bounded Model Checking
International Conference on Verification, Model Checking and Abstract Interpretation · 2004
142
cited
CBMC: The C Bounded Model Checker
arXiv.org · 2023
127
cited
Dynamic Cutoff Detection in Parameterized Concurrent Programs
International Conference on Computer Aided Verification · 2010
124
cited
Software Verification Using k-Induction
Sensors Applications Symposium · 2011
124
cited
Formal verification of SystemC by automatic hardware/software partitioning
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. · 2005
123
cited
Model checking concurrent linux device drivers
International Conference on Automated Software Engineering · 2007
118
cited
Structural Test Coverage Criteria for Deep Neural Networks
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 2019
116
cited
Sotabase