[Prev][Next][Index][Thread]
NEW PhD PROGRAM AT MUNICH
NEW PhD PROGRAM AT MUNICH (LMU AND TU)
http://www.mathematik.uni-muenchen.de/~schwicht/LI/general.html
* Program. The Department of Mathematics of the Ludwig-Maximilians-
Universitaet Muenchen and the Department of Computer Science of the
Technischen Universitaet Muenchen (Germany) will establish a new
postgraduate program ("Graduiertenkolleg") entitled "Logic in Computer
Science" starting on April 1st, 1997. The aim is to extend the
applicability of logical methods for design, specification, verification
and optimization of programs, program systems and hardware.
* Topics. Logical foundations: Lambda calculus, equational logic, temporal
logic, model checking (Buchholz, Buettner, Clote, Kroeger, Nipkow,
Schulz, Schwichtenberg). Theorem provers: integration of (higher order)
equational logic, combination of theorem provers and special methods
(Buchholz, Buettner, Clote, Kroeger, Nipkow, Schulz, Schwichtenberg).
Modeling of distributed systems (Broy, Buettner, Kroeger, Wirsing).
Specification and verification (Antreich, Broy, Clote, Kroeger, Nipkow,
Schwichtenberg, Wirsing). Foundations of software technology (Antreich,
Broy, Wirsing).
* Grants. We offers 6 PhD grants for a period of maximally three years.
* Applications. Applicants with very high qualification in one of the
mentioned or related research topics are invited to send their
applications with the usual documents (curriculum vitae, certifications,
copies of master's thesis and publications, description of intended
project, two letters of recommendation) not later than February 15th, 1997
to the chairman of the postgraduate program: Prof. Helmut Schwichtenberg,
Mathematisches Institut der LMU, Theresienstr. 39, D-80333 Muenchen,
Tel. +49 89 2394 4413/4, Fax +49 89 280 5248,
E-mail: schwicht@rz.mathematik.uni-muenchen.de.