Mira Mezini How Can Programming Technology Best Respond to Radical Changes in Computing?

Mira Mezini is Professor of Computer Science at TU (Technische Universität) Darmstadt. Vice-President of the University from 2014 to 2017, Mezini has also been Dean and Vice-Dean of the Computer Science Department. Leading the Software Technology and Reactive Programming research groups, Mezini’s main research interests also include software security and open source software development. A recipient of the prestigious European Research Council (ERC) Advanced Grant in 2012, Mezini also won IBM Eclipse Innovation Awards in 2005 and 2006.

Area of Research

Programming Languages: Reactive, Big Data Programming and Programmable Networks, Software Security: Security Program Analysis, Automated Crypto Integration, Secure Languages, Program Analysis and Mining Software Repositories, Type Systems and Verifiable Guarantees

since 2002

Full Professor of Computer Science

Technische Universität Darmstadt

College of Computer Science

2000-2002

Associate Professor of Computer Science

Technische Universität Darmstadt

College of Computer Science

1998-2000

Adjunct Assistant Professor of Computer Sciene

Northeastern University

College of Computer Science

1998-2000

Assistant Professor of Computer Science

University of Siegen (Universität Siegen)

College of Electrical Engineering and Computer Science

1997-1998

Visiting Assistant Professor of Computer Science

Northeastern University

College of Computer Science

1990-1997

Full-Time Research and Teaching Assistant

University of Siegen (Universität Siegen)

College of Electrical Engineering and Computer Science & Computer Center

1989-1990

Full-Time Research and Teaching Assistant

University of Tirana

Department of Computer Science

1997

Ph.D. (Dr.-Ing.) in Computer Science

University of Siegen (Universität Siegen)

1989

Diploma in Computer Science

University of Tirana

- Editorial board of LNCS Transactions on Aspect-Oriented Software Development (LNCS TAOSD)

- Member of AITO (Association Internationale pour les Technologies Objets)

- German Academy of Engineering and Science (acatech)

- Computer Science Panel of the German Science Foundation (DFG)

- Computer Science Panel of the European Science Foundation (2014, 2016)

Prizes

- IT Security Prize of Horst-Görtz Foundation (2014)

- Honorary Doctorate, University Tirana, Albania (2013)

- IBM Eclipse Innovation Awards (2006, 2005)

- Advanced Grant of the European Science Foundation (ERC) (2012)

In the modern world, computer applications operate in an environment of increasing complexity. Ubiquitously connected, they rely on continuously changing interfaces with the external world to drive computations based on patterns in big data. In this video, MIRA MEZINI considers how programming technology can optimally respond to this radically changed operating environment. Arguing that accidental complexity can be overcome by the invention of new programming abstractions that directly express notions in the world, Mezini employs mathematical modeling and empirical benchmarking to validate her hypotheses. Making computer systems easier and cheaper to evolve and maintain by reducing their complexity, the solutions proposed here are also key enablers for the next generation of data-driven applications (e.g. software for self-driving cars and environmental modeling).

LT Video Publication DOI: https://doi.org/10.21036/LTPUB10753

Thread-safe Reactive Programming

  • Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi and Mira Mezini
  • Proceedings of the ACM on Programming Languages
  • Published in 2018
Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi and Mira Mezini. "Thread-safe Reactive Programming." Proceedings of the ACM on Programming Languages 2 (2018): 107. doi:10.1145/3276477.

Fault-tolerant Distributed Reactive Programming

  • Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben and Mira Mezini
  • 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
  • Published in 2018
Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben and Mira Mezini. "Fault-tolerant Distributed Reactive Programming." Unpublished. 2018. doi:10.4230/LIPIcs.ECOOP.2018.1.

Versatile Event Correlation with Algebraic Effects

  • Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster and Mira Mezini
  • Proceedings of the ACM on Programming Languages
  • Published in 2018
Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster and Mira Mezini. "Versatile Event Correlation with Algebraic Effects." Proceedings of the ACM on Programming Languages 2 (2018): 67. doi:10.1145/3236762.