|
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 Piano Performance, 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
|
|
|
|
|
|
|
|
|