Research Interests

Aleksander is interested in many aspects of Operating System design. He enjoys working at the low level, including working on embedded systems, and is also interested in challenging entrenched abstractions. He is intrigued by formal methods.