Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Gert Smolka's Home Page
[go: Go Back, main page]




Saarland University
Informatics
Programming Systems
Gert Smolka


Teaching
Publications
Academic Activities
Curriculum Vitae
Doctoral Students


Alice
Mozart
SFB 378

Gert Smolka

Professor of Informatics
Saarland University

Gert Smolka   
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