 |
Teaching
|
|
|
Winter Term 2016/17
| |
Topics in Computer Science -- Software Model Checking
|
|
Spring Term 2016/17
| |
Operating Systems
|
|
Past Teaching
| |
University of Oxford, Hilary Term 2015/16 -- High-Integrity Systems; practicals in security
and software verification
| |
University of Oxford, Hilary Term 2014/15 -- Software Verification lecture
| |
University of Oxford, Hilary Term 2014/15 -- High-Integrity Systems; practicals in security
and software verification
| |
University of Oxford, Hilary Term 2013/14 -- Software Verification; classes
| |
Université Pierre Mendès-France, IUT2, Summer Term 2011/12 --
Introduction to C Programming; practicals
| |
Université Pierre Mendès-France, IUT2, Summer Term 2010/11 --
Introduction to C Programming; practicals
| |
University of Technology Vienna, Winter Term 2009/10 --
Radio Frequency Identification - Principles, Systems, Applications; seminar
| |
University of Technology Vienna, Winter Term 2008/09 --
Radio Frequency Identification - Principles, Systems, Applications; seminar
| |
University of Technology Vienna, Summer Term 2007/08 --
Radio Frequency Identification - Principles, Systems, Applications; seminar
|
|
|
 |
Peter
Schrammel
|
|
|
|
|
|
|
|
|
|
|
|
|
|
