Find Academic Supervisors

Michael CarbinView profile

Assistant Professor

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +4 more

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

• Computer Vision
• Computer Graphics
• Machine Learning
• +4 more

Prof. Matthias Nießner is a Professor at the Technical University of Munich , where he leads the Visual Computing Lab . Prior to this, he held a Visiting Assistant Professor position at Stanford University . His work bridges computer vision , graphics , and machine learning , focusing on 3D reconstruction , semantic scene understanding , and AI-driven video synthesis . Prof. Nießner has published over 150 works in top venues like SIGGRAPH , CVPR , and ECCV , with several receiving best paper awards (SIGCHI’14, HPG’15, SPG’18, SIGGRAPH’16 Emerging Tech). His research has garnered international media attention, including features in the New York Times , Wall Street Journal , and MIT Technological Review , as well as TV demonstrations (e.g., Jimmy Kimmel Live for Face2Face technology). Awards : TUM-IAS Rudolph Moessbauer Fellowship (2017–ongoing) Google Faculty Award (2017) Nvidia Professor Partnership Award (2018) ERC Starting Grant (2018, €1.5M) Eurographics Young Researcher Award (2019) Research Trends : 3D Gaussian Splatting for real-time rendering Neural Radiance Fields (NeRF) with mesh supervision Audio-driven facial animation via diffusion models Latent space diffusion for 3D scenes Self-supervised and zero-shot methods for 3D and image analysis As a co-founder and director of Synthesia Inc. , he drives democratization of synthetic media. His YouTube channel has over 5 million views, reflecting his impact beyond academia.

Nadia PolikarpovaView profile

Associate Professor

• Program Synthesis
• Program Verification
• Type Systems
• +5 more

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

Michael GröschelView profile

Professor

• Business Process Management
• Digital Transformation
• Business Models
• +3 more

Prof. Dr. Michael Gröschel is a Professor of Business Informatics at the Faculty of Computer Science, Mannheim University of Technology. His expertise spans Business Process Management (BPMN, Process Mining), Digital Transformation, and innovative Business Models. He teaches courses on BPM, project management, and e-business, often collaborating with industry clients through student projects. As a consultant, he specializes in BPMN training and IT-driven business strategy. His work emphasizes practical applications of IT tools like RPA and low-code platforms. Recent publications focus on RPA bot performance evaluation, AI in automotive trade, and business model-IT alignment. Prof. Gröschel’s research bridges academic insights with real-world challenges, particularly in leveraging technology for business innovation. He has authored books and articles on business intelligence tools, mobile business strategies, and digital customer care. His consulting services include executive coaching for academic career advancement and enterprise IT management best practices. Office: Building A, Room 007c | Phone: +49 621 292-6764 | Professional website available for further engagement opportunities.

Alexander PretschnerView profile

Professor

• Software Engineering
• Testing
• Information Security
• +5 more

Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.

• Software Engineering
• Computer Systems
• Software Security
• +11 more

Cristian Cadar is a Professor in the Department of Computing at Imperial College London, leading the Software Reliability Group . His research focuses on improving software reliability and security through practical techniques in software engineering, computer systems, and program analysis. Education: Ph.D. in Computer Science, Stanford University M.Eng. in Computer Science, MIT B.S. in Computer Science and Mathematics, MIT His research interests center on software engineering and software security , particularly symbolic execution , dynamic symbolic execution (DSE) , and multi-version execution . Current work explores techniques for scalability, constraint solving, and runtime security in software systems. Key trends in his recent articles include optimizing symbolic execution for testing, addressing path explosion in constraint-based test generation, and advancing multi-version execution for dynamic software updates. His publications also cover program analysis , automated testing , and formal methods for software reliability. Awarded prestigious honors such as the Humboldt Research Award (2024) , ERC Consolidator Grant (2018) , and IEEE New Directions Award (2022) . Other accolades include the BCS Roger Needham Award (2019) and SIGOPS Hall of Fame (2018) . Cadar supervises PhD and postdoctoral researchers in software reliability and security. His group has secured grants from the ERC and EPSRC , including a Consolidator Grant (2018) and Early-Career Fellowship (2013) . He actively contributes to conference organizing committees and editorial boards. The Software Reliability Group at Imperial College, led by Cadar, specializes in techniques like KLEE and EXE for automated testing. Their work has been adopted by industry partners such as Fujitsu, IBM, and Microsoft, particularly in runtime security tools like WIT .

• Learning Analytics
• Educational Technology
• Virtual Reality Education
• +5 more

