Theodoros Kasampalis

Theodoros Kasampalis is interested in compilers and more specifically in verified code generation. As part of his research he has formalized the LLVM intermediate representation and the x86/64 assembly language semantics and designed a prototype translation validation system for the x86 backend of the LLVM compiler. He received his integrated B.Eng./M.Eng. degree in Computer Engineering from National Technical University of Athens. He is currently pursuing his Ph.D. at UIUC in formal verification of compilers.