M. Sc. R. Alex Mattukat, Lehr- und Forschungsgebiet Informatik 3 Softwarekonstruktion, RWTH Aachen University