Write a Blog >>
Peter Schrammel

Registered user since Wed 26 Sep 2018

Name:Peter Schrammel

Peter Schrammel has studied Computer Science with a specialization in embedded computing at TU Vienna, Austria. After his Master’s, Peter worked as a software architect at Siemens, developing firmware for RFID transponders, edgeware, mobile device and ERP integrations. In 2009, Peter started a PhD in verification of embedded and hybrid system models using static analysis at Inria, Grenoble, France. After graduation, Peter worked as a post-doc at University of Oxford, UK, combining abstract interpretation and bounded model checking to verify and test ISO 26262-compliant automotive C programs. Peter contributed to the C Bounded Model Checker (CBMC) and developed the software verification tools 2LS and JBMC. In 2016, he became lecturer at University of Sussex, Brigthon, UK, and co-founded the company Diffblue. As CTO of Diffblue, Peter is leading the development of AI-powered unit test generation technology for Java. Peter is member of Advance HE, of the Royal Academy of Engineering Enterprise Hub, and of the ACM.

Country:United Kingdom
Affiliation:University of Sussex and Diffblue Ltd
Personal website:http://www.schrammel.it
Research interests:formal methods, software verification, testing, program analysis


ASE 2022 CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
Show activities from other conferences

ASE 2022-profile
View general profile