methods Resource-bounded systems Teaching In the last years I have taught the following courses. TUClausthal Verification of Concurrent Systems (WS 2012/13) Informatics III - Automata Theory and Formal Languages […] rer. nat. habil. Nils Bulling In 2011 I was appointed Akademischer Rat ( Assistant Professor ) at Clausthal University of Technology. In 2010 I have finished my PhD (thesis: Modelling and Verifying Abilities […] agents , grade: summa cum laude ) and afterwards held a post-doc position for a few month also at Clausthal University of Technology. I am member of the Computational Intelligence Group . Since 2008 I was
group at the Clausthal University of Technology. Before that, I was a postdoc at the Intelligent Networks group, hosted by Stefan Schmid . I received my PhD in theoretical computer science from TU Berlin in […] Contact Office: D3-112, Julius-Albert-Str. 4 Phone: +49-5323-72 7105 E-Mail: leon.kellerhals @ tu-clausthal . de
1979 Grade: 1.0 Contact Office: D5 Phone: +49 5323 72-7181 Fax: +49 5323 72-7189 E-Mail: dix @ tu-clausthal . de […] Prof. Dr. Jürgen Dix I am (emeritus) Professor at the Computer Science Department of Clausthal University of Technology. I held my chair from 2004-2024 and retired in October 2024. Since the late eighties […] Erdös number is 3 SpringerLink Degrees Academic Qualifications Habilitation in Information Systems , TU Vienna, 1996 Thesis: Disjunctive Deductive Databases: Theoretical Foundations and Implementation Title:
Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden u. a. pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Mit dem Klick auf Einstellungen können Sie zudem die einzelnen Cookies auswählen, welche Sie akzeptieren wollen. Das Einverständnis in die Verwendung der Cookies können Sie jederzeit, auch teilweise, widerrufen. Weitere Informationen zu Cookies auf dieser Website finden Sie in unserer Datenschutzerklärung und zu uns im Impressum.
