Programming Language Design and Implementation Professors and Supervisors in Germany

Berkan Sariaydinمشاهده پروفایل

مدرس

Ludwig Maximilian University of MunichGermany

Dr. Berkan Sariaydin serves as Lecturer in the Department of Didactics of Ancient Languages within LMU Munich's Faculty of Languages and Literatures, while concurrently holding a Studienrat position at Wilhelmsgymnasium Munich. His dual academic-school roles focus on bridging classical philology with contemporary pedagogy through innovative multimedia approaches. His educational trajectory includes: MA-level studies in Latin, German and Philosophy at LMU Munich (2012-2018) First State Teaching Examination (2018) Doctoral degree from LMU Munich (2018-2024) Second State Teaching Examination (2024) Research centers on classical reception studies with emphasis on intermedial transformations of antiquity. His work analyzes how ancient narratives (particularly Virgil and Ovid) manifest in modern media like graphic novels and fantasy literature, while developing practical didactic frameworks for language instruction. Current projects explore mythological narratives as tools for addressing contemporary social challenges through the ERC-funded 'Modern Argonauts' initiative. His publication record shows consistent output since 2016, with increasing focus on methodological innovation in classical reception studies. Recent works demonstrate growing integration of multimedia analysis and pedagogical application, particularly in teacher training contexts. Award highlights include: Bavarian State Ministry award for exceptional teacher training (2024) German National Academic Foundation doctoral scholarship (2019) LMU's MZL Prize for academic excellence (2019) Germany Scholarship for undergraduate studies (2015) Grant involvement centers on the ERC Proof of Concept project 'The Modern Argonauts' at Warsaw University, where he develops multicultural educational programs using classical mythology. His teaching methodology emphasizes active student engagement with ancient texts through contemporary media adaptations. He actively contributes to academic discourse through LMU's 'Rejuvenated Antiquity' research seminar and international conferences, focusing on practical applications of classical studies in modern educational settings.

پروفایل رسمی دانشگاه

Tanja Brandl-Götzمشاهده پروفایل

استاد

Catholic University of FreiburgGermany

Professor Tanja Brandl-Götz serves as Professor of General Pedagogy with a focus on Early Childhood Education and Program Director for the Bachelor's program in Early Childhood Education at Protestant University of Applied Sciences Nuremberg. A member of the Social Science Institute for Research and Transfer (SWIFT), she brings over two decades of combined academic and practical experience in social pedagogy, having previously led the Fachakademie for Social Pedagogy Hensoltshöhe and coordinated the Familienzentrum Sonnenhof project. Her educational background includes a PhD in Philosophy from Friedrich-Alexander-Universität Erlangen-Nürnberg (2016), Diploma in Educational Sciences from Philipps-Universität Marburg (2007-2009), Diploma in Social Work from Evangelische Fachhochschule Nürnberg (2003-2007), and certification as a state-recognized educator (1998-2001). Additional qualifications include systemic counseling training (2016) and Social Business Administration studies (2007-2008). Brandl-Götz's research centers on early childhood education dynamics, with expertise in play pedagogy, resilience development, and qualitative social research methodologies. She investigates pedagogical processes through the lens of children's perspectives, examining how educational partnerships function during crises like the pandemic and addressing emerging issues such as gender diversity in childhood development. Her work consistently bridges theoretical frameworks with practical applications in kindergarten settings. Analysis of her 15 most recent publications (2011-2025) reveals evolving research trajectories: early work focused on foundational pedagogical theories and play-based learning, transitioning to resilience frameworks during the pandemic, and most recently addressing children's agency in educational design and gender diversity. The publications demonstrate strong interdisciplinary connections between educational theory, child psychology, and social policy implementation. Outstanding Teaching Award 2014 (recognized in Forum der Lehre proceedings) As Program Director, Brandl-Götz oversees curriculum development and student supervision for the Early Childhood Education program, emphasizing reflective practice and theory-practice integration. Her leadership in projects like the Familienzentrum Sonnenhof and 'Kita als sicherer Ort' safety initiative demonstrates successful grant acquisition and implementation. Current research focuses on participatory educational design informed by children's perspectives. Through her membership in SWIFT, Brandl-Götz contributes to interdisciplinary research transfer initiatives that connect academic scholarship with practical applications in social pedagogy and early childhood education settings across Bavaria.