Ulrik Schroeder is a Universitätsprofessor (Full Professor) at RWTH Aachen University, leading the Chair of Learning Technologies within the Faculty of Computer Science. His research focuses on the intersection of educational technology, learning analytics, and immersive technologies with particular emphasis on practical implementations in higher education settings. Professor Schroeder's research spans multiple interconnected domains in educational technology. His primary interests include Learning Analytics implementation (particularly using xAPI standards), Virtual Reality applications for education, Open Educational Resources development and conversion, and gamification approaches for programming education. He has developed several notable tools including convOERter for OER conversion, WebWriter for creating explorable explanations, and various xAPI-based learning analytics infrastructures. His work consistently bridges theoretical frameworks with practical educational applications, often focusing on computer science education contexts. Analysis of his recent publications reveals a strong trend toward integrating Learning Analytics with immersive technologies, particularly Virtual Reality environments. His research demonstrates a systematic approach to educational technology development, with emphasis on scalability, interoperability through standards like xAPI, and practical implementation in real educational settings. The work increasingly focuses on personalized learning paths, quality assurance for educational resources, and privacy-conscious data collection. Co-editor of 21. Fachtagung Bildungstechnologien (DELFI) (2023) Co-editor of Hochschuldidaktik der Informatik HDI 2018 Co-editor of DeLFI 2018 conference proceedings Professor Schroeder has supervised numerous doctoral and postdoctoral researchers who frequently appear as co-authors on his publications, indicating an active research group. His projects often involve interdisciplinary collaborations across computer science, education, and psychology. Current major initiatives include the AIStudyBuddy project for study path analysis and the development of VR classroom simulations for teacher training. His research group, the Learning Technologies Innovation Lab, develops open research tools that support various aspects of educational technology research and implementation.

• Civil Law
• Comparative Legal History
• Legal Philosophy
• +6 more

Wolfgang Forster is a Professor of Civil Law, Comparative Legal History and Legal Philosophy at the University of Tübingen, where he has been teaching since 2011. He served as Dean of the Faculty of Law from October 2020 to September 2022. Prior to his appointment at Tübingen, he was Professor of Civil Law and Legal Philosophy at the University of Giessen from 2007 to 2011. He completed his habilitation at LMU Munich in 2005 with a thesis on insolvency law history and earned his doctorate in 2000 with research on Karl Christian Friedrich Krause's legal philosophy. Forster studied law and philosophy at the Ludwig Maximilian University of Munich from 1987 to 1992, supported by the German Academic Scholarship Foundation and the Bavarian Scholarship for Gifted Students. He passed his first state examination in law in 1992 and his second in 1995. Between 1995 and 2000, he served as a research assistant at KU Eichstätt/Ingolstadt before becoming a research assistant at FAU Erlangen from 2000 to 2003 and at LMU Munich from 2003 to 2007. His research focuses on Civil Law, particularly the general part of the law of obligations, contract law, and family law; German and Spanish legal history, especially regarding insolvency law; History of Canon Law; and Legal philosophy and history of legal philosophy, with special emphasis on Karl Christian Friedrich Krause's legal philosophy. His work bridges historical legal scholarship with contemporary legal theory, examining how historical legal concepts inform modern jurisprudence. Forster's approach combines meticulous historical research with philosophical analysis, revealing continuities and transformations in legal thought across centuries. His publications demonstrate a consistent focus on the intersection of legal history, philosophy, and practical application. Forster has published extensively on Krausist legal philosophy, Spanish legal history, insolvency law development, and historical aspects of family law. His work shows particular strength in analyzing how legal concepts migrate across national boundaries and historical periods, with recurrent attention to German-Spanish legal connections. Hermann Conring Prize 2010 (for his habilitation thesis) Max Weber Prize of the Bavarian Academy of Sciences (for his dissertation) Faculty Prize of the Faculty of Law of the LMU Munich (for his dissertation) Forster has received significant research funding, including publishing support from the German Research Foundation for his habilitation thesis. He co-organized the 40th German Legal Historians' Day in 2014 and was a co-applicant for the interdisciplinary research training group 'Ambiguity: Production and Reception' approved by the DFG in 2013. He has also served as a visiting professor at the University of Wisconsin Law School in Madison, USA. His work demonstrates strong institutional support and recognition within the German and international legal academic community.

Torsten GrustView profile

Professor

• Database Systems
• Programming Languages
• Query Optimization
• +6 more

Torsten Grust is a Professor of Computer Science at the University of Tübingen, leading the Database Systems research group since 2008. Previously, he held professorships at TU München and TU Clausthal. He earned his M.Sc. (Diploma) and Ph.D. in Computer Science from Universität Konstanz in 1994 and 1999, respectively. His research focuses on database languages, query and programming language technology, and scalable processing of non-relational queries. He bridges database and programming language research, emphasizing mutual benefits between the fields. **Education:** Ph.D. in Computer Science, University of Konstanz (1999) M.Sc. (Diploma), Computer Science, University of Konstanz (1994) Visiting Scientist, IBM Silicon Valley Laboratories (2000) **Research Interests:** Design and optimization of database languages Query compilation and execution engines Integration of functional programming with SQL Query provenance and debugging **Awards and Honors:** ACM SIGMOD Reproducibility Award (2021) University of Tübingen Teaching Award (2021/22) Winner of Dyalog 2019 APL Program Solving Competition Member of the VLDB Endowment Board of Trustees (2022–2027) **Advising & Grants:** Guided numerous students, including alumni such as Alexander Ulrich, Benjamin Dietrich, and Christian Duta Recipient of grants supporting research in query compilation, provenance analysis, and database language design **Labs & Teams:** Leads the Database Systems research group at University of Tübingen Collaborates with the National Institute of Informatics (Tokyo) on query and programming languages

