News: People

Aastha Mehta accepts faculty position at University of British Columbia

September 1, 2020
Aastha Mehta, a doctoral student in the Distributed Systems group and the Security & Privacy group, has accepted a position as a tenure-track assistant professor in the Department of Computer Science at University of British Columbia, Vancouver, Canada. Congratulations Aastha! Aastha's research interests span systems security, data privacy, operating systems, and distributed systems. She has worked on building systems for ensuring policy compliance and for mitigating network side-channel leaks in online services. You can find out more about her work at https://people.mpi-sws.org/~aasthakm/. …
Aastha Mehta, a doctoral student in the Distributed Systems group and the Security & Privacy group, has accepted a position as a tenure-track assistant professor in the Department of Computer Science at University of British Columbia, Vancouver, Canada. Congratulations Aastha!
Aastha's research interests span systems security, data privacy, operating systems, and distributed systems. She has worked on building systems for ensuring policy compliance and for mitigating network side-channel leaks in online services. You can find out more about her work at https://people.mpi-sws.org/~aasthakm/.
Read more

Isabel Valera becomes full professor at Saarland University

April 1, 2020

Isabel Valera, a postdoc alumni of the Human-Centric Machine Learning group, has become full professor in the Department of Computer Science at Saarland University. Congratulations Isabel!

Isabel's research focuses on developing machine learning methods that are flexible, robust, interpretable and fair. Her research can be applied in a broad range of fields, from medicine and psychiatry to social and communication systems. You can find out more about her work at https://ivaleram.github.io/.

Azalea Raad accepts faculty position at Imperial College London

March 21, 2020

Azalea Raad, postdoctoral fellow in the Software Analysis and Verification Group and the Foundations of Programming Group, has accepted a position as Lecturer in the Department of Computing at Imperial College London. Congratulations Azalea!

Azalea's research is in the area of programming languages and verification, spanning several topics including non-volatile memory, persistency semantics, weak memory models, stateless model checking and program logics. You can read more about her work here.

MPI-SWS faculty organizing SOSP 2021

February 11, 2020

