1935 - , künstliche Intelligenz; Programmiersprachen und Programmiertechnik; Algorithmen; Ersetzungssysteme und Kalküle; Theorie verteilter Systeme; Professor der Informatik
1935 - , künstliche Intelligenz; Programmiersprachen und Programmiertechnik; Algorithmen; Ersetzungssysteme und Kalküle; Theorie verteilter Systeme; Professor der Informatik