Find Academic Supervisors

Michael LaxyView profile

Professor

• Public Health
• Epidemiology
• Health Economics
• +4 more

Prof. Michael Laxy is a Professor of Public Health and Prevention at the Technical University of Munich (TUM), affiliated with the TUM School of Medicine and Health. He holds an adjunct professorship at Emory University (USA) and previously conducted research at the Helmholtz Zentrum München and the CDC. His work focuses on chronic disease prevention, healthcare economics, and policy evaluation. He completed studies in sports science, public health, epidemiology, and economics at TUM, LMU Munich, and FernUniversität Hagen. Research interests include analyzing determinants of chronic diseases, evaluating intervention effectiveness, and assessing health equity in diabetes prevention. He has led studies on lifestyle interventions, cost-effectiveness of diabetes programs, and the impact of dietary policies. Awards include the American Diabetes Association Young Investigator Award and the HELENA Graduate Award. Key publications address topics like Mendelian randomization in health economics, machine learning for predicting cardiovascular outcomes in diabetes, and policy modeling for public health interventions. He collaborates on projects such as the ACHT initiative for bariatric surgery follow-up and the IMPLEMENT project for oncological exercise therapy. His work integrates quasi-experimental designs, simulation modeling, and real-world data analysis to inform healthcare policy and practice.

Thomas FässlerView profile

Professor

• Inorganic Chemistry
• Materials Science
• Zintl Phases
• +5 more

Prof. Thomas Fässler is a Professor of Inorganic Chemistry with a focus on New Materials at the Technical University of Munich (TUM) , within the TUM School of Natural Sciences . His research centers on synthesizing and characterizing inorganic solids and molecular compounds, particularly Zintl phases and main-group element-based materials for applications in energy storage, solar cells, superconductors, and catalysts. Education: Studied Chemistry and Mathematics at the University of Konstanz (B.Sc./M.Sc.), earned a Ph.D. in Chemistry from Heidelberg University (1988), and completed habilitation in Inorganic Chemistry at ETH Zurich (1999). Prior to TUM, he held a professorship at TU Darmstadt (2000–2003). Administrative roles include leading TUM’s elite program in Advanced Materials Science (since 2004), serving as Dean of Studies (2007–2010), and membership in the board of the Wöhler Association for Inorganic Chemistry (GDCh), including a term as Chair (2010–2014). Notable awards include the Arfvedson-Schlenk Prize (2023), election to the Bavarian Academy of Sciences (2023), Rudolf-Hoppe Lectureship (2022), and the Wilhelm Klemm Prize (2015). His research group explores novel materials via interdisciplinary approaches, with a focus on Zintl ion chemistry, ionic conductors, and cluster-based compounds. Recent work highlights fast ion-conducting materials for battery applications and structural studies of complex inorganic solids.

Samuel GreiffView profile

Professor

• Educational Monitoring
• Artificial Intelligence in Education
• 21st Century Skills
• +3 more

Prof. Samuel Greiff holds the Chair of Educational Monitoring & Effectiveness at the Technical University of Munich (TUM) since October 2024. He leads the Center for International Educational Studies (ZIB) and oversees Germany's PISA implementation. Previously, he directed the 'Educational Psychology & Artificial Intelligence' unit at Goethe University Frankfurt and the 'Cognition, Learning, & Educational Assessment' group at the University of Luxembourg. His research focuses on systemic educational challenges, AI integration in education, and 21st-century skill development through international studies like PISA and PIAAC. Key awards include the OECD Exceptional Innovation Award (2014) and ATTRACT Fellowship (2012-2018). Greiff's work bridges psychological research with policy, emphasizing data-driven reforms for equity and efficiency. His team analyzes cognitive processes via log-file data from computer-based assessments, uncovering strategies in problem-solving and skill application. Recent publications explore AI's impact on learning, teacher education innovations, and cross-cultural comparisons of parenting and burnout dynamics. He collaborates globally on initiatives like OECD's PISA-VET program for vocational education assessments.

Tina SeidelView profile

Professor

