Name:Thorsten Tarrach

Bio:

PhD at the Institute of Science and Technology, Austria

Currently a Research Engineer at AIT Austrian Institute of Technology

Country:Austria

Affiliation:Austrian Institute of Technology

Research interests:Formal Methods, Programming Languages, Verification, Synthesis, Automated Test Case Generation