Gert Smolka

Gert Smolka

Saarland University Computer Science
Gert Smolka    Professor of Computer Science

smolka at

Saarland University
Saarland Informatics Campus E1 3
66123 Saarbrücken

Office: Room 514 in E1 3 (Campus Map)
+49 (681) 302-5311


Research: Computational Logic, Interactive Theorem Proving, Programming Languages

Apply to Saarbrücken Graduate School of Computer Science

Textbook, under construction:
Modeling and Proving in Computational Type Theory Using the Coq Proof Assistant

Textbook, 2007:
Programmierung - eine Einführung in die Informatik mit Standard ML
English version using OCaml planned for 2022

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

Legal notice, Privacy policy