• Educational Technology
• Simulation-Based Learning
• Professional Vision Development
• +3 more

Prof. Dr. Tina Seidel holds the Friedl Schöller Endowed Chair of Educational Psychology at TUM's School of Social Sciences and Technology. She leads the TUM Center for Educational Technologies, directing the Evidence in Practice department and the Clearing House for Instruction since 2023. Her research focuses on digital educational technologies, simulation-based learning, and teacher professional vision. She earned her doctorate from the IPN in Kiel (2002) and held prior positions at Stanford University and the University of Jena. Key awards include the AERA Review of Research Award (2008) and Jacobs Foundation Young Talent Award (2005). Her work bridges cognitive theory with practical educational applications, emphasizing evidence-based teaching practices. Current projects explore AI in education, adaptive learning systems, and teacher training innovations. She advises the Bavarian Business Association’s Action Council for Education and contributes to national education policy.

Junpeng WangView profile

Research Fellow

• lightweight structural design
• structural optimization
• scientific visualization
• +5 more

Dr. Junpeng Wang is a Postdoctoral Researcher (since June 2023) in the Chair of Computer Graphics and Visualization at the Technical University of Munich, working under Prof. Rüdiger Westermann. Previously, he completed his PhD at the same institution from November 2018 to June 2023. His research focuses on lightweight structural design and optimization with geometry-based approaches, as well as scientific visualization of tensor and mesh data. Wang's research interests span lightweight structural design , structural optimization , and scientific visualization . His work integrates computational mechanics with computer graphics to develop novel methods for stress analysis, lattice structure optimization, and 3D data visualization. His research has practical applications in mechanical engineering, additive manufacturing, and scientific data analysis. His publication portfolio shows a strong trend toward integrating machine learning with traditional computational mechanics methods, particularly in the areas of 3D Gaussian Splatting and neural data structures. Wang has developed the 3D-TSV (3D Trajectory-based Stress Visualizer), a significant tool for exploring principal stress directions in 3D solids under load, which has been published in Advances in Engineering Software (2022). Wang serves as a reviewer for prestigious journals including IEEE Transactions on Visualization and Computer Graphics (TVCG), Computer Methods in Applied Mechanics and Engineering (CMAME), Journal of Mechanical Design (JMD), Optics Express (OPTE), Computer-Aided Geometric Design (CAG), and Shape Modeling International Conference (SPM[C]). His collaborative work primarily involves Prof. Rüdiger Westermann at TUM and Jun Wu at other institutions, demonstrating strong interdisciplinary connections between computer graphics and mechanical engineering research groups.

• Ballet Technique
• Dance Education
• Classical Ballet
• +3 more

Prof. Juliana Sabino Wilhelm is a Professor of Ballet at Palucca Hochschule für Tanz Dresden since 2019, with prior artistic staff tenure since 2015. Born in Rio de Janeiro, Brazil, she holds an MA in Dance Teaching (Ballet) from Palucca and trained at institutions like the School of American Ballet. Her career includes performances with Semperoper Ballett, AVA Dance Company, and Das Deutsche Fernsehballett. She teaches within the MA Dance Teacher program, emphasizing Vaganova and Balanchine methodologies fused with contemporary insights. Her pedagogical focus centers on individualized student development, prioritizing musicality, expressiveness, and technical precision. Education Highlights: Spinelli escola de dança (Rio), School of American Ballet (NY), and Palucca's MA program. Teaching Qualifications include mentorship in ballet methodology and roles as a competition jury member and guest trainer across institutions. Awards: None explicitly listed in provided text. Research/Labs: Focus on ballet pedagogy and artistic development through methodological synthesis. Grants/Future Work: Unspecified in text.

• Modeling and verification of reactive systems
• Probabilistic model checking
• Stochastic systems analysis
• +7 more

