Research



Biography

Since 2016: Lecturer in Computer Science at University of Sussex, Brighton, UK
Since 2016: Co-founder and CTO of Diffblue Ltd., UK
2012 - 2016: Research Assistant at University of Oxford, UK
2009 - 2012 Ph.D. Thesis Logico-Numerical Verification Methods for Discrete and Hybrid Systems [pdf]
University of Grenoble / INRIA Grenoble - Rhône-Alpes, France
Advisors: Bertrand Jeannet, Alain Girault
2005 - 2009 Software Architect and Project Manager for embedded control systems in the context of RFID technology Siemens AG Austria
2001 - 2007 University Diploma in Concert Piano, Anton Bruckner University, Linz, Austria
2004 - 2006 Master of Science in Technical Computer Science, University of Technology, Vienna, Austria (exchange with École Polytechnique Fédérale Lausanne, Switzerland)
2001 - 2004 Bachelor of Science in Technical Computer Science, University of Technology, Vienna, Austria

Peter
Schrammel



Research Interests



Teaching



Publications



Software