Find Academic Supervisors

Jan VitekView profile

Professor

• Programming Languages
• Real-time embedded systems
• Concurrent and distributed systems
• +6 more

Jan Vitek is a Professor of Computer Science at Northeastern University's Khoury College of Computer Sciences. He also holds an appointment at Charles University in Prague supported by an ERC.CZ grant. With a background rooted in Czechoslovakia (birth) and Switzerland (education), Prof. Vitek has established himself as a leading researcher in programming languages and systems. Prof. Vitek's research spans programming language design, implementation, and application across multiple domains. His work has significantly impacted real-time embedded systems, concurrent and distributed systems, and more recently, scalable data analytics. He has published extensively in top venues including Programming Languages, Virtual Machines, Compilers, Software Engineering, Real-time Computing, and Bioinformatics. His publication record shows a clear evolution from foundational work on programming language theory to practical implementations and modern data science applications. Early work focused on ownership types and real-time Java systems, while recent publications center on dynamic languages (particularly R and Julia), compiler optimizations, and large-scale code analysis. His research demonstrates consistent innovation in bridging theoretical foundations with practical implementations. Selected Awards: Dahl-Nygaard Senior Prize (2020) ACM SIGPLAN Distinguished Service Award (2019) ECOOP Test of Time Award (2018) ISSTA Distinguished Artifact Award (2018) OOPSLA Distinguished Artifact Award (2017) As an advisor, Prof. Vitek has mentored numerous PhD students through successful thesis defenses on topics ranging from type stability in Julia to analyzing large code repositories. He has also been deeply involved in the research community through conference organization, having chaired major events including SPLASH, PLDI, ECOOP, ISMM and LCTES. Currently serving as Editor in Chief of TOPLAS, he continues to shape the field while actively conducting research with his team at the PRL lab. His research group, the PRL (Programming Research Laboratory) and PRL-PRG, focuses on creating beautiful code that solves real-world problems, with particular emphasis on making software development more efficient, reliable, and accessible.

Mohamed Faouzi AtigView profile

Professor

• Formal Verification
• Concurrency
• Model Checking
• +7 more

Mohamed Faouzi Atig is a Professor in Computer Systems at the Department of Information Technology , Uppsala University since July 2021. Previously, he served as Senior Lecturer (Associate Professor) from June 2018 to June 2021 and as Associate Senior Lecturer (Assistant Professor) from June 2014 to May 2018. Current: Professor, Uppsala University (2021–present) Senior Lecturer, Uppsala University (2018–2021) Associate Senior Lecturer, Uppsala University (2014–2018) Researcher, Uppsala University (2012–2018) Post-doctoral Researcher, Uppsala University (2010–2012) Education : PhD in Computer Science from University of Paris Diderot-Paris 7 (2010) Docent (Habilitation) in Computer Systems from Uppsala University (2017) Research Interests : A multidisciplinary researcher in Formal Verification , focusing on Model Checking and Automata Theory for Concurrency and Weak Memory Models . His work spans Formal Methods , Software Verification , and Logics for system correctness. Publication Trends : His recent works (2015–2024) analyze Hardware Memory Models (Intel-x86, TSO), String Constraint Solving , and Stateless Model Checking under relaxed memory semantics. He applies Automata Theory to Persistent Memory verification and Concurrency problems. Committee Roles : Active in program committees for POPL (2020–2025), PLDI (2017–2024), and VMCAI (2017).

Jonathan AldrichView profile

Professor

• Programming Languages
• Software Engineering
• Verification
• +3 more