Christel Baier is a full professor and head of the Chair for Algebraic and Logical Foundations of Computer Science at TU Dresden since 2006. She holds a Diploma in Mathematics (1990), PhD (1994), and Habilitation (1999) from the University of Mannheim. Previously, she was an associate professor at the University of Bonn (1999–2006). She serves as Dean of the Faculty of Computer Science at TU Dresden (2025–2027) and has held leadership roles including Vice-Dean (2019–2024). Her research focuses on formal methods, probabilistic systems, and verification, with notable contributions in probabilistic model checking, temporal logics, and automata theory. She has received prestigious awards such as the Honorary Doctorate from RWTH Aachen (2022) and the Jean-Claude Laprie Award (2023). She leads major projects like SEMECO (Zukunftscluster) and contributes to initiatives like the Collaborative Research Center for Tactile Internet. Her editorial roles include editorship of Acta Informatica and ACM SIGLOG News . Baier's work bridges theoretical foundations with practical applications in system dependability and software engineering. She actively participates in international conferences and program committees, emphasizing the synthesis and analysis of component-based systems.

Claire WagnerView profile

Professor

• Environmental Psychology
• Social Research Methodology
• Pro-Environmental Behaviour
• +4 more

Claire Wagner is a full-time Professor in the Department of Psychology at the University of Pretoria since 2019. She previously held positions as Associate Professor (2010-2018) and Acting Head of Department (2017-2018). Education: Master’s in Research Psychology and Doctorate in Psychology. Research Focus: Combines environmental psychology with social research methodology, emphasizing pro-environmental behavior and urban sustainability. Current research includes recycling behavior, water-sensitive urban design, and collaborations with the Council of Scientific and Industrial Research (CSIR). Key Publications (2016-2020): Focus on recycling dynamics, interdisciplinary mentoring, cross-cultural environmental attitudes, and urban fuel practices. Recent work explores policy impacts and community engagement in Pretoria. Awards: Humanities Teaching Excellence Award (2020), C2 NRF Researcher Rating (2019), multiple conference awards for environmental psychology contributions. Grants: Received funding from South Africa's Department of Higher Education for interdisciplinary teaching programs. Active in conservation through the Friends of the Colbyn Wetland committee, combining education and wetland preservation efforts.

• Classical Archaeology
• Roman Sculpture
• Domestic Decorative Art
• +6 more

Dr. Julio César Ruiz Rodríguez is a Research Associate in Classical Archaeology at the Institute of Archaeology and Cultural Anthropology, University of Bonn, where he leads the MSCA-IF project 'LIVING WITH ART – Domestic Decorative Sculpture in the Western Roman Empire.' His work focuses on reconstructing display practices, sociocultural dynamics, and economic processes related to domestic art in Roman provinces. Education: Ph.D. in Classical Archaeology, Autonomous University of Barcelona & Rovira i Virgili University (2022), thesis: 'Free-standing and Relief Roman Sculptures from Tarragona.' Master's in Classical Archaeology, Autonomous University of Barcelona & Rovira i Virgili University (2016), thesis: 'The Epigraphic Environment of the Colonial Forum of Tarraco during the Julio-Claudian Period.' Bachelor's in Humanities and Origin Studies, University of Castilla-La Mancha (2014), thesis: 'The Private Cult in the Roman Domestic Sphere.' His research interests span Roman sculpture, epigraphy, domestic and funerary landscapes, and cultural identity in Roman Hispania. He employs interdisciplinary methods, including archaeometry, to analyze marble provenance and statue reconstruction. His work bridges art historical analysis with socio-cultural interpretation, particularly in provincial urban centers like Tarraco (modern Tarragona). The most recent publications reflect a strong focus on Roman sculptural displays in public and domestic contexts, funerary iconography, and the material culture of religious practices. His articles frequently analyze artifacts from Tarraco, highlighting its role as a provincial capital and cultural hub. There is a clear trend toward integrating scientific analysis with traditional archaeological methods, as seen in co-authored archaeometric studies. Scientific Awards: Marie Skłodowska-Curie Actions Individual Fellowship (MSCA-IF) for project LIVART (no. 101207732) Dr. Ruiz has advised and tutored students through distance learning programs at UNED, Madrid. Although no specific grants are listed beyond the MSCA-IF, his project is funded by a competitive European fellowship. He has not listed formal advisees, but his academic roles suggest mentorship experience. He is actively involved in collaborative research, contributing to corpora such as the Corpus Signorum Imperii Romani . He is affiliated with research teams working on the archaeological heritage of Tarragona and participates in interdisciplinary projects combining art history, archaeology, and materials science. His work at the Museu Nacional Arqueològic de Tarragona and collaborations with institutions in Spain and Germany indicate strong integration into international scholarly networks.

