Michael von Tessin - Graduate Researcher
Trustworthy Embedded Systems Project
Research Interests
Michael is interested in operating systems, formal verification, multiprocessing, virtualisation, security, cryptography and trusted computing.
His PhD is about formal verification of a multiprocessor version of seL4.
NICTA Projects
ERTOS (Trustworthy Embedded Systems)
seL4 (secure embedded L4)
Career Summary
[2009] Internship at Microsoft Research, Redmond, WA, USA
[from 2007] Graduate Researcher at NICTA/UNSW, Sydney, Australia
[2004-2006] Software Engineer at Avaloq Evolution AG in Zurich, Switzerland
[1999-2004] BSc/MSc (Computer Science) at ETH Zurich, Switzerland
Qualifications
[2004] BSc/MSc (Computer Science) degree from ETH Zurich, Switzerland
[2006] Oracle Certified Professional (OCP) degree from the Oracle University, Switzerland
Affiliations
NICTA (National ICT Australia), Sydney, Australia
UNSW (University of New South Wales), Sydney, Australia
Contact Details
| Email: | michael.vontessin@nicta.com.au |
|---|
More contact information is available at the ERTOS Contacts page.
Publications
NICTA Papers
2010
|
 |
Michael von Tessin Towards high-assurance multiprocessor virtualisation Proceedings of the 6th International Verification Workshop, Edinburgh, UK, July, 2010 |
2009
|
|
|
Michael von Tessin Towards a formally verifiable multiprocessor microkernel Poster presentation at the 2009 USENIX Annual Technical Conference, San Diego, CA, USA, June, 2009 |