پروفایل رسمی دانشگاه

Livia Noviمشاهده پروفایل

مدرس

University of MünsterGermany

Livia Novi serves as a Lecturer for Special Assignments at the University of Münster's Language Center, coordinating Italian courses and UNIcert® examinations while advising Italian Studies students at the Romance Languages Department. Born in Rome (1965), she brings decades of cross-institutional experience from Münster, Bayreuth, Osnabrück, and Munich's Adult Education Center where she headed the Romance Languages Department (2011-2020). Her educational foundation includes: Master of Arts in History and Literature (University of Osnabrück, 1994) Master's in Didactics of Italian as Foreign Language (Ca' Foscari University Venice, 2011) Novi's research bridges Italian language pedagogy for German speakers with migration history and intercultural communication . Her work examines textbook evolution, language policy frameworks, and flipped classroom methodologies while analyzing Italian diaspora communities through historical and sociological lenses. Current projects focus on autonomous learning strategies and certification systems. Publication trends reveal a strategic shift from 1999-2007 migration studies toward 2012-2023 language education specialization. Recent works dissect intercultural competence development in teaching materials, German-Italian contrastive analysis, and policy implementation for Italian language certification, demonstrating consistent interdisciplinary rigor across 15 scholarly contributions. Professional engagement includes board membership in ADI (Associazione dei Docenti d'Italiano in Germania) since 2012 and lecturer roles in Ca' Foscari University's Master's program (2015-2021). Her advisory work spans curriculum design for cross-level Italian courses (A1-C1), subject-specific instruction for humanities students, and teacher training coordination across German educational institutions. Novi collaborates extensively through research networks including the Essen-Duisburg 'Living Many Worlds' project (2001-2003) on migrant youth experiences, while maintaining active roles in language certification development and textbook consultation for German-speaking Italian learners.

پروفایل رسمی دانشگاه

Cătălin Hrițcuمشاهده پروفایل

استاد مدعو

Max Planck Institute for Security and PrivacyGermany

formal methods for security
programming languages
design and verification of security-critical systems
+۱۱ مورد دیگر

Cătălin Hrițcu is a tenured faculty member and head of the Formally Verified Security group at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. He also serves as Adjunct Professor in the Faculty of Computer Science at Ruhr University Bochum (RUB), where he is affiliated with HGI and the CASA Cluster of Excellence. His educational background includes: PhD from Saarland University in Saarbrücken, Germany Habilitation from ENS Paris Hrițcu's research focuses on developing rigorous formal techniques for security. His primary interests span three interconnected areas: Formal methods for security: secure compilation, compartmentalization, memory safety, speculative execution defenses, information flow control, and security protocols Programming-languages techniques: program verification, machine-checked proofs, dependent types, formal semantics, and property-based testing Design and verification of security-critical systems: compilation chains, reference monitors, tagged hardware architectures, and high-assurance cryptography His recent publications reveal a strong trajectory toward addressing real-world security challenges through formal methods, with increasing emphasis on hardware security aspects like speculative execution vulnerabilities and memory safety. Hrițcu has received significant scientific recognition: ERC Starting Grant on formally secure compilation Distinguished Paper Award at CSF 2025 for FSLH: Flexible Mechanized Speculative Load Hardening Distinguished Paper Award at CSF 2021 for SSProve As an advisor, Hrițcu has mentored numerous PhD students and postdoctoral researchers who have gone on to successful academic careers. His group receives substantial funding through projects like ERC SECOMP. He has co-authored volumes of the Software Foundations textbook series and actively teaches courses at RUB. Hrițcu leads the Formally Verified Security research group at MPI-SP, which includes PhD students, postdocs, and research interns working on cutting-edge problems at the intersection of programming languages and security. The group has made significant contributions to verification tools including F* and Coq, with applications in secure compilation and cryptographic verification.

