Gert Smolka

Gert Smolka

Saarland University Computer Science
Gert Smolka   
Professor of Computer Science
Saarland University

smolka at

Saarland University
Saarland Informatics Campus E1 3
66123 Saarbrücken

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

Research: Computational Logic, Interactive Theorem Proving, Type Theory, Programming Languages

Teaching   Publications   Doctoral Students

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
  • Apply to Saarbrücken Graduate School of Computer Science

    Programming Systems   Saarland Informatics Campus   Saarland University

    Legal notice, Privacy policy