Gert Smolka

Gert Smolka

Saarland University Computer Science
Gert Smolka    Professor of Informatics

smolka at ps.uni-saarland.de

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

Universität des Saarlandes
Campus E1 3, Rm. 514
66123 Saarbrücken
Germany

Assistant , 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

Conference: Certified Programs and Proofs (CPP 2015)

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