Jonathan Aldrich is a Professor at Carnegie Mellon University's School of Computer Science, with joint appointments in the Software and Societal Systems Department and Computer Science Department. He directs the Master of Software Engineering program (as of July 2025) and previously led the Software Engineering Ph.D. program. Aldrich teaches courses in programming languages, software engineering, and program analysis. Education: Ph.D. in Computer Science and Engineering, University of Washington (2003) M.S. in Computer Science and Engineering, University of Washington (1999) B.S. in Engineering and Applied Science (Computer Science), Caltech (1997) Research Focus: Aldrich's work bridges programming languages and software engineering to improve software quality and productivity. His research explores how structural and behavioral design aspects can be expressed in source code, enabling better tooling and error reduction. Key innovations include gradual verification systems, typestate-oriented programming, and ownership models for security. His projects span blockchain safety (Obsidian), concurrency (AEminium), and visualization (Penrose). Publication Trends: Aldrich's 15 most recent articles reflect a strong emphasis on language-based security, formal verification (especially gradual verification techniques), and human-centered language design. His work increasingly integrates empirical studies to evaluate usability in advanced type systems. Awards: NSF CAREER Award (2006) Dahl-Nygaard Junior Prize (2007) ICSE Most Influential Paper Award (2012) DARPA Computer Science Study Group (2007) William Chan Memorial Dissertation Award (2003) Leadership & Service: Aldrich directs graduate programs, co-authored the textbook 'Programming Language Pragmatics,' and serves on the ACM Publications Board. As CTO of Noteful, he develops educational music technology. He has chaired program committees for OOPSLA, ECOOP, and SPLASH conferences.

• Digitalization in Education
• Teacher Professionalization
• Cognitive Linguistics
• +3 more

Linda von Sobbe is a Researcher at the German Institute for Adult Education (DIE) since 2023, focusing on digitalization-related professionalization of teachers and cognitive linguistics. She holds an M.A. in German Linguistics and a B.A. in German and International Literatures from the University of Tübingen , where she completed her PhD in 2022 in the SFB 833 "Meaning Constitution" project on Language Processing and Time Cognition. Her research prioritizes amodal mental representations of linguistic meaning, grounded cognition theories, and the psychological dimensions of time perception.

James M. BurginView profile

Researcher

• Hittitology
• History of the Hittites
• Economic and Administrative History
• +6 more

Dr. James M. Burgin is a researcher at the University of Würzburg, where he serves as Head of the DFG Emmy Noether Junior Research Group 'The Hittite Annals: Origins, Purpose, and Afterlife' since 2021. He is affiliated with the Chair of Ancient Near Eastern Studies within the Institute of Classical Studies in the Faculty of Philosophy. Previously, he worked as a Research Assistant (leader) from 2017-2021 on the philological processing and analysis of the Hittite palace administration corpus. Born on October 9, 1984, Burgin earned his BA in South Asian Language and Civilization with a focus on Sanskrit from the University of Chicago (2002-2006), followed by an MA in Ancient Near Eastern Studies with a focus on Hittite studies (2008-2010). He completed his doctorate at the University of Chicago in 2016 with a dissertation titled 'Aspects of Religious Administration in the Hittite Late New Kingdom.' Burgin's research spans multiple dimensions of Hittite and Ancient Near Eastern studies, with particular expertise in Hittitology, the history of the Hittites, economic and administrative history, and Hieroglyphic Luwian. His work demonstrates a sophisticated understanding of the interplay between linguistic, historical, and archaeological evidence. He has made significant contributions to understanding Hittite festival texts, economic administration, textile production, and linguistic phenomena such as the 'Initial-A-Final' in Hieroglyphic Luwian. His research often bridges disciplines, connecting linguistic analysis with historical context and material culture. His recent publications reveal a trajectory of increasingly sophisticated analysis of Hittite textual corpora, with a growing emphasis on interdisciplinary approaches that incorporate linguistic, historical, and archaeological perspectives. Burgin's work on the Hittite palace-temple administrative corpus has challenged conventional understandings of royal administration, while his linguistic studies have illuminated previously obscure aspects of Anatolian languages. Röntgen Prize of the University of Würzburg (2022) Burgin has been involved in significant research projects including the Corpus of Hittite Festival Rituals (2016-17) and the DFG-funded project on the Hittite palace administration corpus (2017-21). As leader of his Emmy Noether Research Group, he directs a major investigation into the Hittite Annals, examining their origins, purpose, and historical legacy. His work has been supported by prestigious funding mechanisms including the DFG Emmy Noether Program, which targets exceptional early-career researchers. As head of his research group, Burgin leads a team investigating the complex textual tradition of the Hittite Annals, which document the military campaigns and political activities of Hittite kings. His research environment combines philological expertise with interdisciplinary approaches to understanding Bronze Age Anatolian civilization.

