Skip to main content

Peter Schrammel

Personal photo - Peter Schrammel

Peter Schrammel

Research Assistant

Interests

Research Website

Biography

2012-2016: Research Assistant at University of Oxford

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

2004-2006 Master of Science Technical Computer Science University of Technology, Vienna, Austria (exchange with École Polytechnique Fédérale Lausanne, Switzerland )

2001-2004 Bachelor of Science Technical Computer Science University of Technology, Vienna, Austria

Selected Publications

View AllManage publications