Find Academic Supervisors

• Computer Science
• Software Engineering
• Artificial Intelligence
• +5 more

Dongwoo Kim is a researcher affiliated with Hanyang University, ERICA Campus (Department of Electronics and Communication Engineering) and has previously collaborated with institutions like POSTECH , Chungnam National University , and Microsoft . His work spans interdisciplinary domains in Computer Science and Engineering . Hanyang University, ERICA Campus - Department of Electronics and Communication Engineering POSTECH - Power Analog Electronics & Semiconductor Devices Lab Microsoft Chungnam National University Kim's research focuses on formal verification of automotive control software, deep learning applications in environmental monitoring, 3D modeling for indoor positioning, and machine learning for signal processing. His recent publications highlight advancements in graph neural networks (GNNs), including analyzing oversmoothing and gradient dynamics, as well as developing geometric vision-language models with domain-agnostic encoders. His 15 most recent articles (2023-2025) address topics like: Optimizing hybrid electric vehicle engine performance 3D modeling for indoor localization GNN training stability UAV-based environmental monitoring Algorithm difficulty prediction for programming problems Millimeter-wave antenna design Kim collaborates with researchers in software engineering , signal processing , and environmental science domains. His work intersects formal methods , applied machine learning , and embedded systems research.

Valérie BerthéView profile

Researcher

• Symbolic Dynamics
• Combinatorics on Words
• Discrete Geometry
• +9 more

Valérie Berthé is a Research Director at CNRS, based at the Institut de Recherche en Informatique Fondamentale (IRIF), Université Paris Cité. Her research lies at the crossroads of theoretical computer science and mathematics, with a focus on symbolic dynamics, combinatorics on words, discrete geometry, and numeration systems. She is a Principal Investigator of the prestigious ERC Synergy project DynAMICs, which unites experts from mathematics and computer science to tackle fundamental problems in dynamical systems and model checking. Research Interests: Her primary research areas include symbolic dynamics, combinatorics on words, discrete geometry, tilings, aperiodic order, continued fractions, and their connections to number theory and automata. She is particularly interested in the algorithmic and arithmetic aspects of dynamical systems, aiming to develop automated verification methods and resolve open conjectures such as the Skolem problem on reachability. Scientific Leadership: She leads a major collaborative research program and is involved in significant national and international projects. Grants & Projects: ERC Synergy Grant: DynAMICs (Model checking seen from a dynamic and arithmetic point of view) ANR PRCI: SymDynAr (2024–2027) ANR Blanc: CODYS (2018) Academic Service: Member, CNRS National Committee, Section 6 Member, Steering Committee of INSMI (Institut national des sciences mathématiques et de leurs interactions) Member, Scientific Council of the Société Mathématique de France (SMF) Advising and Editorial Work: Valérie Berthé has supervised numerous PhD students who have gone on to successful academic careers. She is a co-editor of several influential volumes in her field, including works published by Cambridge University Press and Birkhäuser, covering topics in sequences, automata, number theory, and symbolic dynamics. She is also involved in organizing scientific events and seminars, such as the One World Numeration Seminar, fostering international collaboration in her research community.

Torsten Wolfgang KuhlenView profile

Professor

• Virtual Reality
• Immersive Visualization
• Scientific Visualization
• +5 more

Prof. Torsten Wolfgang Kuhlen serves as a Universitätsprofessor at RWTH Aachen University, leading the Teaching and Research Area for Virtual Reality and Immersive Visualization within the Department of Computer Science. He is affiliated with Chair of Computer Science 12 (High Performance Computing), the Visual Computing Institute, and remains an integral part of the RWTH IT Center where his research group operates one of the world's largest Virtual Reality laboratories including the 30 sqm aixCAVE visualization chamber. The group maintains strong connections with Computational Science & Engineering Division, National High Performance Computing Center for Computational Engineering Science (NHR4CES), and VR in Science and Industry Network NRW e.V. Prof. Kuhlen's research spans virtual reality, immersive visualization, and multimodal 3D user interfaces with applications across simulation science, production technology, neuroscience, and medicine. His work combines basic research on advanced methods and algorithms with interdisciplinary collaborations involving RWTH Aachen institutes, Forschungszentrum Jülich, and industry partners. Recent publications demonstrate strong focus on audiovisual perception, immersive analytics, collaborative virtual environments, and practical VR applications in education and manufacturing. His research group has produced significant work on listening effort in virtual environments, immersive authoring techniques, and VR applications for scientific visualization. Notable projects include VRScenarioBuilder for automated vehicle testing and applications in monitoring additive manufacturing processes. The group actively participates in major conferences including IEEE VIS and EuroVis, with several award-winning contributions. Prof. Kuhlen has advised PhD students including Martin Bellgardt who recently completed his doctoral degree on "Increasing Immersion in Machine Learning Pipelines for Mechanical Engineering". The research group maintains state-of-the-art VR infrastructure including the aixCAVE facility which is open to all RWTH research groups.

