Martin Berger

Research interests:

Automata Theory, Compiler Theory, Compilers, Computer Systems Security, Concurrency, Cryptography, Domain Specific Languages, Formal Methods, Formal Verification, Foundations of computation, Functional Programming, Just-In-Time Compilers, Logic, Logic for Computer Science, Meta-Programming, Network Security, Programming Languages, Programming Languages - Concurrent, Programming Languages - Distributed, Proof Assistants, Proof Theory, Semantics of Programming Languages, Software Engineering, Software Specification, Software Verification, Theorem Provers