• Theoretical Computer Science
• Computational Geometry
• Algorithms
• +3 more

Günter Rote is a Professor in the Department of Computer Science at Freie Universität Berlin, specifically within the Theoretical Computer Science group (Arbeitsgruppe Theoretische Informatik). He holds a formal academic title of Professor Dr. and is affiliated with the Faculty of Mathematics and Computer Science. His research focuses on theoretical computer science, computational geometry, algorithms, and discrete mathematics. Key research interests include geometric algorithms, optimization problems (e.g., shortest paths, traveling salesman problems), and algorithm design for parallel computing systems. His work spans topics such as systolic arrays, convex hulls, and combinatorial optimization. Rote’s contributions include foundational studies on computational geometry problems, algorithmic complexity, and practical applications in energy equity and infrastructure design. Publications highlight contributions to solving extremal equations, polygon transformations, and the quadratic assignment problem. He has been active in academic leadership, mentoring students, and contributing to computational science communities. His email is rote@inf.fu-berlin.de, and his office is located at Takustraße 9 in Berlin.

Ruben PortuguesView profile

Professor

• Neuroscience
• Systems Neuroscience
• Behavioral Neuroscience
• +7 more

Ruben Portugues is a Professor of Brain Circuit Function and Dysfunction at the Institute of Neuroscience, Technical University of Munich (TUM). He is a full member of the Graduate School of Systemic Neurosciences (GSN), an associate and advisory board member of the Munich Center for Neurosciences (MCN), and leads a research group focused on understanding the neural basis of behavior. His lab uses larval zebrafish as a model organism to investigate sensorimotor control, decision-making, and motor learning through whole-brain imaging and circuit analysis. His research interests lie at the intersection of systems neuroscience and behavior. He investigates how brain circuits process sensory information, integrate it with motor output, and enable adaptive and flexible behavior. Key areas include the function of the cerebellum, heading direction networks, sensorimotor transformations, and the neural mechanisms of decision-making. His lab employs cutting-edge techniques including custom-built microscopes, behavioral assays, and computational analysis. The recent publications and preprints from his lab demonstrate a strong trend in decoding distributed neural circuits underlying navigation and decision-making in zebrafish. There is a clear focus on identifying specific brain regions (e.g., interpeduncular nucleus, cerebellum) and cell types involved in processing visual, motor, and spatial information. The work increasingly emphasizes whole-brain functional imaging and the emergence of cognitive-like representations such as allocentric heading direction. FENS-Kavli Network of Excellence (FKNE) PhD Thesis Prize (awarded to student Luigi Petrucco) Ruben Portugues actively mentors PhD students, including current advisees Luigi Petrucco, Ot Prat, and Shuhong Huang, and has successfully graduated Dr. Elena Dragomir and Dr. Vilim Štih. His lab engages in extensive collaborations, hosts visiting researchers, participates in teaching (e.g., CSHL Imaging Course, Cajal Course), and secures resources for advanced research. The lab is known for building its own microscopes and software, fostering technical innovation. The Portugues Lab operates as a dynamic, interdisciplinary team that combines experimental neuroscience with computational and engineering approaches. They regularly hold retreats, participate in scientific events, and contribute to community initiatives like the Munich Brain Day. The lab is preparing to relocate to the Department of Neurobiology and Behavior at Cornell University, marking a new phase in its research trajectory.

Alexander KollerView profile

Professor

• Computational Linguistics
• Neural-Symbolic Models
• Semantic Parsing
• +5 more

