Alastair Donaldson

Research Interests

My research interests are: formal verification, particuarly model checking, and especially verification of source code; type-checking; compilers; multi-core programming, and software performance optimization.

I plan to write some more about each area here, but for now check out my publications.