Skip to main content

Peter Schrammel

Personal photo - Peter Schrammel

Peter Schrammel

Research Assistant

Leaving date: 30th April 2016

Projects:

    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