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).
More contact information is available at the Contact page.
Past |
[2007-2013] PhD Student at NICTA/UNSW, Sydney, Australia
[2013] Internship at VMware, Palo Alto, CA, USA
[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
[2006] Oracle Certified Professional (OCP) degree from the Oracle University, Switzerland
[2004] BSc/MSc (Computer Science) degree from ETH Zurich, Switzerland
NICTA (National ICT Australia), Sydney, Australia
UNSW (University of New South Wales), Sydney, Australia
[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
|
 |
Michael von Tessin The clustered multikernel: An approach to formal verification of multiprocessor operating-system kernels PhD Thesis, School of Computer Science and Engineering, UNSW, Sydney, Australia, Sydney, Australia, December, 2013 |
|
|
Michael von Tessin The clustered multikernel: An approach to formal verification of multiprocessor OS kernels 2nd Workshop on Systems for Future Multi-core Architectures, pp. 1–6, Bern, Switzerland, April, 2012 |
|
|
|
Gernot Heiser, Leonid Ryzhyk, Michael von Tessin and Aleksander Budzynowski What if you could actually Trust your kernel? Workshop on Hot Topics in Operating Systems (HotOS), pp. 1–5, Napa, CA, USA, May, 2011 |
|
|
|
Michael von Tessin Towards high-assurance multiprocessor virtualisation 6th International Verification Workshop, pp. 110–125, Edinburgh, UK, July, 2010 |
|
|
Michael von Tessin Towards a formally verifiable multiprocessor microkernel Poster presented at the 2009<undefined>, June, 2009 |