• Political Communication
• Climate Policy
• Deliberation
• +4 more

Henri Mütschele is a Researcher at the Department of Communication and Media Studies, Institute of Social Sciences, Heinrich Heine University Düsseldorf (HHU), and a Research Associate in the Polarization Research Program at the Center for Advanced Internet Studies, Bochum. His work focuses on deliberative argumentation structures, persuasion in political communication, and the dynamics of climate movements in Germany. BA in Sociology, Politics & Economics, Zeppelin University MA in General Rhetoric, University of Tübingen MA in Legal & Political Theory, University College London His research examines how argumentative schemes in public discourse influence individual opinion formation, particularly in climate politics and social movement communication. He investigates the interplay between strategic and deliberative communication, polarization, and the role of enemy images in political agonism. His publications address interactivity in online deliberation, climate policy advocacy, and narrative components of deliberative discourses. Henri has presented at conferences including the International Communication Association (ICA), European Communication Research and Education Association (ECREA), and the 4th European Conference on Argumentation. His teaching experience spans seminars on climate movement dynamics, deliberative decision-making, and foundational courses in communication and media studies. Scientific Awards: Friedrich Ebert Foundation Scholarship (2014–2019) Henri is affiliated with institutions such as the Düsseldorf Institute for Internet and Democracy (DIID), German Society for Journalism and Communication Studies (DGPuK), and the Young Talents Network for Political Communication (NapoKo). He is currently completing his PhD on post-deliberative opinion formation through persuasive argumentation in climate movement communication.

Regina StoddenView profile

Research Fellow

• Text Simplification
• Online Participation
• Web Accessibility
• +6 more

Regina Stodden is a Research Fellow at the Department of Computational Linguistics, Heinrich Heine University Düsseldorf, since January 2019. She is affiliated with the NRW Research College for Online Participation (second funding phase) and works under the supervision of Prof. Dr. Marc Ziegele. Education: B.A. in Educational Science, Text Technology, and Computational Linguistics from Bielefeld University M.A. in Information Science and Language Technology from HHU Düsseldorf Her research focuses on automatic text processing , particularly text simplification for online discussions. This includes: Enabling participation for people with limited German proficiency Reducing manual workload in text analysis Exploring accessibility in Open Data portals She has contributed to tools like TS-ANNO for corpus annotation and EASSE-DE for simplification evaluation, with recent work extending to CEFR-based language proficiency assessment . Her research intersects Natural Language Processing , Machine Learning , and Usability Studies , often addressing accessibility challenges in digital participation. Scientific awards: No explicit awards mentioned. Advising and grants: Participates in the NRW Research College for Online Participation funding program and collaborates under Prof. Dr. Laura Kallmeyer's supervision. Her work involves grants related to text simplification for online participation processes.

Eva-Maria EngelView profile

Lecturer

• Educational Psychology
• Child Development Psychology
• Self-concept Assessment in Children
• +4 more

Dr. Eva-Maria Engel is an academic staff member at the University of Education Schwäbisch Gmünd, working in the Department of Educational Psychology, Counseling and Intervention. She joined the institution in October 2011 and holds office hours on Wednesdays from 9:00-10:00 AM by appointment. Her academic work focuses on the intersection of educational psychology and early childhood development. Dr. Engel's research interests center on educational psychology, child development, self-concept assessment in children, diagnostic methods in early childhood education, and social-emotional competencies. Her work bridges theoretical research with practical applications in kindergarten settings, particularly through the development and validation of assessment tools for measuring children's self-concept. Her publication record shows a consistent focus on child psychology, with particular emphasis on developing and validating the Self-Concept Questionnaire for Children (SKF). Her research demonstrates strong methodological rigor in psychometric validation while maintaining practical relevance for educational settings. Recent publications (2019-2021) focus increasingly on practical applications of self-concept measurement in daycare centers, showing an evolution from pure research to implementation science. Dr. Engel has received notable recognition including the Brigitte Schlieben-Lange doctoral scholarship from the Ministry of Science, Research and Art of Baden-Württemberg (2010-2012). Her collaborative work with researchers like G. Aich and E. Merget demonstrates strong networking within her field. Her teaching responsibilities include research methods, diagnostics, developmental psychology, and counseling, reflecting her expertise across both theoretical and practical aspects of educational psychology. She completed her doctoral dissertation titled 'The Self-Concept Questionnaire for Children (SKF) - Development, Application and Psychometric Validation' in May 2015.