Todd MillsteinView profile

Professor

• Software Reliability
• Network Verification
• Programming Languages
• +5 more

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .

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.

Zachary KincaidView profile

Associate Professor

• Program Analysis
• Formal Methods
• Programming Languages
• +4 more

Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)

Ralf BeckView profile

Professor

• Control Engineering
• Automation Technology
• Regulation Systems
• +5 more

Prof. Dr.-Ing. Ralf Beck serves as Professor for Control and Regulation Technology and Automation Technology at Hochschule Düsseldorf University of Applied Sciences within the Faculty of Electrical Engineering & Information Technology. His academic responsibilities span multiple degree programs including BEng Electrical Engineering, BEng Industrial Engineering, and MSc Electrical Engineering and Information Technology. His educational background includes Mechanical Engineering studies at TU Braunschweig (1998-2004), followed by doctoral research at RWTH Aachen's Institute of Control Engineering where he earned his Dr.-Ing. in 2010 with a dissertation on predictive energy management for hybrid vehicles. Prior to his current professorship, he held progressive roles at FEV Europe GmbH from 2009-2018, culminating as Senior Project Manager for Vehicle and Powertrain Electronics. Beck's research focuses on control engineering systems with particular emphasis on automation technology, regulation systems, and model-based development approaches. His work bridges theoretical control methodologies with practical automotive applications, especially in hybrid vehicle energy management, multi-robot systems, and intelligent air path control. The Modellfabrik Fab21 serves as his primary experimental platform for model-based development applications. His publication record since 2005 demonstrates consistent contributions to control engineering, particularly in hybrid vehicle systems, emission control optimization, and calibration methodologies. Recent work shows increasing focus on distributed robotics and intelligent transportation systems, reflecting evolving research directions while maintaining core expertise in control theory applications. As an educator, Beck teaches foundational and advanced courses including Electrical Engineering III, Control and Regulation Technology, Model-Based Development, Technical Mechanics, and Advanced Control Engineering at the Master's level. His teaching integrates theoretical concepts with practical laboratory applications through the university's Moodle platform, emphasizing hands-on implementation of control algorithms and system modeling techniques.

Thilo MarauhnView profile

Professor

• Public International Law
• European Law
• Human Rights
• +7 more

Professor Dr. Thilo Marauhn holds the Chair of Public Law and International Law at the Faculty of Law, Justus Liebig University Giessen, since 2001. He is also a Permanent Visiting Professor for Constitutional Theory at the University of Lucerne (Switzerland) and has served as Visiting Professor at the University of Wisconsin, Madison (USA) in 2005, 2008, and 2011. Max Planck Institute for Comparative Public Law and International Law, Heidelberg (1990-2001) Scientific Advisory Board roles (BMZ, HSFK, UN Political Advisory Board) Research Interests include Public International Law, European Law, Human Rights, Environmental Law, Arms Control, and Constitutional Law. His work focuses on conflict resolution, international security, and the interplay between legal frameworks and global challenges like climate change and armed conflict. Publications & Contributions span monographs and edited volumes on topics such as social fundamental rights, environmental law, and international financial regulation. Recent articles analyze human rights fact-finding, religious freedom, and compliance mechanisms in international law. Leadership Roles encompass directing the International Summer University (ISU), co-leading the US-German Summer Law Program, and serving on the Board of the German-Polish Projects (DPWS).

• Quantum Computing
• Quantum Foundations
• ZX-calculus
• +7 more

John van de Wetering is an Assistant Professor at the Theoretical Computer Science group of the Informatics Institute, University of Amsterdam, working with the QuSoft research center. He co-authored the open-access book Picturing Quantum Software and developed the PyZX quantum compiler. His research spans quantum computation and quantum foundations, focusing on diagrammatic methods like the ZX-calculus and ZH-calculus. Quantum circuit optimization and verification Quantum foundations via algebraic/compositional methods Co-creator of PyZX His recent publications explore multi-qutrit systems, completeness of graphical calculi, and quantum state representations. Supervises students in quantum computing, including Lia Yeh and Sarah Li. Directs the new Master's program in Quantum Computer Science at UvA. Actively contributes to open-source projects and international conferences. Notable collaborations include Aleks Kissinger, Neil J. Ross, and QuSoft researchers. Uses GitHub for DiZX development (qudit extension of PyZX). No explicit scientific awards mentioned.

