Uwe Nestmann
Uwe Nestmann (* 1967 in Coburg ) is a German computer scientist and university professor .
Career
Nestmann spent his childhood and youth in Memmelsdorf in Lower Franconia . After graduating from the Friedrich-Rückert-Gymnasium Ebern, which he attended from 1976 to 1985, he studied computer science between 1985 and 1991 at the Friedrich-Alexander University Erlangen-Nuremberg . There he then researched the fundamental principles of the implementation of concurrent programming languages through formal modeling and analysis of so-called process calculi as part of his doctorate in theoretical informatics as a research assistant and completed his doctorate in 1996. From 1997 to 2000 he was a PostDoc at INRIA in Rocquencourt, France, and at BRICS in Aalborg , Denmark. In 2000 he was appointed assistant professor at the ETH in Lausanne (EPFL) , Switzerland, before moving to the Technical University of Berlin in 2005 .
Since 2005, Nestmann has been professor of the “Models and Theory of Distributed Systems” department at the Faculty of Electrical Engineering and Computer Science at the Technical University of Berlin . Since 2012 he has also been the dean of studies ( vice dean for studies and teaching) of this faculty. In 2011 he took part as a DJ at the first Berlin professors night.
Nestmann is active within the International Federation for Information Processing (IFIP) as a “Recommended Member” of IFIP TC1 on the basics of computer science, as well as a member of the working groups WG 1.8 “Concurrency Theory” and WG 2.2 “Formal Description of Programming Concepts”. He is also active within the society for computer science , where he in 2013 the Section "Concurrency Theory" (Theory of concurrency ) co-founded and since then acts as their spokesman. In addition to these activities, Nestmann is a member of the network for PhD students and PhD students THESIS eV and was also active on its advisory board from 2004 to 2014.
Research priorities
- Distributed Systems
- Formal semantics of distributed and redistributable programming languages
- Formal correctness ; automatic and semi-automatic verification
- Distributed object-oriented programming languages
- Formal verification of distributed algorithms
- Security protocols; formal models for trustworthiness
- Social networks ; Dynamic coalitions
honors and awards
- 1999: Distinguished Paper Award of the EURO-PAR conference 1999
- 2010: Prize for exemplary teaching
Trivia
Like many other residents of Franconia , also nest man never misses an opportunity to clarify that, it is not a Bavarian, but just a Franke . There is even a corresponding picture on his office door in the Telefunken skyscraper showing today's Franconia .
Individual evidence
- ^ Basic Research in Computer Science ; Retrieved January 4, 2014
-
↑ "Models and Theory of Distributed Systems"
(formerly "Theoretical Computer Science / Theory of Distributed Systems") - ↑ professor night ; Retrieved January 4, 2014
- ↑ EURO-PAR 1999 ; Retrieved January 4, 2014
- ↑ Lecturers who inspire in the lecture hall ; Retrieved January 4, 2014
Web links
- Entry on Uwe Nestmann in " Kürschner's German Scholars Calendar "
- Website of Uwe Nestmann at the TU Berlin
personal data | |
---|---|
SURNAME | Nestmann, Uwe |
BRIEF DESCRIPTION | German computer scientist and university professor |
DATE OF BIRTH | 1967 |
PLACE OF BIRTH | Coburg |