Zafer Esen

Zafer Esen is a Senior Lecturer in the Department of Information Technology at Uppsala University, specializing in automated reasoning and formal methods. His research focuses on automated reasoning, formal verification, and program analysis, particularly in the context of heap-manipulating programs. He is the author of the TriCera verification tool and has contributed to the development of the theory of heaps in SMT solving.