Mira Mezini

Not registered as user yet

Name:Mira Mezini
Bio:

I am a Professor of Computer Science at the Technical University of Darmstadt, Germany.

My research focuses on software development paradigms and tools.

On the paradigms side, I develop programming languages to enable the visions of “software as a service (SaaS)” and “software product-lines” by providing large-scale module concepts with built-in support for adaptability and extensibility.

On the tools side, I work on intelligent software-development environments that guide developers to increase the development productivity and the software quality. Such environment leverage web-based resources to automatically generate and recommend established programming rules and patterns; they also enable architects to explicitly specify such patterns to be enforced during development.

I have (co)authored over 100 scientific publications in renowned publication venues in software engineering and programming languages. I regularly serve on steering committees, program committees, and editorial boards of top tier conferences and journals in software engineering and programming languages.

Country:Germany
Affiliation:TU Darmstadt
Research interests:Software development paradigms and tools

Contributions

Onward! 2015 Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers
Towards Secure Integration of Cryptographic Software
Committee Member in Program Committee within the Onward! Essays-track
SPLASH 2015 Committee Member in External Review Committee within the OOPSLA-track
A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking
Toward Incremental Type Checking for Java
Show activities from other conferences

SPLASH 2015-profile
View general profile