MPI-SWS faculty members Peter Druschel, Keon Jang, and Antoine Kaufmann have been appointed as joint general chairs for the 28th ACM Symposium on Operating Systems Principles (SOSP'21), to be held in Koblenz, Germany from Oct 25 to Oct 28, 2021.

SOSP is a top-tier conference covering the full range of theory and practice of computer systems software.

Abir De accepts faculty position at IIT Bombay

January 1, 2020
Abir De, a postdoc alumni of the Human-Centric Machine Learning group, has accepted a tenure-track assistant professor position in the Department of Computer Science at IIT Bombay. Congratulations Abir!
Abir's research focuses on learning over graphs and human centric machine learning. You can find out more about his work at https://abir-de.github.io/.

Tenure-track Openings at Max Planck Institutes in Computer Science

October 15, 2019

The Max Planck Institutes for Informatics (Saarbruecken), Software Systems (Saarbruecken and Kaiserslautern), and Security and Privacy (Bochum), invite applications for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill several positions.

A doctoral degree in computer science or related areas and an outstanding research record are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.

The Max Planck Institutes for Informatics (Saarbruecken), Software Systems (Saarbruecken and Kaiserslautern), and Security and Privacy (Bochum), invite applications for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill several positions.

A doctoral degree in computer science or related areas and an outstanding research record are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.

The institutes are part of a network of over 80 Max Planck Institutes, Germany's premier basic-research organisations. MPIs have an established record of world-class, foundational research in the sciences, technology, and the humanities. The institutes offer a unique environment that combines the best aspects of a university department and a research laboratory: Faculty enjoy full academic freedom, lead a team of doctoral students and post-docs, and have the opportunity to teach university courses; at the same time, they enjoy ongoing institutional funding in addition to third-party funds, a technical infrastructure unrivaled for an academic institution, as well as internationally competitive compensation.

We maintain an international and diverse work environment and seek applications from outstanding researchers worldwide. The working language is English; knowledge of the German language is not required for a successful career at the institutes.

Qualified candidates should apply on our application website (apply.cis.mpg.de). To receive full consideration, applications should be received by December 15th, 2019.

The Max Planck Society wishes to increase the number of women in those areas where they are underrepresented. Women are therefore explicitly encouraged to apply. The Max Planck Society is also committed to increasing the number of employees with severe disabilities in its workforce. Applications from persons with severe disabilities are expressly desired.

The initial tenure-track appointment is for five years; it can be extended to seven years based on a midterm evaluation in the fourth year. A permanent contract can be awarded upon a successful tenure evaluation in the sixth year.

Read more

General Chair of RTAS’20

October 15, 2019

Björn Brandenburg is the general chair of the 26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'20), to be held as part of CPSWeek 2020 in Montreal, Canada from April 22 to April 24, 2020.

RTAS is a top-tier conference with a focus on systems research related to embedded systems or timing issues. The scope of RTAS’20 ranges from traditional hard real-time systems to embedded systems without explicit timing requirements,

Björn Brandenburg is the general chair of the 26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'20), to be held as part of CPSWeek 2020 in Montreal, Canada from April 22 to April 24, 2020.

RTAS is a top-tier conference with a focus on systems research related to embedded systems or timing issues. The scope of RTAS’20 ranges from traditional hard real-time systems to embedded systems without explicit timing requirements, including latency-sensitive systems with informal or soft real-time requirements.

Read more

Eight new systems students to join MPI-SWS

October 5, 2019

We are delighted to welcome eight new graduate students joining MPI-SWS this year in the Distributed, Networked, and Mobile Systems research area: Reyhaneh Karimipour, Mershad Lotfi and Sepehr Mousavi (joining us from the Sharif University of Technology), Vaastav Anand (from the University of British Columbia), Artem Ageev (from the University of Rome La Sapienza), Mazen Abdelbadea and Safya Alzayat (both from the German University in Cairo), and Thomas Davidson (from the University of Cambridge).

Goran Radanovic joins MPI-SWS

September 16, 2019

Goran Radanovic joined MPI-SWS as a research group leader on Sep 16, 2019. He is generally interested in studying AI systems, and more specifically in the design and analysis of systems with intelligent and self-interested agents. Particular topics of interest include value-aligned artificial intelligence, human-AI collaboration, and decision making systems with societally-aware utility functions. 

Prior to joining MPI-SWS, he was a postdoctoral researcher at Harvard University, where he worked with Prof. David C.

Goran Radanovic joined MPI-SWS as a research group leader on Sep 16, 2019. He is generally interested in studying AI systems, and more specifically in the design and analysis of systems with intelligent and self-interested agents. Particular topics of interest include value-aligned artificial intelligence, human-AI collaboration, and decision making systems with societally-aware utility functions. 

Prior to joining MPI-SWS, he was a postdoctoral researcher at Harvard University, where he worked with Prof. David C. Parkes. He received his Ph.D. in Computer Science from the Swiss Federal Institute of Technolgy in Lausanne (EPFL), under the supervision of Prof. Boi Faltings. He obtained his Master’s and Bachelor’s degrees in Computer Science fromthe Faculty of Electrical Engineering and Computing at the University of Zagreb.

Read more

Former MPI-SWS postdoc receives ERC starting grant

September 5, 2019

Ori Lahav was awarded an ERC starting grant on "Verification-Aware Programming Language Concurrency Semantics".  Ori was formerly a postdoctoral fellow in the Software Analysis and Verification group, and is now a tenure-track faculty member at Tel Aviv University. Read more about this year's ERC Starting Grants here.

Filip Mazowiecki joins MPI-SWS

September 3, 2019

Filip Mazowiecki is joining us from the University of Bordeaux, where he spent the last two years as a postdoc. His research area is formal verification, the study of verifying correct functioning of systems. He is mostly interested in the theoretical analysis of models like Petri nets and weighted automata, working on fundamental questions like reachability and equivalence.

Filip obtained his PhD at the University of Warsaw on the topic of database theory.

Filip Mazowiecki is joining us from the University of Bordeaux, where he spent the last two years as a postdoc. His research area is formal verification, the study of verifying correct functioning of systems. He is mostly interested in the theoretical analysis of models like Petri nets and weighted automata, working on fundamental questions like reachability and equivalence.

Filip obtained his PhD at the University of Warsaw on the topic of database theory. After he obtained his PhD he switched to the area of formal verification, spending almost four years as a postdoc at the Universities of Warwick, Oxford and Bordeaux.

Read more

Several Open Positions in the ERC-funded TOROS Project

August 20, 2019

The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions. Candidates with prior experience in

  • the Rust programming language,
  • the Coq proof assistant,
  • operating system construction, and/or
  • probabilistic schedulability analysis

are particularly welcome. Check out the project page for details.

Keon Jang joins MPI-SWS

June 4, 2019

Keon Jang has joined the institute as a tenure-track faculty member, effective February 1, 2019. Keon Jang is joining us from Google, where he has been a software engineer since 2016. He is broadly interested in network systems and currently his work focuses on network performance isolation in data-center networks.

Prior to Google, he worked on software support for on network function virtualization (NFV) at Intel Labs. He received his PhD in Computer Science from KAIST,

Keon Jang has joined the institute as a tenure-track faculty member, effective February 1, 2019. Keon Jang is joining us from Google, where he has been a software engineer since 2016. He is broadly interested in network systems and currently his work focuses on network performance isolation in data-center networks.

Prior to Google, he worked on software support for on network function virtualization (NFV) at Intel Labs. He received his PhD in Computer Science from KAIST, and subsequently held a postdoctoral research position at Microsoft Research Cambridge, UK.

Read more

Krishna Gummadi appointed MPI-SWS Director

May 27, 2019

Krishna Gummadi has accepted the position of scientific member of the Max Planck Society and director at the MPI for Software Systems, effective 1 June 2019. Krishna has been a faculty member at the institute since July 2005. 

Krishna's appointment solidifies our institute's foothold in the emerging area of social computing and secures Krishna's leadership and contributions to the institute for the future.

Junior Research Group leader positions at MPI-SWS

April 23, 2019

The Max Planck Institute for Software Systems (MPI-SWS) is inviting applications for Junior Research Group leader positions in systems and machine learning (SysML), human-oriented machine learning (fairness, accountability, transparency, and ethical aspects of AI), adversarial ML, reinforcement learning,  human-computer interaction with ML/social aspects, natural language processing, and learning & cognitive sciences.

Our Junior Research Group program offers young scientists the opportunity to develop their own research program. The position is funded for 5 years with the possibility of a 2-year extension.

The Max Planck Institute for Software Systems (MPI-SWS) is inviting applications for Junior Research Group leader positions in systems and machine learning (SysML), human-oriented machine learning (fairness, accountability, transparency, and ethical aspects of AI), adversarial ML, reinforcement learning,  human-computer interaction with ML/social aspects, natural language processing, and learning & cognitive sciences.

Our Junior Research Group program offers young scientists the opportunity to develop their own research program. The position is funded for 5 years with the possibility of a 2-year extension. Applicants must have completed a doctoral degree in computer science or related areas and must have demonstrated outstanding research vision and potential to successfully lead a research group. Successful candidates are expected to build a highly visible research agenda, to mentor junior scientists, and to participate in collaborative projects.

The Max Planck Institute for Software Systems is located in Saarbruecken and Kaiserslautern in Germany. We maintain an open, international, and diverse work environment and seek applications from outstanding researchers regardless of national origin. Our working language is English. We collaborate with several major research institutions worldwide and have high international visibility. There is generous travel, administrative, and technical support available for all group members.

Please apply at https://apply.mpi-sws.org/ under ``Research Group Leader''. You need to upload your CV, a research plan, an optional teaching statement, and 3-5 references. Reviewing of applications will commence on 15 May 2019 and will continue until the positions are filled. The expecting starting date for the position is Fall 2019. Informal inquiries can be addressed to applications-sis@mpi-sws.org.

The Max Planck Society is committed to employing more individuals with disabilities and expressly welcomes them to apply. The Max Planck Society seeks to increase the percentage of women in the areas where they are underrepresented and expressly welcomes them to apply.

Read more

Derek Dreyer general chair of ICFP’19

February 19, 2019

Derek Dreyer has been selected as general chair of the 24th ACM SIGPLAN International Conference on Functional Programming, to be held August 19-21, 2019 in Berlin. ICFP is an international conference providing a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming.

MPI-SWS alumni in leadership positions

November 29, 2018
Since its founding at the end of 2004, MPI-SWS has been fortunate to have been the academic home of many amazing doctoral students and postdoctoral fellows. With the ten-year anniversary of the graduation of our first students coming up soon, we wanted to take a moment to celebrate some of the achievements of our alumni:
  • Alan Mislove (PhD 2009) is now an Associate Professor at Northeastern University in Boston, Massachusetts, USA.
  • Andreas Haeberlen (PhD 2009) is now an Associate Professor at the University of Pennsylvania in Philadelphia,
Since its founding at the end of 2004, MPI-SWS has been fortunate to have been the academic home of many amazing doctoral students and postdoctoral fellows. With the ten-year anniversary of the graduation of our first students coming up soon, we wanted to take a moment to celebrate some of the achievements of our alumni:
  • Alan Mislove (PhD 2009) is now an Associate Professor at Northeastern University in Boston, Massachusetts, USA.
  • Andreas Haeberlen (PhD 2009) is now an Associate Professor at the University of Pennsylvania in Philadelphia, Pennsylvania, USA.
  • Bryan Ford (Postdoc 2009) is now an Associate Professor at EPFL in Lausanne, Switzerland.
  • Meeyoung Cha (Postdoc 2010) is now an Associate Professor at KAIST in Daejon, South Korea.
  • Boris Köpf (Postdoc 2010) is now a researcher at Microsoft Research Cambridge in the UK.
  • Matthew Hammer (PhD 2012) is now an Assistant Professor at The University of Chicago in Illinois, USA.
  • Chung-Kil Hur (Postdoc 2012) is now an Associate Professor at Seoul National University in Seoul, South Korea.
  • Neel Krishnaswami (Postdoc 2012) is now a Lecturer at the University of Cambridge in the UK.
  • Nuno Santos (PhD 2013) is an Assistant Professor at IST, University of Lisbon in Portugal.
  • Beta Ziliani (PhD 2013) is a faculty member at Universidad Nacional de Córdoba and a researcher at CONICET in Argentina.
  • Aaron Turon (Postdoc 2014) heads the the Rust Development Team at Mozilla Research. Aaron is based in Portland, Oregon, USA.
  • Pedro Fonseca (PhD 2015) is an Assistant Professor at Purdue University in West Lafayette, Indiana, USA.
  • Pramod Bhatotia (PhD 2015) is a Senior Lecturer at the University of Edinburgh in Scotland, UK.
  • Cheng Li (PhD 2016) is a faculty member at the USTC (The University of Science and Technology of China) in Hefei, China.
  • Dmitry Chistikov (Postdoc 2016) is an Assistant Professor at the University of Warwick in the UK.
  • Rayna Dimitrova (Postdoc 2017) is an Assistant Professor at the University of Leicester in the UK.
  • Sadegh Soudjani (Postdoc 2017) is an Assistant Professor at Newcastle University in the UK.
  • Vinayak Prabhu (Postdoc 2017) is an Assistant Professor at Colorado State University in Fort Collins, Colorado, USA.
  • Mainack Mondal (PhD 2017) is a faculty member at IIT Kharaghpur in West Bengal, India.
  • Oana Goga (Postdoc 2017) is a researcher at CNRS in Grenoble, France.
  • Riju Sen (Postdoc 2017) is an Assistant Professor at IIT Delhi in India.
  • Ori Lahav (Postdoc 2017) is a Senior Lecturer at Tel Aviv University in Israel.
  • Mitra Nasri (Postdoc 2018) is an Assistant Professor at the Delft University of Technology in the Netherlands.

Congratulations, everyone! We are proud that MPI-SWS alumni have spread far and wide, pursuing successful research careers all across the globe.

Read more

Georg Zetzsche joins MPI-SWS

November 20, 2018

Georg Zetzsche has joined the institute as a tenure-track faculty member, effective November 1, 2018. He is joining us from the Institut de Recherche en Informatique Fondamentale (IRIF) at Université Paris-Diderot, where he has been a postdoctoral researcher. Georg's goal is to understand which questions about program behaviors and other infinite structures can be answered efficiently.  His research focuses on issues of decidability, complexity, synthesis, and expressiveness arising in program verification and mathematics.

Georg was previously a postdoctoral researcher in the Laboratoire Spécification et Vérification (LSV) at ENS Paris-Saclay.

Georg Zetzsche has joined the institute as a tenure-track faculty member, effective November 1, 2018. He is joining us from the Institut de Recherche en Informatique Fondamentale (IRIF) at Université Paris-Diderot, where he has been a postdoctoral researcher. Georg's goal is to understand which questions about program behaviors and other infinite structures can be answered efficiently.  His research focuses on issues of decidability, complexity, synthesis, and expressiveness arising in program verification and mathematics.

Georg was previously a postdoctoral researcher in the Laboratoire Spécification et Vérification (LSV) at ENS Paris-Saclay. He obtained his PhD from the University of Kaiserslautern and his Diplom degree from Universität Hamburg. For his PhD work, Georg received the EATCS Distinguished Dissertation Award.

Read more

Tenure-Track Faculty Position

October 23, 2018

Applications are invited for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill one position.

A doctoral degree in computer science or related areas and an outstanding research record are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.

MPI-SWS is part of a network of over 80 Max Planck Institutes,

Applications are invited for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill one position.

A doctoral degree in computer science or related areas and an outstanding research record are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.

MPI-SWS is part of a network of over 80 Max Planck Institutes, Germany’s premier basic-research organisations. MPIs have an established record of world-class, foundational research in the sciences, technology, and the humanities. The institute offers a unique environment that combines the best aspects of a university department and a research laboratory: Faculty enjoy full academic freedom, lead a team of doctoral students and post-docs, and have the opportunity to teach university courses; at the same time, they enjoy ongoing institutional funding in addition to third-party funds, a technical infrastructure unrivaled for an academic institution, as well as internationally competitive compensation.

The institute is located in the German cities of Saarbruecken and Kaiserslautern, in the tri-border area of Germany, France, and Luxembourg. We maintain an international and diverse work environment and seek applications from outstanding researchers worldwide. The working language is English; knowledge of the German language is not required for a successful career at the institute.

Qualified candidates should apply on our application website (apply.mpi-sws.org). To receive full consideration, applications should be received by December 1st, 2018.

The institute is committed to increasing the representation of women and minorities, as well as of individuals with physical disabilities. We particularly encourage such individuals to apply. The initial tenure-track appointment is for five years; it can be extended to seven years based on a midterm evaluation in the fourth year. A permanent contract can be awarded upon a successful tenure evaluation in the sixth year.

Read more

Professor Appointment

September 21, 2018

MPI-SWS researcher Mitra Nasri will join TU Delft as an assistant professor starting October 1, 2018. Congratulations, Mitra!

Several Open Positions in the ERC-funded RustBelt Project

September 7, 2018

The RustBelt project, kindly supported by an ERC Consolidator Grant, is looking to fill several open PhD and Postdoc positions.

POSTDOCS: We are seeking exceptional candidates with a strong, internationally competitive track record of research in programming languages and/or verification.  The primary criterion is quality, but I am particularly interested in candidates who have specialized expertise in one or more of the following areas:

- Rust - substructural/ownership type systems - verification of concurrent programs - weak/relaxed memory models - interactive theorem proving in Coq - compiler verification

Experience programming in Rust is a welcome bonus,

The RustBelt project, kindly supported by an ERC Consolidator Grant, is looking to fill several open PhD and Postdoc positions.

POSTDOCS: We are seeking exceptional candidates with a strong, internationally competitive track record of research in programming languages and/or verification.  The primary criterion is quality, but I am particularly interested in candidates who have specialized expertise in one or more of the following areas:

- Rust - substructural/ownership type systems - verification of concurrent programs - weak/relaxed memory models - interactive theorem proving in Coq - compiler verification

Experience programming in Rust is a welcome bonus, but not required.

STUDENTS: We are seeking exceptional candidates who have at least some background in programming language theory and/or formal methods, and who are eager to work on deep foundational problems with the potential for direct impact on a real, actively developed language.  A bachelor's or master's degree is required.  For more details about the MPI-SWS graduate program, see here: https://www.mpi-sws.org/graduate-studies/.

Successful applicants will join the Foundations of Programming group, led by Derek Dreyer at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbruecken, Germany.  Current and former postdocs in the group have included Andreas Rossberg (co-designer of WebAssembly), Chung-Kil Hur, Neel Krishnaswami, Aaron Turon (manager of the Rust project at Mozilla), Jacques-Henri Jourdan, Ori Lahav, Pierre-Marie Pédrot, and Azalea Raad.  Current and former PhD students in the group have included Georg Neis, Beta Ziliani, Scott Kilpatrick, David Swasey, Ralf Jung, Jan-Oliver Kaiser, Hoang-Hai Dang, Marko Doko, and @pythonesque.  The RustBelt project benefits from longstanding active collaborations with Viktor Vafeiadis (MPI-SWS), Lars Birkedal (Aarhus University), Chung-Kil Hur & Jeehoon Kang (Seoul National University), Deepak Garg (MPI-SWS), and Robbert Krebbers (TU Delft), as well as the many contributors to the Iris project (http://iris-project.org).

The working language at MPI-SWS is English.

Application deadline: OCTOBER 31.  If you are interested in joining the RustBelt team and want to learn more about the project, please contact Derek Dreyer directly at dreyer@mpi-sws.org.  To apply for a postdoc (or PhD student) position, please submit a CV (and/or grade transcript), research statement (or statement of purpose), and list of references to https://apply.mpi-sws.org.

For further information, see the project web page at: http://plv.mpi-sws.org/rustbelt/

Read more

Jonathan Mace joins MPI-SWS

September 1, 2018

Jonathan Mace has joined the institute as a tenure-track faculty member, effective September 1, 2018.  He is joining us from Brown University, USA, where he has completed his Ph.D. in computer science.  Jonathan's research focuses on tools, techniques, and abstractions to make it easier to develop and operate cloud distributed systems.  In particular, he is interested in making it easier to reason about and control complicated, end-to-end system behaviors at runtime.

Before starting his Ph.D.,

Jonathan Mace has joined the institute as a tenure-track faculty member, effective September 1, 2018.  He is joining us from Brown University, USA, where he has completed his Ph.D. in computer science.  Jonathan's research focuses on tools, techniques, and abstractions to make it easier to develop and operate cloud distributed systems.  In particular, he is interested in making it easier to reason about and control complicated, end-to-end system behaviors at runtime.

Before starting his Ph.D., Jonathan worked for two years at IBM UK, and earned his undergraduate degree from Oxford University.  He is a recipient of the Facebook Fellowship in Distributed Systems, an SOSP Best Paper Award, and the Honorable Mention for the Dennis Ritchie Thesis Award.

Read more

Antoine Kaufmann joins MPI-SWS

August 1, 2018

Antoine Kaufmann is joining us from the University of Washington in Seattle, where he obtained his Ph.D. in computer science. His research investigates the design and implementation of efficient, scalable, and robust systems for rapidly evolving modern platforms, with a current focus on data centers. He addresses these challenges from a systems perspective, with solutions that span multiple layers of the systems stack, from operating systems through networks down to hardware, but also programming languages and applications.

Antoine Kaufmann is joining us from the University of Washington in Seattle, where he obtained his Ph.D. in computer science. His research investigates the design and implementation of efficient, scalable, and robust systems for rapidly evolving modern platforms, with a current focus on data centers. He addresses these challenges from a systems perspective, with solutions that span multiple layers of the systems stack, from operating systems through networks down to hardware, but also programming languages and applications.

Antoine joins the institute as a research group leader, effective Aug 6, 2018. Before his Ph.D., Antoine obtained his Master's and Bachelor's degree from ETH Zurich.

Read more

Björn Brandenburg to chair RTAS’19

April 21, 2018

Björn Brandenburg is the program chair of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'19), to be held as part of CPSWeek 2019 in Montreal, Canada from April 16 to April 18, 2019.

RTAS is a top-tier conference with a focus on systems research related to embedded systems or timing issues. The broad scope of RTAS’19 ranges from traditional hard real-time systems to embedded systems without explicit timing requirements,

Björn Brandenburg is the program chair of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'19), to be held as part of CPSWeek 2019 in Montreal, Canada from April 16 to April 18, 2019.

RTAS is a top-tier conference with a focus on systems research related to embedded systems or timing issues. The broad scope of RTAS’19 ranges from traditional hard real-time systems to embedded systems without explicit timing requirements, including latency-sensitive systems with informal or soft real-time requirements.

Read more

Björn Brandenburg to chair EMSOFT’18

October 21, 2017

Björn Brandenburg and Sriram Sankaranarayanan (University of Boulder, CO) are co-chairs of the 2018 ACM SIGBED International Conference on Embedded Software (EMSOFT'18), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 1-3 in Turin, Italy.

EMSOFT brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. Since 2001, EMSOFT has been the premier venue for cutting-edge research in the design and analysis of software that interacts with physical processes,

Björn Brandenburg and Sriram Sankaranarayanan (University of Boulder, CO) are co-chairs of the 2018 ACM SIGBED International Conference on Embedded Software (EMSOFT'18), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 1-3 in Turin, Italy.

EMSOFT brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. Since 2001, EMSOFT has been the premier venue for cutting-edge research in the design and analysis of software that interacts with physical processes, with a long-standing tradition for results on cyber-physical systems, which compose computation, networking, and physical dynamics. See the ESWEEK homepage for further details.

Read more

Multiple Tenure-Track Faculty Openings

September 29, 2017

Applications are invited for faculty positions at all career stages in computer science, with a particular emphasis on systems (broadly construed). We expect multiple positions to be filled in systems, but exceptional candidates in other areas of computer science are also strongly encouraged to apply.

A doctoral degree in computer science or related areas and an outstanding research record (commensurate for the applicant's career stage) are required. Successful candidates are expected to build a team and pursue a highly visible research agenda,

Applications are invited for faculty positions at all career stages in computer science, with a particular emphasis on systems (broadly construed). We expect multiple positions to be filled in systems, but exceptional candidates in other areas of computer science are also strongly encouraged to apply.

A doctoral degree in computer science or related areas and an outstanding research record (commensurate for the applicant's career stage) are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.

MPI-SWS is part of a network of over 80 Max Planck Institutes, Germany's premier basic-research organisations. MPIs have an established record of world-class, foundational research in the sciences, technology, and the humanities. The institute offers a unique environment that combines the best aspects of a university department and a research laboratory: Faculty enjoy full academic freedom, lead a team of doctoral students and post-docs, and have the opportunity to teach university courses; at the same time, they enjoy ongoing institutional funding in addition to third-party funds, a technical infrastructure unrivaled for an academic institution, as well as internationally competitive compensation.

The institute is located in the German cities of Saarbruecken and Kaiserslautern, in the tri-border area of Germany, France, and Luxembourg. We maintain an international and diverse work environment and seek applications from outstanding researchers worldwide. The working language is English; knowledge of the German language is not required for a successful career at the institute.

Qualified candidates should apply on our application website (apply.mpi-sws.org). To receive full consideration, applications should be received by December 1st, 2017.

The institute is committed to increasing the representation of minorities, women, and individuals with physical disabilities. We particularly encourage such individuals to apply. The initial tenure-track appointment is for five years; it can be extended to seven years based on a midterm evaluation in the fourth year. A permanent contract can be awarded upon a successful tenure evaluation in the sixth year.

Read more

Adish Singla to join MPI-SWS as tenure-track faculty

June 9, 2017

Adish Singla is joining us from ETH Zurich, where he has completed his Ph.D. in computer science. His research focuses on designing new machine learning frameworks and developing algorithmic techniques, particularly for situations where people are an integral part of computational systems. Adish joins the institute as a tenure-track faculty member, effective Oct 1, 2017.

Before starting his Ph.D., he worked as a Senior Development Lead in Bing Search for over three years.

Adish Singla is joining us from ETH Zurich, where he has completed his Ph.D. in computer science. His research focuses on designing new machine learning frameworks and developing algorithmic techniques, particularly for situations where people are an integral part of computational systems. Adish joins the institute as a tenure-track faculty member, effective Oct 1, 2017.

Before starting his Ph.D., he worked as a Senior Development Lead in Bing Search for over three years. Adish received his Bachelor's degree from IIT Delhi and his Master's degree from EPFL. He is a recipient of the Facebook Fellowship in the area of Machine Learning, the Microsoft Research Tech Transfer Award, and the Microsoft Gold Star Award.

Read more

Maria Christakis to join MPI-SWS as tenure-track faculty

June 9, 2017

Maria Christakis joins the institute as a tenure-track faculty member, effective Oct 16, 2017. Maria’s goal is to develop theoretical foundations and practical tools for building more reliable and usable software and increasing developer productivity. She is mostly interested in software engineering, programming languages, and formal methods. Maria particularly likes investigating topics in automatic test generation, software verification, program analysis, and empirical software engineering. Her tools and techniques explore novel ways of writing, specifying, verifying,

Maria Christakis joins the institute as a tenure-track faculty member, effective Oct 16, 2017. Maria’s goal is to develop theoretical foundations and practical tools for building more reliable and usable software and increasing developer productivity. She is mostly interested in software engineering, programming languages, and formal methods. Maria particularly likes investigating topics in automatic test generation, software verification, program analysis, and empirical software engineering. Her tools and techniques explore novel ways of writing, specifying, verifying, testing, and debugging programs in order to make them more robust while at the same time improving the user experience.

Maria joins MPI-SWS from the University of Kent, England, where she is a Lecturer at the School of Computing. She was previously a postdoctoral researcher at Microsoft Research Redmond. Maria received her Ph.D. from the Department of Computer Science of ETH Zurich and was awarded with the ETH medal and the EAPLS Best PhD Dissertation Award. She completed her Bachelor’s and Master’s degrees at the Department of Electrical and Computer Engineering of the National Technical University of Athens, Greece.

Read more

Join us! Applications invited for doctoral and post-doctoral positions

November 9, 2016

MPI-SWS offers a vibrant, dynamic, multi-cultural environment for research and education. We have openings for both graduate students and postdoctoral research scholars.

Graduate students work as members of one or more of the institute's research groups, which perform internationally leading, highly visible research in their respective fields of specialization. Graduate students receive individual training and mentorship from MPI-SWS faculty, preparing them for leadership positions in academic or industrial research.

Postdoctoral Fellows have the opportunity to work with MPI-SWS faculty on existing lines of research,

MPI-SWS offers a vibrant, dynamic, multi-cultural environment for research and education. We have openings for both graduate students and postdoctoral research scholars.

Graduate students work as members of one or more of the institute's research groups, which perform internationally leading, highly visible research in their respective fields of specialization. Graduate students receive individual training and mentorship from MPI-SWS faculty, preparing them for leadership positions in academic or industrial research.

Postdoctoral Fellows have the opportunity to work with MPI-SWS faculty on existing lines of research, as well as develop their own research agenda under MPI-SWS faculty supervision.

For more information, see the overview of our graduate program, research careers at MPI-SWS, or apply for positions through our application portal.

Read more

Max Planck Society Seeks Nominations for Scientific Directors

November 9, 2016

The Max Planck Society  seeks nominations  for scientific directors in several research fields, including Computer Science. Nominations should be received by Dec 12, 2016.

Multiple Tenure-Track Openings

November 9, 2016

Applications are invited for tenure-track faculty positions in all areas related to the theory and practice of software systems, including security and privacy, embedded and mobile systems, distributed and parallel systems, computational social science, legal, economic, and social aspects of computing, NLP, machine learning, information and knowledge management, programming languages, algorithms and logic, and verification.

To receive full consideration, applications should be received by December 15, 2016. For further details see our job ad.

Björn Brandenburg will chair EMSOFT’17

October 18, 2016

Robert de Simone (INRIA) and Björn Brandenburg are co-chairs of the 2017 ACM SIGBED International Conference on Embedded Software (EMSOFT'17), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 15 until October 20 in Seoul, South Korea.

EMSOFT brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. Since 2001, EMSOFT has been the premier venue for cutting-edge research in the design and analysis of software that interacts with physical processes,

Robert de Simone (INRIA) and Björn Brandenburg are co-chairs of the 2017 ACM SIGBED International Conference on Embedded Software (EMSOFT'17), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 15 until October 20 in Seoul, South Korea.

EMSOFT brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. Since 2001, EMSOFT has been the premier venue for cutting-edge research in the design and analysis of software that interacts with physical processes, with a long-standing tradition for results on cyber-physical systems, which compose computation, networking, and physical dynamics. See the ESWEEK homepage for further details.

Read more

Rupak Majumdar will chair CAV 2017

October 13, 2016

Rupak Majumdar and Viktor Kuncak (EPFL) are co-chairs of the 29th International Conference on Computer-Aided Verification (CAV 2017), to be held between July 22 and 28, 2017 in Heidelberg, Germany.

CAV 2017 is the 29th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis and synthesis methods for hardware and software systems. The CAV home page has more information.

Joel Ouaknine will chair LICS 2017

October 13, 2016

Joel Ouaknine is the Program Chair of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), to be held between 20 and 23 June, 2017 in Reykjavik. The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

Multiple Tenure-Track Faculty Openings

October 1, 2016

Applications are invited for tenure-track faculty positions in all areas related to the theory and practice of software systems, including security and privacy, embedded and mobile systems, distributed and parallel systems, computational social science, legal, economic, and social aspects of computing, NLP, machine learning, information and knowledge management, programming languages, algorithms and logic, and verification.

To receive full consideration, applications should be received by December 15, 2016. For further details see our job ad.

Neel Krishnaswami joins University of Cambridge as university lecturer

July 31, 2016

Neel Krishnaswami, a former postdoc in Derek Dreyer's group at MPI-SWS, will be joining the University of Cambridge Computer Laboratory as a University Lecturer.

Congratulations, Neel!

 

MPI-SWS alumnus Pramod Bhatotia joins University of Edinburgh as senior lecturer

July 20, 2016

Pramod Bhatotia, who completed his doctoral studies at MPI-SWS, will be joining the University of Edinburgh as a Senior Lecturer of computer science.

Congratulations, Pramod!

Announcing the Maryland Max Planck Ph.D. Program in Computer Science

April 1, 2016

We are pleased to announce the formation of The Maryland Max Planck Ph.D. Program in Computer Science. This program offers students a unique opportunity to pursue a Ph.D. degree under the supervision of faculty from the University of Maryland, USA, and a Max Planck Institute in Germany. Students are co-advised, perform collaborative research, take advantage of the expertise, resources, and culture at both institutions, and spend time in both countries.

Joel Ouaknine joins the MPI-SWS faculty

March 1, 2016

Joel Ouaknine joins the institute's faculty as a scientific director, effective Aug 1, 2016. Joel's research interests include the automated verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, synthesis problems, complexity), logic and applications to verification, decision and synthesis problems for linear dynamical systems, automated software analysis, concurrency, and theoretical computer science.

In 2015, Joel was awarded an ERC Consolidator Grant, which provides almost 2 million euros of research funding over a period of five years.

Joel Ouaknine joins the institute's faculty as a scientific director, effective Aug 1, 2016. Joel's research interests include the automated verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, synthesis problems, complexity), logic and applications to verification, decision and synthesis problems for linear dynamical systems, automated software analysis, concurrency, and theoretical computer science.

In 2015, Joel was awarded an ERC Consolidator Grant, which provides almost 2 million euros of research funding over a period of five years. He is also the recipient of the 2010 Roger Needham Award, given annually "for a distinguished research contribution in Computer Science by a UK-based researcher within ten years of his or her PhD."

Joel will join MPI-SWS from the University of Oxford, where he is a Professor of Computer Science and Fellow of St John's College. Joel holds a BSc and MSc in Mathematics from McGill University, and received his PhD in Computer Science from Oxford in 2001. He subsequently did postdoctoral work at Tulane University and Carnegie Mellon University.

Read more

Two new faculty to join MPI-SWS

June 4, 2012

We are pleased to announce that two new faculty will join MPI-SWS.

allen

Allen Clement obtained his Ph.D. at the University of Texas at Austin in 2011. Allen's research aims at designing and building systems that continue to work despite the myriad of things that go 'wrong' in deployed systems, including broken components, malicious adversaries, and benign race conditions. His research builds on techniques from distributed systems, security, fault tolerance, and game theory.

We are pleased to announce that two new faculty will join MPI-SWS.

allen

Allen Clement obtained his Ph.D. at the University of Texas at Austin in 2011. Allen's research aims at designing and building systems that continue to work despite the myriad of things that go 'wrong' in deployed systems, including broken components, malicious adversaries, and benign race conditions. His research builds on techniques from distributed systems, security, fault tolerance, and game theory.

cristian

Cristian Danescu-Niculescu-Mizil is joining us from Cornell University, where he obtained his PhD in computer science. Cristian's research aims at developing computational frameworks that can lead to a better understanding of human social behavior, by unlocking the unprecedented potential of the large amounts of natural language data generated online. His work tackles problems related to conversational behavior, opinion mining, computational semantics and computational advertising.

Read more

Three new faculty to join MPI-SWS

July 20, 2011

We are pleased to announce that three new faculty will join MPI-SWS this fall.

Björn Brandenburg is joining us from the University of North Carolina at Chapel Hill (UNC), where he obtained his Ph.D. in computer science. Björn's research interests include multiprocessor real-time system, real-time synchronization protocols, and operating systems. Björn is the lead designer and developer of LITMUSRT, an extension of the Linux kernel for real-time scheduling and synchronization on multicore platforms.

We are pleased to announce that three new faculty will join MPI-SWS this fall.

Björn Brandenburg is joining us from the University of North Carolina at Chapel Hill (UNC), where he obtained his Ph.D. in computer science. Björn's research interests include multiprocessor real-time system, real-time synchronization protocols, and operating systems. Björn is the lead designer and developer of LITMUSRT, an extension of the Linux kernel for real-time scheduling and synchronization on multicore platforms.

Deepak Garg is joining us from the Cybersecurity Lab (CyLab) at Carnegie Mellon University, where he was a post-doctoral researcher. He obtained his Ph.D. from Carnegie Mellon's Computer Science Department. His research interests are in the areas of computer security and privacy, formal logic and programming languages. He is specifically interested in logic-based models of secure systems and formal analysis of security properties of systems.

Ruzica Piskac is joining us from EPFL, where she has completed her Ph.D. in computer science. The goal of her research is to make software development easier and software more reliable via automated reasoning techniques. She is specifically interested in decision procedures, their combinations and applications in program verification and software synthesis.

Read more

Two MPI-SWS alumni receive NSF CAREER awards.

January 20, 2011

Two MPI-SWS alumni — Andreas Haeberlen and Alan Mislove — have received NSF CAREER awards. The CAREER award is the National Science Foundation's most prestigious award in support of junior faculty who exemplify the role of teacher-scholars through outstanding research, excellent education and the integration of education and research.

Andreas Haeberlen, now an Assistant Professor in the department of Computer and Information Science at the University of Pennsylvania, has received the award for his proposal "Evidence in Federated Distributed Systems."

Alan Mislove,

Two MPI-SWS alumni — Andreas Haeberlen and Alan Mislove — have received NSF CAREER awards. The CAREER award is the National Science Foundation's most prestigious award in support of junior faculty who exemplify the role of teacher-scholars through outstanding research, excellent education and the integration of education and research.

Andreas Haeberlen, now an Assistant Professor in the department of Computer and Information Science at the University of Pennsylvania, has received the award for his proposal "Evidence in Federated Distributed Systems."

Alan Mislove, now an Assistant Professor in the College of Computer and Information Science at Northeastern University, has received the award for his proposal "Systems for the Emerging Patterns of Content Exchange."

Read more

Viktor Vafeiadis joins the MPI-SWS faculty

October 1, 2010

Viktor Vafeiadis joins the institute's faculty, starting in October 2010. Viktor's research interests are in software analysis and verification, programming languages, programming logics, and concurrency.

Viktor's research contributions include inventing new concurrent program logics (RGSep & deny/guarantee); developing automated verification tools (SmallfootRG & Cave) for proving correctness properties of concurrent algorithms; and verifying some particularly challenging algorithms manually (e.g., mcas), mechanically (e.g., fast congruence closure), or automatically (e.g., lazy set).

Viktor received his B.A.

Viktor Vafeiadis joins the institute's faculty, starting in October 2010. Viktor's research interests are in software analysis and verification, programming languages, programming logics, and concurrency.

Viktor's research contributions include inventing new concurrent program logics (RGSep & deny/guarantee); developing automated verification tools (SmallfootRG & Cave) for proving correctness properties of concurrent algorithms; and verifying some particularly challenging algorithms manually (e.g., mcas), mechanically (e.g., fast congruence closure), or automatically (e.g., lazy set).

Viktor received his B.A. degree in Computer Science in 2004 and his Ph.D. degree in Computer Science in 2008 both from the University of Cambridge. After that, he held post-doctoral research positions at Microsoft Research and at the University of Cambridge.

Read more

Rupak Majumdar joins the MPI-SWS faculty

June 3, 2010

Rupak Majumdar joins the institute's faculty as a scientific director. Rupak's research interests are in computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems; software verification and programming languages; and logic and automata theory.

Rupak's research spans the spectrum of formal verification techniques, ranging from theoretical foundations of logic and automata theory to practical software engineering tools that systematically analyze thousands of lines of code for programmer errors. In the field of software model checking,

Rupak Majumdar joins the institute's faculty as a scientific director. Rupak's research interests are in computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems; software verification and programming languages; and logic and automata theory.

Rupak's research spans the spectrum of formal verification techniques, ranging from theoretical foundations of logic and automata theory to practical software engineering tools that systematically analyze thousands of lines of code for programmer errors. In the field of software model checking, Rupak has made major contributions. Rupak, along with Ranjit Jhala, wrote the the model checker Blast, which is able to analyze over 100,000 lines of code for complex temporal properties. This achievement was a major milestone and proof of feasibility in the field of software verification and led to a flurry of academic and industrial activity in the area.

Rupak joins MPI-SWS from the University of California, Los Angeles, where he was on the faculty of the computer science department. Prior to that, Rupak received his Ph.D. degree in Computer Science from the University of California at Berkeley, and his B.Tech. degree in Computer Science from the Indian Institute of Technology at Kanpur.

Read more

Robert Harper appointed as an external scientific member

June 2, 2010

Robert Harper has been appointed as the institute's first external scientific member. Dr. Harper is a Professor of Computer Science at Carnegie Mellon University, where he conducts research on programming language design and implementation. Bob will be visiting the institute in Summer 2010.

The external scientific member appointment is a courtesy appointment, which acknowledges the member's scientific excellence, as well as his or her close collaboration and contribution to joint research projects with MPI-SWS faculty and researchers.

Robert Harper has been appointed as the institute's first external scientific member. Dr. Harper is a Professor of Computer Science at Carnegie Mellon University, where he conducts research on programming language design and implementation. Bob will be visiting the institute in Summer 2010.

The external scientific member appointment is a courtesy appointment, which acknowledges the member's scientific excellence, as well as his or her close collaboration and contribution to joint research projects with MPI-SWS faculty and researchers.

Robert Harper has been a professor in the Computer Science Department at Carnegie Mellon University since 1988. He received his Ph.D. in Computer Science from Cornell University in 1985, and was a post-doctoral research fellow at the Laboratory for Foundations of Computer Science at Edinburgh University from 1985-1988. He is best known for his work on the design, definition, and implementation of Standard ML; the design and application of the LF logical framework; the type-theoretic foundations of modularity in programming languages; the use of typed intermediate languages for certified compilation; the co-invention of self-adjusting computation for dynamic algorithms; and the application of fundamental theory to practical software systems. His current interests include mechanization of the metatheory of programming languages, the integration of types and verification, and the application of programming language theory to computer security.

Read more

Andreas Haeberlen receives Otto Hahn Medal

Andreas Haeberlen has been awarded the 2009 Otto Hahn Medal for outstanding scientific achievement. The medal, and its accompanying monetary prize, will be presented to Andreas at the Max Planck society's annual General Assembly in Hannover on June 16. Andreas's medal was awarded for "pioneering work on accountability in distributed computer systems, in particular for the design, implementation and demonstration of practical techniques for the reliable and tamper-proof detection of complex faults.

Andreas Haeberlen has been awarded the 2009 Otto Hahn Medal for outstanding scientific achievement. The medal, and its accompanying monetary prize, will be presented to Andreas at the Max Planck society's annual General Assembly in Hannover on June 16. Andreas's medal was awarded for "pioneering work on accountability in distributed computer systems, in particular for the design, implementation and demonstration of practical techniques for the reliable and tamper-proof detection of complex faults. Andreas obtained his PhD in Spring 2009 and is now an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania.

Founded in 1948, the Max Planck Society is a non-profit scientific organization affiliated with the Max Planck Institutes. The Society awards the Otto Hahn Medal annually to young scientists in recognition of outstanding scientific achievement. In addition to a stipend, the award gives winners preference for grants enabling them to conduct research abroad for one year.

Read more

Umut Acar joins the MPI-SWS faculty

January 20, 2010

Umut Acar joins the institute's faculty, starting in January 2010. Umut's research interests are in language and algorithm design and implementation, particularly for dynamic systems that interact with changing data from various sources, such as users and the physical environment.

Such systems abound in many areas of computer science. For example, physical simulations often involve objects that move continuously over time, databases host and process data that changes over time (e.g., by introduction of new information records),

Umut Acar joins the institute's faculty, starting in January 2010. Umut's research interests are in language and algorithm design and implementation, particularly for dynamic systems that interact with changing data from various sources, such as users and the physical environment.

Such systems abound in many areas of computer science. For example, physical simulations often involve objects that move continuously over time, databases host and process data that changes over time (e.g., by introduction of new information records), and connectivity in networks and distributed systems changes as links go down or come alive.

Umut's primary research focus has been self-adjusting computation, where computations respond automatically to modifications to their data. With his collaborators, he designs languages for developing self-adjusting programs, researches techniques for analyzing their complexity, and evaluates the proposed techniques by considering problem domains such as computational geometry, machine learning, and scientific computing. Umut's other interests include parallel computing, databases, and design and implementation of high-level languages.

Umut Acar received his B.S. in Computer Science from Bilkent University-Turkey in 1997, his M.A. from University of Texas at Austin in 1999, and his Ph.D. from Carnegie Mellon University in 2004. Umut joins MPI-SWS from the Toyota Technological Institute of Chicago, where he was an assistant professor from 2005 to 2009.

Read more

Krishna Gummadi joins MPI-SWS faculty

July 9, 2005

Krishna Gummadi, Ph.D., accepts a position on the faculty of the MPI for Software Systems as an independent researcher. This position is comparable to a tenure-track Assitant Professor position at a U.S. University.

Krishna hold a B.Tech. degree from IIT Madras, and the M.S. and Ph.D. degrees from the University of Washington in Seattle, all in Computer Science and Engineering. Krishna has gained international recognition for his research on networked systems,

Krishna Gummadi, Ph.D., accepts a position on the faculty of the MPI for Software Systems as an independent researcher. This position is comparable to a tenure-track Assitant Professor position at a U.S. University.

Krishna hold a B.Tech. degree from IIT Madras, and the M.S. and Ph.D. degrees from the University of Washington in Seattle, all in Computer Science and Engineering. Krishna has gained international recognition for his research on networked systems, as the recipient of three best paper awards at leading conferences in his area and as the main author of the most cited computer science articles in 2003 and 2004, respectively, according to citeseer. He will join the MPI for Software Systems in October 2005.

Read more

Peter Druschel becomes MPI-SWS founding director March 2005

March 9, 2005

Prof. Peter Druschel, Ph.D., accepts the position of Founding Director of the MPI for Software Systems. Peter comes from Rice University in Houston, TX, where he has spent eleven years as Assistant Professor (1994-2000), Associate Professor (2000-2002) and Full Professor (2002-) of Computer Science. Peter also spent time teaching and researching at the University of Paris VI, at Microsoft Research in Cambridge, UK, and at the Massachussets Institute of Technology (MIT) in Boston.

Prof. Peter Druschel, Ph.D., accepts the position of Founding Director of the MPI for Software Systems. Peter comes from Rice University in Houston, TX, where he has spent eleven years as Assistant Professor (1994-2000), Associate Professor (2000-2002) and Full Professor (2002-) of Computer Science. Peter also spent time teaching and researching at the University of Paris VI, at Microsoft Research in Cambridge, UK, and at the Massachussets Institute of Technology (MIT) in Boston. He holds a Dipl.-Ing. (FH) degree in Electrical Engineering from Fachhochschule Munich, and the M.S. and Ph.D. degrees in Computer Science from the University of Arizona. Peter conducts research in experimental distributed systems, with a focus on self-organizing, decentralized and autonomous systems. He is the recipient of a National Science Foundation CAREER Award and an Alfred P. Sloan Fellowship.

Read more

MPI-SWS graduates first four students

July 3, 2009

In the spring of 2009, MPI-SWS graduated its first four PhD students—Andreas Haeberlen, Alan Mislove, Animesh Nandi, and Atul Singh. All four students have landed competitive academic or research positions in a very tight job market.

This fall, Andreas Haeberlen will be an Assistant Professor at the University of Pennsylvania, Alan Mislove will be an Assistant Professor at Northeastern University, Animesh Nandi will be a researcher at Bell Labs, India, and Atul Singh will be a researcher at NEC Labs,

In the spring of 2009, MPI-SWS graduated its first four PhD students—Andreas Haeberlen, Alan Mislove, Animesh Nandi, and Atul Singh. All four students have landed competitive academic or research positions in a very tight job market.

This fall, Andreas Haeberlen will be an Assistant Professor at the University of Pennsylvania, Alan Mislove will be an Assistant Professor at Northeastern University, Animesh Nandi will be a researcher at Bell Labs, India, and Atul Singh will be a researcher at NEC Labs, Princeton. The students received their PhD degrees from Rice University after spending the last several years of their graduate studies at MPI-SWS.

Read more

Paul Francis joins the MPI-SWS faculty

January 21, 2009

Paul Francis joins the institute's faculty as a scientific director. Paul's work over the years has focused on network routing and addressing problems, with a particular interest in large and self-configuring systems.

Paul's work has had tremendous impact on both research and industrial practice. He is best known for inventing Network Address Translation (NAT), shared multicast trees (which form the basis of PIM-SM), and the use of multiple addresses to scale routing in the face of site multihoming,

Paul Francis joins the institute's faculty as a scientific director. Paul's work over the years has focused on network routing and addressing problems, with a particular interest in large and self-configuring systems.

Paul's work has had tremendous impact on both research and industrial practice. He is best known for inventing Network Address Translation (NAT), shared multicast trees (which form the basis of PIM-SM), and the use of multiple addresses to scale routing in the face of site multihoming, which was adopted by IPv6.

Paul joins MPI-SWS from Cornell University, where he was on the faculty of the computer science department. Prior to that, Paul spent many years in industry labs such as Bellcore, NTT Research Labs in Tokyo, ACIRI in Berkeley, and at several Silicon Valley startups.

Paul Francis's arrival marks the opening of the insitute's Kaiserslautern site.

Read more

Three new faculty to join MPI-SWS

August 21, 2007

We are pleased to announce that three new faculty will join MPI-SWS.

Rodrigo Rodrigues will lead a research group on Dependable Systems. He obtained his Ph.D. from the Massachusetts Institute of Technology and joins us from the Instituto Superior Tecnico in Lisbon.

Derek Dreyer will lead a research group on Type Systems and Functional Programming. He obtained his Ph.D. from Carnegie Mellon University and joins us from the Toyota Technological Institute at Chicago.

We are pleased to announce that three new faculty will join MPI-SWS.

Rodrigo Rodrigues will lead a research group on Dependable Systems. He obtained his Ph.D. from the Massachusetts Institute of Technology and joins us from the Instituto Superior Tecnico in Lisbon.

Derek Dreyer will lead a research group on Type Systems and Functional Programming. He obtained his Ph.D. from Carnegie Mellon University and joins us from the Toyota Technological Institute at Chicago.

Andrey Rybalchenko will lead a research group on Verification Systems. He previously held a post-doctoral position with Tom Henzinger at EPFL. He is the winner of the Otto-Hahn-Medal of the Max Planck Society.

Read more

Michael Backes appointed as a Max Planck Fellow

June 21, 2007

Michael Backes, Professor at Saarland University, is appointed as a Max Planck Fellow at the MPI for Software Systems for five years. The new Max Planck Fellow program aims to strengthen the cooperation between Max Planck institutes and universities. In addition to his duties at the University, Michael will head a small research group on Information Security and Cryptography at the institute.