Dr.-Ing. Georg Schied

• Seit März 2002 Professor im Fachbereich Informatik der Fachhochschule Ulm
• Von Feb. 1998 bis Feb. 2002 Mitarbeiter der SAP AG im Bereich Basistechnologie
• Von Feb. 1993 bis Jan. 1998 Mitarbeiter der Abteilung Programmiersprachen und Übersetzerbau, Fakultät Informatik der Universität Stuttgart.
• Von Nov. 1988 bis Jan. 1993 Mitarbeiter am Lehrstuhl Informatik II der Universität Erlangen-Nürnberg.

Forschung

• Projekt "Bauhaus": Software-Architektur, Software-Reengineering und Programmverstehen
• Projekt "DHOP - Distributed Higher Order Processes": Integration funktionaler und nebenläufiger Programmierung
• Polymorphe Typsysteme, lineare Typen, Typinferenz
• Effiziente Implementierung funktionaler und nebenläufiger Programmiersprachen
• Spezifikation verteilter Systeme mit Graphgrammatiken, Graphersetzungssysteme

Veröffentlichungen

• J.-F. Girard, R. Koschke, G. Schied. Comparison of Abstract Data Type and Abstract State Encapsulation Detection Techniques for Architectural Understanding. Accepted for "Working Conference on Reverse Engineering - WCRE'97", 1997.

• J.-F. Girard, R. Koschke, G. Schied. A Metric-based Approach to Detect Abstract Data Types and State Encapsulations. Accepted for "Automated Software Engineering - ASE'97", 1997

• G. Schied, K. Barthelmann: Linear Types for Higher Order Processes with First Class Directed Channels. Workshop on Graph Rewriting and Computation (SEGRAGRA '95), Electronic Notes in Theoretical Computer Science, Vol. 2, Elsevier Science B.V., 1995

• G. Schied: Programmieren mit Prozessen höherer Ordnung und mit linearen Typen. Proc. 12. Workshop GI-FG 2.1.4 "Alternative Konzepte für Sprachen und Rechner", Bad Honnef, 1995, erscheint als Research Report, Univ. Koblenz. (.dvi, 8 kb)

• G. Schied: Konstruktive Spezifikation verteilter Systeme mit Graphgrammatiken. In: Verteilte Systeme - Grundlagen und zukünftige Entwicklungen aus der Sicht des Sonderforschungsbereichs 182 "Multiprozessor- und Netzwerkkonfigurationen", H. Wedekind (Hrsg.), BI-Wissenschaftsverlag, pp. 475-493, 1994. (.ps, 73 kb)

• G. Schied: On Relating Rewriting Systems and Graph Grammars to Event Structures. In: Proc. Workshop on Graph Transformations in Computer Science, 1993, LNCS 776, pp. 326--340, Springer-Verlag, 1994. (.ps, 82 kb)

• K. Barthelmann, G. Schied: Graph grammar semantics of an higher-order programming language for distributed systems. In: Proc. Workshop on Graph Transformations in Computer Science, 1993, LNCS 776, pp. 71--85, Springer-Verlag, 1994. (.ps, 82 kb)

• G. Schied: Über Graphgrammatiken, eine Spezifikationsmethode für Programmiersprachen und verteilte Regelsysteme. Dissertation. Arbeitsberichte des IMMD, Band 25, Nr. 2, Universität Erlangen-Nürnberg, 1992.

• G. Schied: Describing distributed systems by graph grammars. Proc. RSC Comp. Science Research Centers Workshop, Rennes, Frankreich, pp. 38-45, 1991.

Lehre

• Vorlesung und Übung "Grundlagen von Typsystemen", WS 1997/98
• frühere Lehrveranstaltungen
• Skript "Nichtprozedural Programmierung", SS 1997
• Skript "Formale Semantik", WS 1995/96