Dr. Alexander Krauss
Angestellt, Technischer Geschäftsbereichsleiter, QAware GmbH
München, Deutschland
Werdegang
Berufserfahrung von Alexander Krauss
Ausbildung von Alexander Krauss
4 Jahre und 1 Monat, Juli 2005 - Juli 2009
Informatik
Technische Universität München
Dissertation: "Automating recursive definitions and termination proofs in Isabelle/HOL"
4 Jahre und 9 Monate, Okt. 2000 - Juni 2005
Informatik
Technische Universität Darmstadt
Sprachen
Englisch
-