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

Textbooks, lecture notes

  • Modeling and Proving in Computational Type Theory Using the Coq Proof Assistant
  • Introduction to Functional Programming and the Structure of Programming Languages using OCaml
  • 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