پروفایل رسمی دانشگاه

Danel Ahmanمشاهده پروفایل

دانشیار

Max Planck Institute for Security and PrivacyGermany

Danel Ahman is an Associate Professor of Programming Languages at the Institute of Computer Science, University of Tartu, Estonia. He is a member of the Chair of Programming Languages and the Laboratory for Software Science (SWS). His academic journey includes postdoctoral positions at the University of Ljubljana and Inria Paris, as well as research internships at Microsoft Research. Education: PhD in Theoretical Computer Science, University of Edinburgh (2012-2017), thesis: "Fibred Computational Effects" MPhil in Advanced Computer Science, University of Cambridge (2011-2012), thesis: "Computational effects, algebraic theories and normalization by evaluation" BSc in Informatics, Tallinn University of Technology (2007-2010), Cum Laude Danel Ahman's research focuses on programming languages, their design and semantics. He is particularly interested in dependent and refinement types, computational effects (especially algebraic effects, effect handlers, and runners), modal types for verifying temporal resource usage, and category-theoretic denotational and operational semantics. His work bridges theoretical foundations with practical applications in verified software development, exploring how programming language features can ensure correctness while maintaining expressiveness and efficiency. His recent publications demonstrate a consistent focus on computational effects, modal types, and verified programming. The trajectory shows increasing sophistication in handling temporal resources and asynchronous effects, with several papers published in top programming languages conferences (POPL, ICFP) and journals. His work often combines theoretical category-theoretic foundations with practical implementations, particularly using the F* verification language. Scientific Awards: 2025: Estonian Research Council grant on "Explainable Verification" (co-investigator) 2024: EuroProofNet COST Action Short-Term Scientific Missions to University of Ljubljana 2019: Horizon 2020 Marie Skłodowska-Curie Individual Fellowship 2018: 1st prize at the Estonian Ministry of Education and Research dissertations competition 2012: Google prize and Citrix prize for best research dissertation at University of Cambridge Ahman actively supervises graduate students and has served on numerous program committees for programming languages conferences. His grant portfolio includes significant funding for research on programming language foundations and verification. He collaborates extensively with researchers across Europe and the US, particularly in the F* verification ecosystem and effect handler communities. He is a key member of the Laboratory for Software Science at the University of Tartu, contributing to research on programming language theory and verified software development. His work intersects with several research groups focusing on formal methods, programming language design, and software verification.

پروفایل رسمی دانشگاه

Mehdi Bagherzadehمشاهده پروفایل

استادیار

Max Planck Institute for Security and PrivacyGermany

Mehdi Bagherzadeh is an Assistant Professor in the Department of Computer Science and Engineering at Oakland University. His professional profile shows consistent involvement in major software engineering conferences including ASE, SPLASH, and ICSE, where he has served in various leadership roles such as Workshops Co-Chair for SPLASH (2021-2023) and Late Breaking Results Co-Chair for ASE (2022). Dr. Bagherzadeh's research focuses on the correct construction of concurrent and big data software, situated at the intersection of Software Engineering and Programming Languages. His work particularly addresses challenges in deep learning program optimization, actor concurrency models, and automated refactoring techniques. His research trajectory shows a clear evolution from foundational work on concurrent programming models (Panini, Capsule) to current applications in deep learning systems. Analysis of his publication history reveals a strong focus on practical software engineering challenges in concurrent systems, with recent work concentrating on the migration and optimization of deep learning programs. His research combines empirical studies with formal methods, addressing both theoretical foundations and practical implementation concerns in modern software systems. Through his committee service across multiple top-tier conferences including ASE, SPLASH, ICSE, and ESEC/FSE, Dr. Bagherzadeh has established himself as an active contributor to the software engineering research community. His service roles have ranged from program committee membership to organizational leadership positions.