Professor Alexander Koller is a leading academic in Computational Linguistics at Saarland University's Department of Language Science and Technology. He holds a courtesy appointment in Computer Science and contributes to the Saarland Informatics Campus - one of Europe's premier computer science research centers. He leads the Computational Linguistics group and serves as speaker for the DFG-funded Research Training Group 'Neuroexplicit Models of Language, Vision, and Action'. PhD in Computer Science (Saarland University) Former positions: University of Potsdam, Columbia University, University of Edinburgh Sabbatical experiences: Meta AI (Paris), Allen Institute for AI (Seattle) His research focuses on computational modeling of meaning and reasoning in NLP, combining neural and symbolic approaches. Key contributions include semantic parsing systems like the AM parser and Alto, neurosymbolic models, and the GIVE Challenge for NLG evaluation. His recent work explores LLMs' limitations in problem-solving and compositional generalization. Recent publications highlight diverse applications across semantic parsing, dialogue systems, and LLM evaluation. Awards include ACL 2020 Best Theme Paper and multiple Outstanding Paper recognitions at ACL conferences. 2025 - AI Action Summit keynote speaker 2023 - ACL Outstanding Paper Awards 2022 - ELLIS Faculty appointment He maintains the DialogOS system for spoken dialogue development and teaches advanced computational linguistics topics. His group includes multiple postdocs and PhD students working across LLMs, dialogue systems, and semantic modeling.

Christian F. DoellerView profile

Professor

• Cognitive Neuroscience
• Memory Psychology
• Spatial Navigation
• +6 more

Professor Christian F. Doeller is a leading cognitive neuroscientist serving as Director of the Department of Psychology at the Max Planck Institute for Human Cognitive and Brain Sciences (MPI CBS) in Leipzig and Vice President of the Max Planck Society (since 2023). His roles include honorary professorships at the University of Leipzig (2019) and TU Dresden (Cognitive Neuroscience of Learning and Memory). He holds a PhD in Psychology from Saarland University (2005) and has held positions at institutions such as UCL (London), Radboud University (Nijmegen), and NTNU (Trondheim). His research focuses on spatial navigation, memory systems, and cognitive mapping in the human brain, leveraging neuroimaging (fMRI, EEG) and computational modeling. Key areas include hippocampal/entorhinal cortical function, grid cells, and the neural basis of spatial and conceptual representations. Recent work explores non-Euclidean spatial cognition, value-based decision making using grid-like maps, and hormonal influences on navigation. His lab combines experimental psychology, neuroimaging, and theoretical neuroscience to understand how brains build predictive models of environments and concepts. Publications emphasize cognitive maps, neural representations of space/value, and memory formation mechanisms. Over 100 journal articles span high-impact journals like Nature Neuroscience , Neuron , and Current Biology . His work bridges basic research and translational applications in neurodegenerative disorders and spatial cognition deficits.

Frank FitzekView profile

Professor

• Communication Networks
• Tactile Internet
• 5G and 6G Mobile Networks
• +4 more

Frank Fitzek serves as Full Professor holding the Deutsche Telekom Chair of Communication Networks at Dresden University of Technology, where he directs the Centre for Tactile Internet (CeTI) Cluster of Excellence and maintains association with the Faculty of Computer Sciences. His work is institutionally anchored within the School of Engineering Sciences and actively engages with 5G Lab Germany and 6G-life Hub initiatives, positioning him at the forefront of next-generation communication research. Fitzek's research spans communication networks, tactile internet systems, 5G/6G mobile technologies, network coding, quantum networking, virtual twinning, and haptic feedback systems. His recent publications demonstrate emphasis on resilient network architectures through quantum security protocols, cloud-native 5G implementations, theoretical communications frameworks, and human-computer interaction in mixed reality environments. This work consistently bridges theoretical innovation with practical testbed validations across multiple emerging technology domains. As Director of CeTI, Fitzek leads a major interdisciplinary research cluster focused on ultra-low latency networks enabling remote physical interaction. His affiliations with 5G Lab Germany and 6G-life Hub facilitate industry-academic collaboration on standardization and deployment of future communication infrastructures, with particular emphasis on network coding techniques and tactile internet applications that transform industrial automation and teleoperation scenarios.

Simone WinkoView profile

Professor

• Modern German Literature
• Literary Theory
• Emotion in Poetry
• +4 more

Prof. Dr. Simone Winko holds the Chair for Modern German Literature and Literary Theory at the University of Göttingen since 2003. Her research spans literary theory, canonization, praxeology of literary studies, and the intersection of emotions with German poetry around 1900 and digital humanities. Academic Roles: Chair at Göttingen (2003–), DFG Priority Programme 2207 leadership (2017–), Courant Center collaboration (2009–) Key Projects: DFG projects on literary change (2023–), computational literary history (2020–2023), and argumentation practices in interpretations (2018–2020) Her recent work focuses on emotions in German-language poetry , using computational methods to model text similarity and analyze historical shifts between Realism and Modernism. She explores how emotional codes and narrative strategies are embedded in lyrical structures, particularly through projects like Anthologien zeitgenössischer deutschsprachiger Lyrik (2022). Scientific Awards : 2010: 1st prize for best doctoral supervision (KissWin, BMBF-funded) Teaching & Collaboration : Supervises B.A., M.A., and Ph.D. theses; co-edits the Journal of Literary Theory and Revisionen book series. Collaborates with Fotis Jannidis, Gerhard Lauer, and Matías Martínez on computational approaches to literary studies.