Vivien HohbergView profile

Researcher

• Exercise Science
• Lifestyle Interventions
• Type 2 Diabetes Management
• +6 more

Dr. Vivien Hohberg is a researcher at the Institute of Movement and Neuroscience at the German Sport University Cologne. She is actively involved in research related to lifestyle interventions, physical activity, and metabolic health, particularly in patients with type 2 diabetes. Her work spans behavioral, physiological, and digital health domains. Her research interests focus on understanding and improving physical activity behavior through structured interventions. These include personal health coaching, digital health tools, and systematic evaluations of lifestyle programs. She investigates their impact on clinical outcomes such as glycated hemoglobin (HbA1c) and overall well-being, particularly in chronic conditions like type 2 diabetes and chronic pain. Dr. Hohberg's recent publications demonstrate a strong trend toward evidence synthesis and intervention efficacy. Her work frequently employs systematic reviews and meta-analyses to evaluate the effectiveness of physical activity promotion strategies. She also contributes to foundational research on the psycho-physiological mechanisms underlying human motivation and exercise behavior. She has collaborated with prominent researchers in sports medicine and behavioral health, including Oliver Faude and Markus Gerber. Her research is published in high-impact journals such as Sports Medicine , Physiological Reviews , and Journal of Science and Medicine in Sport . Dr. Hohberg advises on research projects and contributes to interdisciplinary teams focused on movement science and health promotion. While specific grant funding is not mentioned, her publication record suggests active involvement in externally supported research initiatives. She is part of the Institute of Movement and Neuroscience, which conducts cutting-edge research integrating neuroscientific, psychological, and physiological perspectives on human movement and health behavior.

Zachary TatlockView profile

Associate Professor

• Programming Languages
• Formal Verification
• Compiler Optimization
• +5 more

Zachary Tatlock is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington. He leads the UW PLSE research group and focuses on making programming languages and compilers more accessible through formal verification and practical tool development. Current affiliations: University of Washington (Paul G. Allen School) Academic rank: Associate Professor His research spans programming languages, compiler optimization, and formal verification, with recent work on: E-Graphs and equality saturation for program synthesis Floating-point error analysis and accuracy optimization Accessible web layout verification using formal logic Hardware-software co-design for compiler generation His recent publications demonstrate expertise in both theoretical foundations (congruence closure proofs, anti-unification) and practical implementations (Odyssey tool for FP rewriting, Titanic framework for number systems analysis). Collaborations span institutions like Adobe and involve rigorous formal verification in Coq and CakeML.

Chandrakana NandiView profile

Assistant Professor

• programming languages
• compilers
• computational geometry
• +5 more

