Lehrveranstaltungen

Vorlesung Grafikprogrammierung (SS 2005)

Seminar über Grobmengentheorie (mit M. Müller, SS 2005)

Algebraische Semantik und Algebraische Systementwicklung (WS 2004/05)

Frühere Lehrveranstaltungen

Research

Recent Papers

Research Interests

• Formal semantics
• Algebraic and logical specifications (theory and applications)
• Higher-order functions (theory and applications)
• Infinite objects (theory and applications)
• Theory of parallelism and nondeterminacy
• Transformational program development
  • finding and formalizing strategies
  • formal specification development of
    • machine-level programs
    • hardware descriptions
    • algorithms for non-conventional machines
    • parallel algorithms
  • data type transformations
  • system support
• Design of high-level language concepts
• Relational programming

Short Curriculum Vitae

Projects

Koordinator des DFG-Forscherverbunds InopSys - Interoperabilität von Kalkülen zur Systemmodellierung

Projekt "System Support for Algebraic System Calculation" im Bayerisch-Kalifornischen Hochschulzentrum BaCaTeC

JPP - Java Power Presenter (Projekt "Informatik-Werkzeuge zur multimedialen Unterstützung der Lehre")

Memberships

Member of IFIP Working Group 2.1 "Algorithmic Languages and Calculi"

Member of the informal International Working Group RelMiCS - Relational Methods in Computer Science

Member of the Editorial Board of JORMICS - Journal on Relational Methods in Computer Science

Former Coordinator of Esprit Working Group 8533 NADA - New Hardware Design Methods

Membership in Programme Committees

8th International Seminar on Relational Methods in Computer Science (RelMiCS 8) and 3rd International Workshop on Applications of Kleene Algebra, February 22-26, 2005, St. Catharines, Ontario, Canada

Sventh International Conference on Mathematics of Program Construction, 12-14 July, 2004, Stirling, Scotland, UK

Organization of Conferences

Dagstuhl-Seminar 01081, Applications of Kleene Algebra, February 18-23, 2001

Past Involvements

7th International Seminar on Relational Methods in Computer Science (RelMiCS 7) and 2nd International Workshop on Applications of Kleene Algebra, May 12-17, 2003, Malente (near Kiel), Germany

Andrei Ershov Fifth International Conference on Perspectives of System Informatics, 9 - 12 July 2003, Novosibirsk, Akademgorodok, Russia

Sixth International Conference on Mathematics of Program Construction, 8--13 July 2002, Schloß Dagstuhl (Co-Chair with E.A. Boiten, University of Canterbury)

IFIP TC2 Working Conference on Generic Programming, 8--13 July 2002, Schloß Dagstuhl

WAIT 2001 - 5th Argentinian Workshop on Theoretical Computer Science, Buenos Aires, September 10-14, 2001

Andrei Ershov Fourth International Conference on Perspectives of Systems Infomatics, Novosibirsk, July 3 - 6, 2001

MPC 2000 - Fifth International Conference on the Mathematics of Program Construction, Ponte de Lima, Portugal, 3-7 July, 2000

Special session Formal Methods for Engineering Special-Purpose Parallel Systems at the IEEE International Conference on Electronics Circuits and Systems, December 17-20, 2000, Kaslik, Lebanon

FCT'99 - Workshop on Distributed Systems, Iasi, Romania, Sept. 1999

Argentinian Workshop on Theoretical Computer Science, Buenos Aires, Argentina, 6-7 Sept., 1999

Andrei Ershov Third International Conference on Perspectives of Systems Infomatics, Novosibirsk, 6 - 9 July 1999

International Summer School Marktoberdorf (Germany) on Calculational System Design, July 28 - August 9, 1998

MPC '98 - Fourth International Conference on the Mathematics of Program Construction, Marstrand, Sweden, June 15-17, 1998

Workshop on Generic Programming, WGP'98, June 18, 1998

Workshop on Formal Techniques for Hardware and Hardware-like Systems, FTH'98, June 19, 1998

Links

Home Page Institut für Informatik
Home Page Institut für Interdisziplinäre Informatik
Home Page Universität Augsburg
Who is Who in Formal Methods?