Andrea SteckView profile

Senior Lecturer

• Literacy Acquisition
• Reading Comprehension
• Early Childhood Language Development
• +3 more

Andrea Steck serves as a Senior Lecturer in the Department of German at the University of Education Schwäbisch Gmünd, holding the academic rank of Akademische Oberrätin. Her position encompasses teaching responsibilities, research activities, and academic administration within Germany's teacher education framework. Her research program centers on literacy acquisition from birth to seven years, with concentrated expertise in reading comprehension development, diagnosis of reading and writing difficulties (LRS), and evidence-based teacher training methodologies. She developed a professional development framework for reading comprehension instruction as the core of her dissertation work, establishing her focus on bridging theoretical research with classroom application. Analysis of her publication trajectory reveals consistent emphasis on practical assessment tools and intervention strategies for early literacy challenges. Her recent work prioritizes reading fluency measurement, individualized support systems for struggling readers, and the implementation of metacognitive strategies in primary classrooms, demonstrating evolving sophistication in addressing comprehension difficulties. Dr. Steck actively contributes to academic governance as a member of the University Council and serves as the administrative lead for the German subject area (Deutsch-Tutorat). Her teaching extends beyond standard curriculum to include the part-time Bachelor's and Master's programs in Integrative Learning Therapy, where she trains future specialists in literacy intervention.

• Numerical Mathematics
• Data Assimilation
• Hamiltonian Dynamics
• +5 more

Sebastian Reich is a Professor of Numerical Analysis at the University of Potsdam and holds an honorary Visiting Professorship at Imperial College London . He leads the Chair of Numerical Mathematics and serves as Editor-in-Chief of the SIAM/ASA Journal on Uncertainty Quantification since 2021. Research Interests Numerical methods for Hamiltonian systems Data assimilation in geoscience Stochastic particle filters Bayesian inference algorithms Molecular dynamics simulation Multi-scale modeling Collaborative Projects : Principal Investigator and former Speaker (2017-2024) of SFB 1294 Data Assimilation , a DFG-funded Collaborative Research Center Active participant in SFB 1114 Scaling Cascades in Complex Systems at Freie Universität Berlin Books Authored : Probabilistic Forecasting and Bayesian Data Assimilation (Cambridge UP, 2015) Simulating Hamiltonian Mechanics (Cambridge UP, 2005) Technical Contributions : Development of symplectic integration methods Innovations in ensemble Kalman filtering Regularization approaches for geophysical models Stochastic algorithms for molecular simulations

Lutz HellmigView profile

Researcher

• Computer Science Education
• Didactics of Computer Science
• Teacher Training
• +3 more

