Michael von Tessin
PhD Student
Contact Details
| Email: | Michael.VonTessin@nicta.com.au |
|---|
More contact information is available at the SSRG Contact page.
Research Interests
Michael is interested in operating systems (microkernels, multiprocessing, virtualisation, device drivers, networking, distributed systems), security (trusted computing, cryptography, security protocols) and formal verification (theorem proving, concurrency).
Projects
Past |
Career Summary
[2007-2013] PhD Student at NICTA/UNSW, Sydney, Australia
[2009] Internship at Microsoft Research, Redmond, WA, USA
[2004-2006] Software Engineer at Avaloq Evolution AG in Zurich, Switzerland
[1999-2004] BSc/MSc (Computer Science) student at ETH Zurich, Switzerland
Qualifications
[2006] Oracle Certified Professional (OCP) degree from the Oracle University, Switzerland
[2004] BSc/MSc (Computer Science) degree from ETH Zurich, Switzerland
Affiliations
NICTA (National ICT Australia), Sydney, Australia
UNSW (University of New South Wales), Sydney, Australia
Grants
[2012] student grant for EuroSys 2012
[2010] Postgraduate Research Support Scheme (PRSS) conference grant for FLoC 2010
[2009] student grant for USENIX ATC 2009
[2007-2011] University International Postgraduate Award (UIPA) scholarship
[2007-2011] NICTA Research Project Award (NRPA) scholarship
Publications
- NICTA Papers (2012, 2011, 2010, 2009)
NICTA Papers
2012
2011
2010
 
|
 |
Michael von Tessin Towards high-assurance multiprocessor virtualisation Proceedings of the 6th International Verification Workshop, pp. 110–125, 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 |