Raf @ xaph.net

Contact Details

Mobile	+61 414 93 86 43
Work	+61 2 8306 0556
Fax	+61 2 8306 0405
Position	PhD Student, School of Computer Science and Engineering, University of New South Wales
Affiliations	National ICT Australia
Location	Building L5, Level 5, Workstation 5.4
Mailing Address	Locked Bag 6016 The University of New South Wales Sydney, N.S.W. 1466
Email
Instant Messaging

photos stash

News

2008-07-28 Europe is amazing. Back on the 7th.
2008-01-21 Again it's over.
2008-01-03 Away in Thailand/Malaysia until 20th. Email contact only.
2007-11-16 Forked from CSE page.
2007-11-15 Domain now hosted on bluehost.
2007-11-01 Arch Enemy, Trivium, Machine Head ... front row, oh yes ...
2007-10-28 Seven Sydney bridges, 25km, great fun :)

Song of the moment

Songs which get stuck in my head (see all)

2008-09-20 Rammstein - Engel
2008-08-16 COMA - Listopad
2008-03-31 Amorphis - Empty Opening
2007-11-03 Lacrimas Profundere - Fornever
2007-10-30 Fear Factory - Archetype

Publications

Rafal Kolanski
A Formal Model of the L4 μ-kernel API Using the B Method, Honours Thesis, School of Computer Science and Engineering, University of New South Wales, 2004.
Rafal Kolanski
A Formal Model of the L4 μ-kernel API Using the B Method, Technical Report 05-00029-1, National ICT Australia, 2005.
Rafal Kolanski and Gerwin Klein
Formalising the L4 microkernel API
In: B. Jay and J. Gudmundsson (ed), Computing: The Australasian Theory Symposium (CATS 06), Jan 2006.
Kevin Elphinstone, Gerwin Klein and Rafal Kolanski
Formalising a High-Performance Microkernel
In: Rustan Leino (ed), Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06), Microsoft Research Technical Report MSR-TR-2006-117, Aug 2006.