Lutz Hellmig serves as a researcher at the University of Rostock's Institute of Computer Science within the Faculty of Computer Science and Electrical Engineering. His office is located in Konrad-Zuse-Haus Room 252 at Albert-Einstein-Straße 22, 18059 Rostock. He maintains active roles across multiple university governance bodies including as Senate member of the University of Rostock, Deputy Chair of the Senate Commission for Studies and Teachers, and membership in the Study Commission of both the Faculty of Computer Science and Electrical Engineering and the Institute of Computer Science. Dr. Hellmig's research interests focus on computer science education methodology, particularly the development of structured learning frameworks like his "Using-Analysing-Creating-Embedding" approach. His work significantly contributes to educational standards for computer science in German schools, with active participation in the GI Working Group for Educational Standards in Computer Science for Secondary Schools. He specializes in teacher training programs, blended learning methodologies, and the implementation of computer science curriculum in school systems. Analysis of his publication trends (2006-2021) reveals a consistent focus on practical applications of computer science education, with increasing emphasis on national curriculum development and educational standards. His work bridges theoretical pedagogy with practical classroom implementation, particularly evident in his contributions to establishing computer science as a compulsory subject in German schools. The publications demonstrate methodological innovation in structured learning sequences and teacher professional development. Dr. Hellmig holds significant leadership positions in educational reform initiatives, including membership in the speaker teams for both the Specialist group "Information Technology Education in Mecklenburg-Western Pomerania" and the GI expert committee "Information Technology Education in Schools." His committee work extends to the Center for Teacher Education and Educational Research and the Central Examination Board for Teacher Training. His professional journey began as a graduate teacher of computer science, mathematics, and physics in school service from 1989 to 2008. He transitioned to university-level work in 2006, formally joining the Institute of Computer Science in 2008, and completed his doctorate (Dr. rer. nat.) in 2012 with research focused on mathematics teacher training. His expertise spans both school-level computer science education and higher education teacher development programs.

Joachim FalkView profile

Researcher

• Electronic System Level Design
• Hardware-Software Co-Design
• Data-Flow Graphs
• +6 more

Joachim Falk is a researcher at the Department of Hardware-Software Co-Design (Computer Science 12) at Friedrich Alexander University Erlangen-Nuremberg. With over 20 years of experience since joining the department in 2004, he specializes in electronic system level design, dataflow programming, and hardware-software co-design, contributing significantly to the field through publications, teaching, and research leadership. His educational background includes: Doctorate degree (Dr.-Ing.) in Computer Science from FAU (2014) Diploma degree in electrical engineering (data processing) from Georg-Simon-Ohm University of Applied Science Nuremberg (2002) Falk's research focuses on Electronic System Level Design, Hardware/Software Code Generation for Data-Flow Graphs, Compiler Optimizations, and Parallel Architectures. His work bridges theoretical computer science with practical embedded systems implementation, particularly through the SystemC framework and his contributions to the SysteMoC language. He actively explores energy-efficient computing approaches for dataflow networks and embedded systems, with recent work emphasizing self-powering networks, clock and power gating techniques, and multi-reader buffer implementations for heterogeneous architectures. His recent publication trends reveal a consistent focus on optimizing dataflow networks for energy efficiency and performance. Key themes include self-powering dataflow networks, innovative clock and power management techniques, buffer management strategies for heterogeneous many-core systems, and invasive computing approaches. His research demonstrates a strong connection between theoretical models and practical implementation challenges in embedded systems design. Dr. Falk teaches courses including 'Entwicklung interaktiver eingebetteter Systeme' (Development of Interactive Embedded Systems) for Winter Semester 2024/2025 and 'SystemC' for Summer Semester 2024, supervising multiple theses on security modeling at the electronic system level and sleep/wake-up strategies for hardware implementations of dataflow networks. His research is conducted within the framework of projects like SysteMoC (representation of computational models in SystemC) and SystemCoDesigner (design space exploration for embedded systems).

• Iranian Theatre History
• Gender Studies in Iranian Theatre
• 20th Century Persian Drama
• +4 more

