Prof. Christian Lengauer

Lehrstuhl für Programmierung

Fakultät für Mathematik und Informatik

Universität Passau

Degrees

• Diplom (Mathematics), Free University of Berlin, 1977
• M.Sc. (Computer Science), University of Toronto, 1978
• Ph.D. (Computer Science), University of Toronto, 1982

Professional Service

• Honorary Fellow, Department of Computer Science, University of Edinburgh, Scotland, since 1992
• Editor, Parallel Processing Letters, since 1992
• Program Committee, pAs'95, Aizu-Wakamatsu, Japan, March 1995
• Program Committee, FPCA95, La Jolla, California, U.S.A., June 1995
• Organizer, Seminar 9415 "Object Orientation with Parallelism and Persistence", Schloß Dagstuhl, Germany, April 1995
• Organizer, Seminar 9616 "Loop Parallelization", Schloß Dagstuhl, Germany, April 1996

Activities and interests

• formal methods of parallelization (especially of loops and recurrences)
• formal semantics of parallelism
• formal methods of program development
• programming language design and semantics
• applications of automated theorem proving

phone:

++49 / 851 / 509-3070

secretariat:

++49 / 851 / 509-3071

fax:

++49 / 851 / 509-3092

parcel and courier address:

Universität Passau, Innstraße 33, D-94032 Passau

Room 129

letter address:

Universität Passau, D-94030 Passau

e-mail:

lengauer@fmi.uni-passau.de