• 坚果苹果

    坚果苹果

    老王v2.2.0 We are interested in automated reasoning technology for the construction of systems. We are particularly interested in applying these methods to practical hardware and software im­ple­mentations given in industrial languages such as Verilog, C/C++ or Java. Read more about our work on software analysis or hardware verification.

    老王v2.2.6 NEW: MIT Press is now shipping the 2nd edition of the Model Checking book!
    Watch the unboxing video!

    NEW: Springer is now shipping the 2nd edition of the book on Decision Procedures!

    Submit to FMSD!

    坚果苹果

    Group Members
    Staff Martin Brain
    Mirco Giacobbe
    Daniel Kroening
    Hadrien Pouget
    PhD Students Isaac Dunn
    John Galea
    Laura Hanu
    Sean Heelan
    Natasha Jeppu
    Julian Parsert
    MSc Students Hjalmar Wijk
    老王v最新版 Igor Zinovik, Postdoc
    Thomas Witkowski, MSc ETH 2007, Thesis
    Samuel Bernet, MSc ETH 2008
    Raphael Mack, MSc ETH 2008, 老王v2.2.0
    Thomas Lenherr, MSc ETH 2008, Thesis
    Sean Heelan, MSc Oxford 2009, 老王v2.2.0, Hoare Project Prize, now doing a DPhil
    Haoxian Zhao, MSc Oxford 2009, Thesis, now at Freepoint Commodities
    Gerard Basler, PhD ETH 2010, 老王v安卓, now at Leonteq Securities
    Nicolas Blanc, PhD ETH 2010, 老王2.2.7, now at Avaloq
    Georg Weissenbacher, PhD Oxford 2010, Thesis, now Associate Professor at TU Vienna
    老王v2.2.0, PhD ETH 2010, Thesis, now at IBM Research
    Philipp Ruemmer, now Associate Professor in Uppsala
    Christoph Wintersteiger, PhD ETH 2011, Thesis, now at Microsoft Research
    Angelo Brillout, PhD ETH 2011, Thesis, now at Avaloq
    Thomas Wahl, now Associate Professor at Northeastern University, Boston
    Alastair Donaldson, now Reader at Imperial College, and at Google
    Jade Alglave, now at ARM and Professor at UCL
    Nannan He, now Associate Professor at Minnesota State University at Mankato
    Vijay Victor D'silva, PhD Oxford 2012, now at Google, 老王v2.2.6
    Yury Chebiryak, PhD ETH Zürich 2012, Thesis, now at Amplitude Capital
    Ajitha Rajan, now Reader at the University of Edinburgh
    Vojtech Forejt, now Associate Professor in the CS Department
    Michael Tautschnig, now at Queen Mary, University of London, and AWS
    Nassim Seghir, now at UCL
    Alexander Kaiser, PhD Oxford 2013, Thesis
    Leopold Haller, PhD Oxford 2014, now at Google, 老王2.2.7
    老王v2.2.6, now maître de conférences at Université Paris 13
    Subodh Sharma, now Assistant Professor at IIT Delhi
    Hongyi Chen
    Vincent Nimal, PhD Oxford 2015, now at Silexica, Thesis
    Matt Lewis, PhD Oxford 2015, now at Improbable, Thesis
    Samuel Bucheli, now at Zühlke
    老王v最新版, now at CMU
    Ashutosh Natraj, now running a startup
    Saurabh Joshi, now Assistant Professor at IIT Hyderabad
    Björn Wachter, now at SSW Trading
    Liana Hadarean, now at AWS
    Alex Horn, PhD Oxford 2016, Thesis, now at Apple
    Ganesh Narayanaswamy, MSc Oxford 2016
    Peter Schrammel, now Lecturer at the University of Sussex
    Marco Gorelli, MSc Oxford 2016
    Issac Lam, MSc Oxford 2016
    Alberto Sadde, MSc Oxford 2016, now at AiFi
    老王v最新版, PhD Oxford 2017, Thesis, now at Afiniti
    Lihao Liang, PhD Oxford 2017, now at Google
    Cristina David, now Lecturer in Bristol
    Pascal Kesseli, PhD Oxford 2017, Thesis, now at Diffblue
    老王2.2.8, PhD Oxford 2017, now at AWS, 老王2.2.3
    Lucas Cordeiro, now Senior Lecturer in Manchester
    Daniel Poetzl, PhD Oxford 2018, now at Diffblue
    老王2.2.8, MSc Oxford 2018, now doing a DPhil
    Marcelo Sousa, PhD Oxford 2018, now running a startup
    Dario Cattaruzza, PhD Oxford 2018, now at Sportable
    Youcheng Sun, now lecturer at the University of Belfast

    A photo taken after a group punting trip, and another taken at a CProver workshop at Chicheley Hall.

    坚果苹果


    ERC SRC

     

    This project has received funding from the European Union's Seventh Framework Programme for research, technological development and demonstration under grant agreement no. 280053.