Gert Smolka (* 5. Januar 1955 in Mannheim) ist ein deutscher Informatiker. Smolka hält seit 1990 einen Lehrstuhl an der Universität des Saarlandes, Fachrichtung Informatik, wo er auf dem Gebiet der Programmiersysteme lehrt und forscht. Einer seiner Schwerpunkte ist die Logik. Er studierte Informatik an der Cornell University und an der Universit...