Aarhus University Seal

Thomas Heinze joins CASA as postdoc on 1 January 2015

Thomas Heinze has studied computer science at Friedrich Schiller University Jena, where he also received his PhD by the end of 2013 under the supervision of Wolfram Amme.

During his PhD, he focused on methods for verification and static analysis of distributed business processes. At CASA he will be working on static analysis of dynamic languages.