Michael von Tessin
PhD Student
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).
Contact Details
More contact information is available at the Contact page.
Projects
Past |
Career Summary
[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
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
Trustworthy Systems Group Papers
2013
|
 |
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 |
2012
|
|
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 |
2011
|
|
|
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 |
2010
|
|
|
Michael von Tessin Towards high-assurance multiprocessor virtualisation 6th International Verification Workshop, pp. 110–125, Edinburgh, UK, July, 2010 |
2009
|
|
Michael von Tessin Towards a formally verifiable multiprocessor microkernel Poster presented at the 2009USENIX Annual Technical Conference, June, 2009 |