Research Engineer, Informal Systems
Dr.techn. (Computer Science), TU Wien

CV email
github linkedin stackoverflow