After 16 years with the Research Group Foundations of Artificial Intelligence at the Institute for Computer Science at Freiburg University, working in Artificial Intelligence, Automated Planning, and Automated Verification, I have left academia.
How to reach me
Email: robert (at) robert (minus) mattmueller (dot) de