Dr. Anna Heller serves as a Research Fellow at the Department of Iranian Studies within the Center for Near and Middle Eastern Studies (CNMS) at Philipps University of Marburg, a position she has held since fall/winter 2021. She teaches Persian language courses and specialized seminars on Iranian history, culture, and theatre for BA and MA programs across multiple semesters through SoSe 2025. Her academic credentials include a PhD in Iranian Studies (2021) from Otto Friedrich University of Bamberg with the dissertation "Nationalism on Stage: The New Iranian Drama as a Forum of National-Secular Discourse in early Pahlavi rule," complemented by an MA (2012-2014) and BA in Oriental Studies (2011-2012) from Philipps University of Marburg, and a BA in Iranian Studies (2008-2011) from the University of Hamburg. Dr. Heller's research centers on 20th-century Iranian theatre with rigorous focus on gender representation, national identity construction, and women's biographies in theatrical contexts. Her current project develops a gender-inclusive theatre biography of Loreta Hayrapetiyan and Abdolhoseyn Nushin, while her broader work examines politicization processes in Iranian popular culture through frameworks of social identity and gender performance during the Pahlavi era. Her publication trajectory reveals consistent engagement with theatre as a political and cultural battleground in modern Iran, demonstrated through her 2023 monograph on nationalism in early Pahlavi theatre and forthcoming 2025 article on female pioneers. These works synthesize cultural history, gender theory, and literary analysis to map the evolution of Iranian stage arts as sites of social commentary. Her scholarly recognition includes: Gerda Henkel Foundation Doctoral Scholarship (2015-2018) for research on nationalism in early Pahlavi Iranian theatre Through continuous teaching since 2014 and active committee service—including membership on FB 10 Faculty Council since 2024 and CNMS Study Committee since 2022—she contributes significantly to academic governance while mentoring students through specialized coursework on Iranian society and culture. As a core member of CNMS, she drives interdisciplinary scholarship through co-organization of major workshops including the 2024 "Stages of Performing in Pahlavi Iran (1925-1979)" and November 2024 "Cultural History of Late Pahlavi Iran," establishing vital platforms for international scholarly exchange on Iranian cultural history.

• Causal Inference
• Artificial Intelligence
• Machine Learning
• +3 more

Jonas Gottal is a Research Associate at the Chair of Software Engineering for Business Information Systems within the School of Computation, Information and Technology at Technical University of Munich (TUM). He earned a bachelor's and master's degree in Computer Science from Ludwig-Maximilian University (LMU) Munich, complemented by an Erasmus exchange program at INSA Lyon, France, and a master's thesis on explainable AI methods for black box models at Siemens. Education: BSc/MSc in Computer Science (LMU Munich) Experience: Data Science & AI roles in consulting, finance, and industry His research focuses on causal reasoning and causal structure discovery from unstructured data, leveraging large language models (LLMs) for mathematical reasoning, synthetic data generation, and decision-making applications in medical and business domains. Jonas contributes to the AI-Based Knowledge Assistant for Cancer Care (Aidvice) project, collaborating with the TUM University Hospital. Contact details: Room FMI 01.12.57, phone +49 89 289-17105, email jonas.gottal@tum.de . Office hours available by appointment.

Vladimir GolkovView profile

Researcher

• Deep Learning
• High-Dimensional Data
• Geometric Data
• +6 more

Dr. Vladimir Golkov is a Postdoctoral Researcher at the Technical University of Munich (TUM) within the School of Computation, Information and Technology, specifically in Informatics 9 (Computer Vision Group). He works under the supervision of Prof. Dr. Daniel Cremers and maintains an active research profile in deep learning applications for medical imaging and biomedical data analysis. His primary research interests focus on deep learning since 2014, with specialization in high-dimensional and geometric data structures, data-processing goals beyond supervised learning (including clustering and anomaly detection), and applications in biomedicine and physics. Dr. Golkov has successfully mentored students who have gone on to pursue PhD studies at prestigious institutions including TUM, LMU, Mila, ETHZ, Cambridge, and Stanford. Analysis of his recent publications reveals a strong trend toward medical imaging applications, particularly in MRI technology, where he combines deep learning approaches with traditional physics-based methods. His work frequently bridges the gap between theoretical machine learning advances and practical medical applications, with significant contributions to diffusion MRI, sequence optimization, and 3D data processing. He has also expanded into emerging areas including large language models for medical applications and equivariant deep learning architectures. Dr. Golkov receives grant support from the Deutsche Telekom Foundation and maintains an active publication record with numerous contributions to leading conferences including ISMRM, MICCAI, and NeurIPS workshops. His research demonstrates a consistent trajectory of innovation at the intersection of computer vision, deep learning, and biomedical applications. He is actively involved in teaching and mentoring, with students from his projects advancing to top PhD programs worldwide. His office is located at Boltzmannstrasse 3, 85748 Garching, Germany (Office: 02.09.061), and he can be contacted at vladimir.golkov@tum.de.