Prof. Uwe Nestmann @ TU Berlin

In a Nutshell

I am interested in the formal semantics of concurrent systems, thus my work is mainly situated in the field of Foundations of Computing Science. Up to now, the main focus of my research interests have been Calculi for Mobile Processes (mainly: Pi Calculus) as the core of high-level (object-oriented) concurrent programming languages like Pict and Join. See the Bibliography for Mobile Processes, and a list of my own publications. Then, I got quite interested in truly distributed aspects of concurrency ... no surprise, since I spent nine months with the Para's. Afterwards, I joined BRICS@Aalborg, where I had quite some fun with Mobile Objects. Now, continuing at TU Berlin what I had started as an assistant professor at EPFL, I spend most of my time on calculi for security, group communication, global computing, fault-tolerance, and related stuff.

I am a member of the professional organizations ACM, GI, EATCS, EAPLS, DHV, and THESIS.

In 2006, I was appointed as recommended member to the IFIP TC1 on Foundations of Computer Science.

In 2005, I was nominated Professor in Computer Science at the Technical University of Berlin to represent the field of the Theory of Distributed Systems in research and teaching. (According to the German academic scheme, the position is at the payscale of W2, formerly C3, and is to be seen roughly equivalent with the Anglo-Saxon position of Associate Professor. The position enjoys full independence, including personnel and budget.)

In 2004, I was appointed Swiss delegate to the IFIP TC1 on Foundations of Computer Science.

In 2003, my second 3-years tenure-track period was confirmed.

In 2002, my research group was officially baptized LAMP2, inheriting its name from the joint lab with Prof. Martin Odersky.

In 2001, my position was converted into tenure-track position.

In 2000, I was nominated Professeur Assistant by the Conseil des EPF (council of the Swiss Federal Institutes of Technology).

In 1996, I was awarded the degree of a Doktor-Ingenieur (mit Auszeichnung) for a doctoral dissertation in computer science from the Technische Fakultät (engineering faculty) at the University of Erlangen-Nürnberg. During the period 1991-1996, I was employed as a full-time teaching/research assistant at the Lehrstuhl Informatik VII.

In 1991, I obtained the degree of a Diplom-Informatiker (Univ.) (mit Auszeichnung) from the Institut für Mathematische Maschinen und Datenverarbeitung (institute for computer systems) at the University of Erlangen-Nürnberg.

Personal Data

Affiliations

professor	10/05-04/32	MTV @ TU Berlin research, teaching, administration
assistant professor	10/00-09/05	LAMP @ EPF Lausanne research, teaching, administration
research assistant	10/97-09/00	BRICS @ Aalborg University research
post-doc researcher	01/97-09/97	INRIA @ Rocquencourt research
teaching assistant	07/96-11/96	VII @ IMMD Erlangen teaching, research, administration
doctoral sabbatical	01/96-06/96	INRIA @ Sophia-Antipolis research
doctoral exchange	regular visits 06/92-11/95	LFCS @ Univ. Edinburgh research
teaching assistant	10/91-12/95	VII @ IMMD Erlangen teaching, research, administration
tutor	08/89-09/91	SFB 182/C2 administration, research
PT programmer	07/87-08/89	SIEMENS AG, Erlangen knowledge-based application systems