Michael D. ErnstView profile

Professor

• software engineering
• programming languages
• type theory
• +6 more

Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington's College of Engineering. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research. Ernst's primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He focuses particularly on programmer productivity and developing practical tools that can be integrated into developers' workflows. Analysis of his recent publications (2018-2025) reveals a continued focus on verification techniques, program analysis, and testing methodologies. His work spans from theoretical foundations of type systems to practical applications of NLP for test generation and LLMs for test oracle creation. A consistent theme is developing lightweight, modular approaches that can be practically applied in real-world development environments. Scientific Awards: ACM Fellow (2014) John Backus Award (2009) NSF CAREER Award (2002) ACM SIGSOFT Impact Paper Award (2013) 8 ACM Distinguished Paper Awards across multiple conferences ECOOP 2011 Best Paper Award Microsoft Academic Search ranked #2 in software engineering research (2013) Ernst has received significant research funding including the NSF CAREER Award, supporting his work on program analysis and verification techniques. His research combines theoretical rigor with practical impact, often resulting in tools that are adopted by the software engineering community. He actively collaborates with researchers across institutions and has served in leadership roles for major conferences in programming languages and software engineering. His research group develops practical tools that address real challenges in software development, with a focus on making verification and analysis techniques more accessible to working developers. Current projects include applying machine learning techniques to software engineering problems while maintaining strong theoretical foundations.

Karl-Erik ÅrzénView profile

Professor

• Control Engineering
• Cyber-Physical Systems
• Real-Time Systems
• +9 more

Karl-Erik Årzén is Professor and Head of the Department of Control Engineering at Lund University's Faculty of Engineering. He is also Co-director of the Wallenberg AI, Autonomous Systems and Software Program (WASP) and a key member of ELLIIT, the excellence center in information technology. His roles include leadership in AI and digitalization profile areas at both LTH and Lund University. His research lies at the intersection of control engineering and computer science, with a focus on cyber-physical systems, real-time systems, embedded control, and resource management in cloud and edge computing environments. He has pioneered methods for predictable performance in cloud applications and dynamic resource allocation using control-theoretic approaches. The recent publications highlight a strong trend in control over the cloud and edge, real-time scheduling co-design, distributed camera systems, and reinforcement learning for auto-scaling. Key topics include model predictive control, LQG-based scheduling, bandwidth allocation, and robustness in cyber-physical systems. The work spans theoretical control design and practical implementation in distributed systems. His scientific awards include multiple Best Paper Awards from IEEE and ACM conferences in 2018, 2016, and 2004, recognizing excellence in autonomic computing, edge computing, and real-time systems. Best Paper Award, IEEE International Conference on Autonomic Computing, 2018 Best Paper Award, IEEE International Conference on Edge Computing (EDGE), July 2018 Best Paper Award - RTNS 2016 Best Paper Award - RTCSA 2004 Årzén has supervised over 20 PhD students, including Mikael Johansson, Anton Cervin, Yang Xu, and Per Skarin, and currently supervises Ahmed Al Bayati and Max Nyberg Carlsson. His grant portfolio includes major projects such as WASP, AORTA (VINNOVA), and ELLIIT's 'Robust and Secure Control over the Cloud'. He has also contributed to innovation through tools like TrueTime and Jitterbug. He leads the RobotLab LTH initiative and is involved in the Nordic University Hub on Industrial Internet of Things (HI2OT). His work bridges academia and industry, with collaborations on adaptive control, cloud-native systems, and autonomous robotics.

Michael PradelView profile

Professor

• Software Engineering
• Programming Languages
• Program Analysis
• +9 more

Michael Pradel is a full professor at the University of Stuttgart, specializing in software engineering, programming languages, and machine learning. He will join CISPA as a faculty member from September 2025 while retaining his Stuttgart position. His research focuses on: Neuro-symbolic software analysis Web application analysis Dynamic analysis and test generation Quantum software testing Machine learning for code Recent publications address: LLM-based program repair (RepairAgent, Treefix) WebAssembly analysis (Wasm-R3, LintQ) Python security and analysis (DyLin, DyPyBench) Quantum program analysis (LintQ) Scientific awards: Ernst-Denert Software Engineering Award Emmy Noether grant (1.3M Euro) ERC Starting Grant (1.5M Euro) 3x ACM SIGSOFT Distinguished Paper Award at FSE ACM Distinguished Member Best Paper/Distinguished Paper Awards at ISSTA, ASE, ASPLOS, MSR Key contributions include: DeepBugs for name-based bug detection Getafix for automated bug fixing LintQ for quantum program analysis DyLin for Python dynamic analysis Neuro-symbolic developer tools