Chandrakana Nandi is the Director of US R&D at Certora and an Affiliate Assistant Professor at the University of Washington (UW), Seattle. She earned her PhD from the UW PLSE group under advisors Zachary Tatlock and Dan Grossman. Education & Affiliation PhD in Computer Science (2021) from University of Washington MS in Computer Science (2014) from Georgia Institute of Technology BS in Computer Science (2012) from Georgia Institute of Technology Research Interests Her work focuses on automated formal verification for real-world programs, particularly DeFi applications. She develops verification tools for languages like WASM and uses mutation testing to simplify specification writing. She pioneered equality saturation applications in synthesis, verification, and optimization through projects like egg and Ruler . Her computational fabrication research includes LambdaCAD and Reincarnate. Publications & Awards Distinguished Paper Award (OOPSLA 2021) Distinguished Paper Award and Sigplan Research Highlight (POPL 2021) Community Involvement She chairs sessions at PLDI and OOPSLA, co-organizes EGRAPHS workshops, and contributes to the egg open-source library. Her NSF grants (#1813166, #1644558) and Adobe Research Fellowship support her work. Contact Email: chandra@certora.com

Arjun GuhaView profile

Associate Professor

• Programming Languages
• Program Synthesis
• Low-Resource Programming Languages
• +3 more

Arjun Guha is an Associate Professor of Computer Science at Northeastern University's Khoury College of Computer Sciences, where he also serves as Area Chair for Software. Additionally, he holds a Visiting Professor position at Roblox Research. His work spans programming languages, program synthesis, and the intersection of large language models with computer science education. Guha's research primarily focuses on two areas: program synthesis for "low-resource" programming languages (those not widely supported by existing AI code generation tools but widely used in specialized fields like scientific computing), and understanding how large language models impact computer science education. His work has led to significant contributions in benchmarking neural code generation across multiple languages and examining how students interact with AI-generated code. He is particularly interested in knowledge transfer between high-resource and low-resource programming languages for code LLMs. Guha's recent publications show a strong trend toward examining the practical applications and limitations of large language models in programming contexts. His work spans from developing benchmarks like MultiPL-E for cross-language code generation evaluation to studying how beginners understand and interact with AI-generated code. There's a clear emphasis on making code generation more accessible for specialized domains and understanding the educational implications of these technologies. Guha actively mentors students at all levels, leading a research group within Northeastern's Programming Research Laboratory. His current advisees include several PhD students and postdocs working on topics related to code LLMs, program synthesis, and computer science education. His research has been generously supported by the National Science Foundation, Department of Energy, Office of Naval Research, and industry partners including Google, JPMorgan Chase, MathWorks, Meta, Oracle, and Roblox. Guha is an active contributor to the programming languages research community, serving on program committees for major conferences including PLDI, POPL, SPLASH, and OOPSLA. He has chaired workshops and sessions at these conferences and continues to be an influential voice in the programming languages community.

Aalok ThakkarView profile

Assistant Professor

• Programming Languages
• Formal Logic
• Artificial Intelligence
• +3 more

Aalok Thakkar is an Assistant Professor in the Department of Computer Science at Ashoka University, specializing in Programming Languages , Formal Logic , and Artificial Intelligence . He earned his Ph.D. in 2023 from the University of Pennsylvania , advised by Rajeev Alur and Mayur Naik. His research focuses on example-guided synthesis of relational queries , with applications in program verification, automated reasoning, and AI. Recent work includes the Mobius framework (OOPSLA 2023) and Relational Query Synthesis ⋈ Decision Tree Learning (VLDB 2023). Published in npj Digital Medicine (2021) on pandemic risk modeling Contributed to Natural Computing (2020) on Boolean network concurrency Workshop papers on synthesis algorithm complexity (SYNT 2022) and reactive systems (SYNT 2020) He was previously affiliated with Adobe Systems, Aptos Labs, Amazon AWS, and Bell Labs. Awards include the Alt Carbon Darjeeling Revival Fellowship . Teaching includes courses on Symbolic Logic , Rust programming , and Games on Graphs . He will host an IndiCS Seminar on Automated Synthesis in 2025.

Işıl DilligView profile

Associate Professor

• programming languages
• program analysis
• program verification
• +4 more

Işıl Dillig is an Associate Professor of Computer Science at the University of Texas at Austin, where she leads the UToPiA research group. Her work focuses on programming languages, with specific emphasis on program analysis, verification, and synthesis. B.S., M.S., and Ph.D. from Stanford University Her research aims to enhance software reliability, security, and development efficiency through advanced synthesis techniques. Recent work spans: Neurosymbolic and semantic synthesis Blockchain and smart contract optimization Type systems for safety She has received prestigious accolades including: Sloan Fellowship NSF CAREER award Contributions to the field include leadership roles in conference organization and mentoring initiatives. Her lab actively explores applications in databases, security, and concurrent programming.