Michael von Tessin - Graduate Researcher
Trustworthy Embedded Systems Project
Research Interests
Michael is interested in Operating Systems, Formal Verification, Multiprocessing, Virtualisation, Security, Trusted Computing
PhD Topic: Formal Verification of a Multiprocessor Microkernel
NICTA Projects
ERTOS (Trustworthy Embedded Systems)
seL4 (secure embedded L4)
Career Summary
[2009] Internship at Microsoft Research, Redmond, WA, USA
[from 2007] PhD Student 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] 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
| Phone: | 0293987434 |
|---|---|
| Email: | michael.vontessin@nicta.com.au |
More contact information is available at the ERTOS Contacts page.