Jonas SchützenederView profile

Professor

• Digital Journalism
• Artificial Intelligence in Media
• Social Media and Journalism
• +7 more

Prof. Dr. Jonas Schützeneder is a Professor of Digital Journalism at the University of the Bundeswehr Munich, where he serves as Deputy Chair of the Examination Board. He holds a doctorate in Sports Journalism and Sports Communication and completed his habilitation in Innovation Communication. His academic responsibilities include teaching digital journalism in the Management and Media program (BA/MA), with a focus on data journalism, social media strategies, and online formats. Schützeneder's research explores transformative trends in journalism, with core interests in: Artificial intelligence applications in newsrooms Social media's impact on journalism practices Innovation communication and media evolution Podcast formats and audio storytelling strategies Ethical dimensions of digital journalism His publications demonstrate a consistent focus on journalism's digital transformation, particularly examining how emerging technologies like AI and social platforms are reshaping content production, distribution, and ethical frameworks across European media landscapes. His scientific recognitions include: University Teaching Award from Catholic University of Eichstätt-Ingolstadt (awarded twice) Multiple nominations for Teaching Award at Magdeburg-Stendal University of Applied Sciences Schützeneder leads the podcast project 'Held:innen von Magdeburg' where students research and produce content about contemporary and historical figures. Since 2018, he has served on the editorial board of Communicatio Socialis, an academic journal on media ethics, where he manages peer review processes. Since 2024, he co-heads the DGPuK Journalism Section, a 400-member organization within the German Society for Journalism and Communication Studies.

Andrea BastoniView profile

Research Fellow

• Real-Time Systems
• Cyber-Physical Systems
• Operating System Design
• +5 more

Dr. Andrea Bastoni is a Postdoctoral Researcher and Research Fellow at the Chair of Cyber-Physical Systems in Production Engineering at Technical University of Munich (TUM), Faculty of Mechanical Engineering. He is also the CTO and co-founder of Minerva Systems , developing operating system solutions for AI-ready embedded applications. His expertise spans real-time operating systems, cyber-physical systems, and predictable system design for heterogeneous platforms. His research focuses on enhancing predictability of memory hierarchies in complex SoCs through techniques like memory bandwidth regulation and cache partitioning. This work has industrial applications in safety-critical domains such as avionics and railways, where he contributes to certifiable hypervisors and operating systems. As former Software Architect of the PikeOS hypervisor at SYSGO GmbH (2012-2020), he specialized in DO-178C, IEC 61508, and EN 50128 standards. His academic background includes a Ph.D. in Computer Engineering from the University of Rome Tor Vergata (2007-2011), where he developed LITMUS^RT as part of UNC's Real-Time Systems Group during a visiting researcher period (2009-2010). His publications reflect ongoing work on Multicore Real-Time Scheduling , Mixed-Criticality Task Isolation, and Arm DynamIQ shared unit analysis. He actively participates in program committees for conferences like RTSS, DSN, and DATE.

Daniel GroßeView profile

Professor

• Formal Verification
• Hardware Verification
• Electronic Design Automation
• +3 more

Prof. Daniel Große serves as Professor at the Institute for Complex Systems (ICS) within Johannes Kepler University Linz, Austria, while maintaining a dual affiliation with the German Research Center for Artificial Intelligence (DFKI) in Bremen. His research centers on Electronic Design Automation (EDA), specializing in verification, debugging, and synthesis of complex hardware/software systems through advanced virtual prototyping techniques. His primary research domains include Formal Verification , Hardware Verification , and Virtual Prototyping , with significant contributions to RISC-V architecture development and embedded systems validation. Current projects like PaSVer (automotive electronics), AUTOASSERT (analog-digital verification), and VerSys (RISC-V software platforms) demonstrate his focus on bridging simulation and formal methods for safety-critical applications. Recent publications reveal accelerating trends in metamorphic testing for embedded graphics libraries and RISC-V vector extensions, alongside innovations in waveform analysis tools like Surfer. His work increasingly integrates AI-assisted verification while maintaining rigorous formal methods foundations. Prof. Große actively supervises student research, having guided Lucas Klemmer's PhD thesis and nine Bachelor theses on topics ranging from RISC-V processor design to transaction visualization. His projects including SATiSFy (autonomous vehicle security) and CONVERS (complex system design automation) secure substantial research funding from academic and industry partners. He leads the Institute for Complex Systems' development of open-source tools such as RISC-V VP++ and contributes to international standards through program committee roles at DATE, ICCAD, and RISC-V Summit Europe.