Graz University of Technology

Professor
Institute for Software Technology
Website
Postdoc
Institute for Software Technology
Website

National Institute of Standards and Technology

Computer Scientist
Computer Security Division
Website
Mathematical Statistician
Mathematical and Computational Sciences Division
Website

Wilfrid Laurier University

Professor
Department of Physics and Computer Science
Website

University of Texas at Arlington

Professor
Department of Computer Science and Engineering
Website
PhD Student
Department of Computer Science and Engineering
Website
Adjunct Professor
Department of Computer Science and Engineering
Website

Johannes Kepler University

Privat-Dozent
Research Institute for Symbolic Computation (RISC)
Website
Assistant Professor
Research Institute for Symbolic Computation (RISC)
Website

University of Bergamo

INRIA Paris-Rocquencourt

Research Director
Project-Team SECRET
Website
Senior Researcher
Project-Team POLSYS
Website