Gert Smolka

Gert Smolka

Saarland University Computer Science
Gert Smolka    Professor of Computer Science

smolka at

+49 (681) 302-5311      Phone
+49 (681) 302-5615      Fax

Saarland University
Saarland Informatics Campus E1 3
66123 Saarbrücken

Office: Room 514 in E1 3 (Campus Map)


Research: Computational Logic, Programming Languages, Constraint Programming

Apply to Saarbrücken Graduate School of Computer Science

Book: Programmierung - eine Einführung in die Informatik mit Standard ML

Making the simple complicated is commonplace; making the complicated simple, awesomely simple, that's creativity. -- Charles Mingus

Legal notice, Privacy policy