News: Alumni News

Viktor Vafeiadis awarded ERC Consolidator Grant

December 14, 2020

Viktor Vafeiadis, head of the MPI-SWS Software Analysis and Verification group, has been awarded an ERC Consolidator Grant. Over the next five years, his project "PERSIST: A Semantic Foundation for Persistent Programming" will receive almost 2 million euros, which will allow the group to develop rigorous formal foundations for programs interacting with non-volatile memory. Read more about the PERSIST project below.

One of the other recipients of an ERC Consolidator Grant this year is an MPI alumnus: Neel Krishnaswami was an MPI-SWS postdoc with Derek Dreyer,

...

Viktor Vafeiadis, head of the MPI-SWS Software Analysis and Verification group, has been awarded an ERC Consolidator Grant. Over the next five years, his project "PERSIST: A Semantic Foundation for Persistent Programming" will receive almost 2 million euros, which will allow the group to develop rigorous formal foundations for programs interacting with non-volatile memory. Read more about the PERSIST project below.

One of the other recipients of an ERC Consolidator Grant this year is an MPI alumnus: Neel Krishnaswami was an MPI-SWS postdoc with Derek Dreyer, and he is currently a faculty member at Cambridge.

ERC grants are the most prestigious and the most competitive European-level awards for ground-breaking scientific investigations. This year, less than 14% of all ERC Consolidator Grant applicants across all scientific disciplines received the award, with only 15 awardees in Computer Science across all of Europe! The ERC Consolidator Grant offers funding for researchers with 7 to 12 years of experience after achieving a PhD. You can find more information about ERC Consolidator Grants awarded this year at https://erc.europa.eu/news/CoG-recipients-2020.

The European Research Council (ERC) is a pan-European funding body that supports cutting-edge research. It offers funding for groundbreaking research projects of the highest scientific quality across Europe, across all research areas. Talented researchers from all over the world can receive funding for excellent research in Europe.

The PERSIST Project

Non-volatile memory (NVM) is an emerging technology that provides orders of magnitude faster access to persistent storage (which preserves its contents after a crash or a power failure) than hard disks.  As such, it is expected to radically change how modern applications manage storage, moving away from traditional block-structured file systems to in-memory persistent data structures.

The problem with NVM, however, is that its programming model is standing on very shaky foundations. The persistency semantics of the mainstream architectures is unclear and full of counterintuitive behaviours, which makes writing correct NVM programs a very challenging task.

The project's goal is to develop a solid mathematical basis for determining the semantics of NVM programs and for reasoning about their correctness. More specifically, the plan is to produce:

  • Formal persistency models for mainstream hardware architectures,
  • Formal persistency models for mainstream programming languages,
  • Firmly-grounded higher-level abstractions to ease persistent programming, and
  • Effective testing and verification techniques for persistent programs (e.g., program logics and model checking).
Read more

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.

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/.

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.

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

Professor Appointment

September 21, 2018

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

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!

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

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

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