پروفایل رسمی دانشگاه

Jie Luمشاهده پروفایل

دانشیار

Max Planck Institute for Security and PrivacyGermany

Jie Lu is an Associate Professor at the Institute of Computing Technology of the Chinese Academy of Sciences (ICT, CAS), where he leads research in software security and program analysis. His work focuses on developing advanced program analysis techniques to improve software reliability and security, with applications in cloud systems, distributed environments, and modern web applications. Dr. Lu's research interests include: Software Security: Focusing on vulnerability detection and prevention in open-source software Program Analysis: Specializing in static/dynamic analysis techniques and context-sensitive pointer analysis Cloud Systems: Researching distributed system security, crash-recovery, and concurrency bug detection His recent publications demonstrate a strong focus on practical security solutions for real-world systems. The research spans Kubernetes ecosystems, PHP applications, Linux kernel security, Java web applications, and Windows IPC systems. A notable trend is the development of precise static analysis techniques that balance efficiency with accuracy, addressing the longstanding challenge in program analysis. His work often bridges theoretical advances with practical implementations that have been adopted by industry. Dr. Lu has received several prestigious awards: ACM SIGSOFT Distinguished Paper Award 2025 Best Paper Honorable Mention at CCS 2022 Chinese Academy of Sciences Outstanding Doctoral Dissertation 2021 Chinese Academy of Sciences President's Special Award 2020 ICT New Hundred Stars 2020 Dr. Lu actively mentors students and researchers, recruiting PhD candidates, Master students, and research interns interested in software security and program analysis. His research has been supported by the National Natural Science Foundation of China, CCF-Huawei Innovation Research Plan, and CCF-Ant Research Fund. The Program Analysis Group (ICT-PAG) at the National Key Laboratory of Processor has successfully identified numerous errors and vulnerabilities in popular open-source applications, with over 200 severe bugs confirmed by the open-source community and assigned more than 100 CVE numbers. His research group, the Program Analysis Group (ICT-PAG), is based in the National Key Laboratory of Processor at ICT, CAS. The group has achieved significant impact through both academic publications in top venues (SOSP, CCS, USENIX Security, NDSS, OOPSLA, ISSTA, FSE, ASE, TSE) and practical applications in leading IT companies and government organizations.

پروفایل رسمی دانشگاه

Marcos Kalinowskiمشاهده پروفایل

استاد

Max Planck Institute for Security and PrivacyGermany

Professor Marcos Kalinowski is a faculty member in the Department of Informatics at Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Brazil. He serves as Professor of Software Engineering with an active research program focused on the intersection of software engineering and artificial intelligence. His research interests span: Software Engineering Machine Learning in Software Engineering Empirical Software Engineering Requirements Engineering for AI/ML Systems Trustworthy AI Systems Software Engineering Education Professor Kalinowski's recent work has concentrated on Large Language Models (LLMs) applications in software engineering processes, emphasizing empirical validation and practical relevance. His publications reveal a strong commitment to understanding how AI technologies can be effectively integrated into software development while maintaining quality standards and addressing human factors. He leads the international "Naming the Pain in Requirements Engineering" (NaPiRE) initiative, which investigates requirements engineering challenges across global organizations. His scientific contributions include: Framework development for trustworthy AI systems Empirical studies on LLMs in software engineering research Investigations of human factors in software development Analysis of machine learning code quality and technical debt Requirements engineering methodologies for AI-enabled systems Professor Kalinowski holds leadership positions in major software engineering conferences including General Co-Chair for ICSE 2026 and Program Co-Chair for ESEM 2021. His work appears consistently in top-tier venues such as ICSE, ESEC/FSE, EASE, and SANER, demonstrating significant recognition within the software engineering research community.

پروفایل رسمی دانشگاه