Universitšt Karlsruhe
Prof. em. Dr. Dr. h.c. Gerhard Goos
Adresse
IPD Goos
Adenauerring 20a
AVG 50.41 Raum 122
76131 Karlsruhe
Germany
Tel. +49 (721) 608-4761
Email gerhard dot goos(at)kit dot edu

Sprechzeiten: Sprechstunde nach Vereinbarung

Arbeitsgebiete

1986 bis 1991 war Prof. Goos Vorstandsmitglied bei der Gesellschaft f√ľr Mathematik und Datenverarbeitung (GMD), der gr√∂√üten deutschen Informatik-Gro√üforschungseinrichtung. Seit 1986 geh√∂rt er dem Board of Trustees des International Computer Science Institute in Berkeley, Kalifornien an. Von 1971 bis 79 und wieder ab 1992 ist er gew√§hlter Gutachter der Deutschen Forschungsgemeinschaft (DFG), seit 1973 Hauptherausgeber der Lecture Notes in Computer Science und Mitherausgeber mehrerer wissenschaftlicher Zeitschriften. Prof. Goos z√§hlt zu den Gr√ľnderv√§tern der deutschen Informatik. Er ist Autor mehrerer Lehrb√ľcher im Bereich der Informatik sowie als Mitherausgeber verantwortlich f√ľr folgende Zeitschriften: Informatik-Spektrum Informatik Forschung & Entwicklung, Software Concepts and Tools, Formal Aspects of Computing. Seine fr√ľhen wissenschaftlichen Leistungen bestehen in wesentlichen Beitr√§gen zur √úbersetzertechnologie: G. Goos entwarf attributierte Grammatiken und den ersten europ√§ischen ADA-83 Compiler.

Projekte

Abgeschlossen
EASYCOMP
Sather-K
Verifix

Veröffentlichungen

2006
Hack, Goos, Optimal register allocation for SSA-form programs in polynomial time
Hack, Grund, Goos, Register allocation for programs in SSA-form
 
2005
Hack, Grund, Goos, Towards Register Allocation for Programs in SSA-form
 
2004
Glesner, Goos, Zimmermann, Verifix: Konstruktion und Architektur verifizierender √úbersetzer (Verifix: Construction and Architecture of Verifying Compilers)
 
2002
Goos, Software as Science?
 
2001
Goos, Issues in Compiling
Goos, Vorlesungen √ľber Informatik Band 2: Objektorientiertes Programmieren und Algorithmen
 
2000
Frick, Goos, Neumann, Zimmermann, Construction of Robust Class Hierarchies
Goos, Zimmermann, Verifying Compilers and ASMs
Goos, Zimmermann, ASMs for uniform description of multistep transformations
Goos, Vorlesungen √ľber Informatik Band 1: Grundlagen und funktionales Programmieren
 
1999
Goos, Zimmermann, Verification of Compilers
 
1998
Schoknecht, Spott, Riedmiller, Goos, Menzel, Selbständiges Lernen von Regelungen mit Fynesse
Goos, Vorlesungen √ľber Informatik Band 4: Parallelit√§t und nicht-analytische L√∂sungsverfahren
 
1997
Gaul, Goos, Heberle, Zimmermann, Zur Konstruktion verifizierter √úbersetzer
Gaul, Goos, Heberle, Zimmermann, Goerigk, An Architecture for Verified Compiler Construction
Goos, Spott, Weisbrod, Riedmiller, Interpretation und Adaption unscharfer Relationen innerhalb einer hybriden selbstlernenden Steuerungsarchitektur
Goos, Sather-K - The Language
Goos, Zimmermann, D2: Programmiersprachen
Goos, Vorlesungen √ľber Informatik Band 3: Berechenbarkeit, formale Sprachen und Spezifikationen
 
1996
Goerigk, Dold, Gaul, Goos, Heberle, von Henke, Hoffmann, Langmaack, Zimmermann, Compiler Correctness and Implementation Verification: The Verifix Approach
 
1994
Goos, Algorithmentechnik (Vorlesungsskript)
 
1984
Goos, Waite, Compiler Construction
Login
Links