Saarland University
Informatics
Programming Systems
Gert Smolka
Teaching
Publications
Academic Activities
Curriculum Vitae
Doctoral Students
Alice
Mozart
SFB 378
Professor of Informatics
Saarland University
|
|
Secretary smolka at ps.uni-sb.de +49 (681) 302-5311 Phone +49 (681) 302-5615 Fax Universität des Saarlandes Campus E1 3, Rm. 514 66123 Saarbrücken Germany |
Research: Computational Logic, Programming Languages, Constraint Programming
Sonderforschungsbereich 378
Graduiertenkolleg Leistungsgarantien für Rechnersysteme
European Post-graduate College Language
Technology and Cognitive Systems