System security
Former assistant
Address:
Ruhr-University Bochum
Faculty of Computer Science
System security
Universitätsstr. 150
--D-44801 Bochum
Office Hours: By arrangement

Research
decompilation and type inference theoretical aspects of reverse engineering & SMT solving program synthesis