 |
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
