Find Academic Supervisors

• Natural Language Processing
• Machine Learning
• Multimodal Learning
• +5 more

Ekaterina Shutova is an Associate Professor at the Institute for Logic, Language and Computation (ILLC) within the Faculty of Science at the University of Amsterdam. She concurrently holds a Visiting Associate Professor position in the Computer Science Department at Stanford University. She leads the Amsterdam Natural Language Understanding Lab and heads the NLP & Digital Humanities research unit at ILLC. An ELLIS Scholar, she earned her PhD from the University of Cambridge Computer Laboratory and Pembroke College. Her research has been funded by ERC, Innovate UK, British Academy, Leverhulme Trust, Google, Meta, and Deloitte. Her research spans natural language processing and machine learning, with core interests in: Few-shot learning for NLP Multilingual and cross-lingual systems Joint modeling of language and vision Cognitive processing and semantic representation Figurative language interpretation Computational social science applications Her recent publications (2024-2025) predominantly focus on multimodal learning, cultural alignment in AI, metaphor processing, and evaluation methodologies for language models. These works reflect a trend toward integrating cognitive science with multilingual systems and ethical considerations. Awards & Fellowships: ERC Consolidator Grant (2025) ELLIS Scholar Outstanding Paper Award at ACL 2023 Finalist for Outstanding Certification by TMLR Runner-up Best Paper Award at NAACL-HLT 2016 Research Leadership: She directs the Amsterdam Natural Language Understanding Lab, supervising 8 PhD students, 1 MSc student, and 34 alumni. Her projects include an ERC-funded initiative on globally accessible language technology and an AI Democratization grant for hate speech detection.

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.

Yin Tat LeeView profile

Associate Professor

• Convex Optimization
• Convex Geometry
• Graph Algorithms
• +2 more

Yin Tat Lee is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington, and a Senior Principal Researcher in Microsoft AI. His research spans convex optimization , convex geometry , graph algorithms , online algorithms , and differential privacy , with applications in machine learning and theoretical computer science.

Marco PlatznerView profile

Professor

• Reconfigurable Computing
• Approximate Computing
• Self-Aware Computing
• +7 more

Marco Platzner is a Professor for Computer Engineering at Paderborn University , Germany. He serves as the Dean of Research for the Faculty of Computer Science, Electrical Engineering and Mathematics and heads the Department of Computer Science. Previously, he held research positions at ETH Zurich, Stanford University, GMD (now Fraunhofer IAIS), and Graz University of Technology. Education: Diploma and PhD in Telematics (Graz University of Technology, 1991 and 1996), Habilitation in Hardware-Software Co-Design (ETH Zurich, 2002) Research Interests focus on reconfigurable computing, approximate computing, self-* computing, and embedded systems. His work addresses hardware security, FPGA design, and sustainable AI in data centers. Current projects include energy-efficient AI through deep neural network approximation for FPGAs (EKI-App) and lifecycle sustainability of socio-technical systems (SAIL). Publication Trends show expertise in FPGA security, approximate circuit synthesis, robotics, and hardware acceleration. Collaborations span robotics (ROS 2 integration), AI (transformer optimization), and cybersecurity (Trojan detection). Scientific Awards: ACM SIGDA Hall of Fame (2020) Significant Paper Award (FPL 2015) Best Paper Awards at IEEE ISVLSI (2024), ARC (2018), IEEE ReConFig (2015), and others Weierstraß Prize for Teaching (2008) Leadership Roles include membership in the board of Paderborn Center for Parallel Computing (PC2) and the Jenny Aloni Centre for Early Career Researchers. He has contributed to EU FP7 FET project EPiCS and German priority programs on embedded systems and organic computing.

Assia MahboubiView profile

Researcher

• Type Theory
• Formal Verification
• Computer-Aided Mathematics
• +3 more

Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.

• Secure Decentralized Systems
• Blockchain Technology
• Systems Security
• +3 more

Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.

Jihyun LeeView profile

Assistant Professor

• Manufacturing Automation
• Mechatronics
• Robotics
• +7 more

Jihyun Lee is an Assistant Professor in the Department of Mechanical and Manufacturing Engineering at the Schulich School of Engineering, University of Calgary. She was awarded the Anna Boyksen Fellowship by the Technical University of Munich Institute for Advanced Study (TUM-IAS) in 2021, hosted by Prof. Michael Zäh. Doctorate in Mechanical Engineering from University of Michigan-Ann Arbor (2016) Prior post at Korea Institute of Machinery and Materials (2016-2019) Her research focuses on mechatronics, robotics, manufacturing automation, and control systems , with applications in machine tools, additive manufacturing, and precision measurement. She integrates artificial intelligence and optimization to enhance industrial automation. Recent publications highlight work on vibration control , sensor fusion , and flexible manufacturing systems . Her team explores dynamic modeling , nanocomposite sensors , and human-in-the-loop robotics for industrial and marine applications. 2020 Remote Teaching Award, Schulich Engineering 2020 Early Achievement Award, Association of Korean-Canadian Scientists and Engineers 2018 Best Achievement Award, KIMM She supervises doctoral and master’s students at the University of Calgary, emphasizing hands-on experience and MATLAB/Python simulation skills in her lab. Her work bridges quantum logic and industrial robotics through interdisciplinary collaborations.

• Finite Model Theory
• Graph Structure Theory
• Computational Complexity
• +3 more

Kord Eickmeyer is a Lecturer at Technische Universität Darmstadt in the Department of Mathematics, specializing in the mathematical logic group. He holds a PhD in mathematics from Humboldt University Berlin and has held postdoctoral positions at TU Darmstadt (2011–2017) and the National Institute of Informatics in Tokyo (2011–2013). His research focuses on finite model theory, graph structure theory, and computational complexity, particularly in descriptive and parameterized complexity, as well as randomization and derandomization techniques. Research interests include exploring the boundaries of computational complexity through logical frameworks, analyzing graph structures for efficient algorithm design, and investigating the role of randomness in computation. His work bridges theoretical computer science and mathematical logic, with applications in algorithm design and formal methods. Publications span topics from model-checking on ordered structures to gap-planar graphs and randomized logics. Collaborations include prominent institutions like the National Institute of Informatics and Humboldt University Berlin. No scientific awards are explicitly listed, but his extensive academic contributions reflect a strong research trajectory. Advising and grants are not detailed in the provided text, though his academic career includes supervision roles during his PhD and postdoctoral phases. His involvement with the mathematical logic group at TU Darmstadt highlights collaborative research efforts in foundational areas of computer science and mathematics.

• Neuromorphic Computing
• Hardware Accelerators
• VLSI Circuits
• +5 more

Prof. Dr. Tobias Gemmeke is a University Professor at RWTH Aachen University's Faculty of Electrical Engineering and Information Technology, leading the Chair of Integrated Digital Systems and Circuit Design. His work focuses on neuromorphic computing, hardware accelerators, and energy-efficient electronics. He has pioneered advancements in FPGA-based computational neuroscience simulators, neuromorphic processor architectures, and sensor integration for industrial and medical applications. Research interests include time-domain computing, ReRAM reliability, and co-optimization of neural networks with hardware. Notable contributions include the neuroAIx framework for accelerated neuroscience simulations and energy-efficient ASIC designs for post-quantum cryptography. He actively explores memristive devices and domain generalization techniques for edge computing. Recent publications highlight innovations in spiking neural networks, sensor systems for plain bearings, and time-domain compute-in-memory engines. His work bridges theoretical neuroscience with practical hardware implementations, emphasizing scalability and real-time performance.

• Computer Vision
• Artificial Intelligence
• Multimodal Learning
• +7 more

Dr. Hilde Kuehne is a Professor at the University of Tuebingen and a key researcher at the Tuebingen AI Center. She holds affiliations with MIT-IBM Watson AI Lab and Goethe University Frankfurt, with a focus on computer vision, multimodal learning, and explainable AI. Her work bridges vision-language models, audio-visual alignment, and self-supervised methods. Co-organizer of the New Frontiers in Associative Memories workshop @ ICLR 2025 Member of the Scientific Advisory Board of the Carl-Zeiss-Foundation Contributor to CVPR 2025's UTD dataset for unbiased video benchmarks Her research addresses critical challenges in: Explainability for Vision Transformers (LeGrad) Fine-grained audio-visual alignment (CAV-MAE Sync) Zero-shot visual recognition automation (Meta-Prompting) Spatio-temporal grounding without annotations Recent collaborative work spans 15+ publications across CVPR, NeurIPS, ICCV, and ICLR, with emphasis on multimodal foundation models, dataset bias mitigation, and differentiable logic networks. She actively contributes to workshop organization and peer review as evidenced by her involvement in CVPR 2025 and ICLR 2025 program committees.

• Computational Linguistics
• Natural Language Processing (NLP)
• Dependency Parsing
• +5 more

Joakim Nivre is a Professor at Uppsala University's Department of Linguistics and Philology. He is a leading researcher in computational linguistics, with a focus on dependency parsing, Universal Dependencies (UD) framework development, and multilingual NLP applications. His recent work explores LLMs in climate change discourse analysis, pharmacovigilance explainability, and historical text processing. Key research areas: Dependency parsing theory, Universal Dependencies standardization, LLM evaluation Collaborations: SweSAT-1.0 benchmark development, ClimateEval project, PARSEME integration His 2025-2023 publications demonstrate expertise in explainable AI for healthcare, synthetic data generation for idioms, and multilingual benchmark design. Notably, he co-developed SweSAT-1.0 to evaluate Swedish LLMs and contributed to typology-informed UD revisions. Despite extensive work in NLP, no scientific awards are mentioned in available texts.

Hector GeffnerView profile

Professor

• Artificial Intelligence
• Machine Learning
• Automated Planning
• +5 more

Hector Geffner is an Alexander von Humboldt Professor at RWTH Aachen University, leading the Chair of Machine Learning and Reasoning. He specializes in automated planning, machine learning, and reasoning, with a focus on representation learning for acting and planning. His work bridges symbolic and model-based AI, emphasizing general policies and subgoal decomposition. Education & Background : PhD from UCLA (1989), prior roles at IBM Watson Research Center and Universidad Simón Bolívar. Former ICREA researcher and professor at Universitat Pompeu Fabra (2001–2022). Research Interests : Classical and probabilistic planning, reinforcement learning, knowledge representation, and applications in robotics. His ERC-funded RLeap project explores learning generalized policies and symbolic representations for effective decision-making. Teaching : Courses include 'Actions and Planning in AI' and 'Social and Technological Change', emphasizing interdisciplinary AI applications. Awards & Recognition : Alexander von Humboldt Professorship (2023), AAAI/EurAI Fellowships, and editor of influential works on Judea Pearl’s contributions to AI. Grants & Projects : Advanced ERC grant (2020–2025), Humboldt Foundation support, and RWTH funding for research on planning and reasoning. Labs & Teams : Heads the Chair of Machine Learning and Reasoning at RWTH, focusing on interdisciplinary research in AI, robotics, and planning algorithms.

Simon RazniewskiView profile

Professor

• Knowledge-based Artificial Intelligence
• Natural Language Processing
• Data Science
• +3 more

Simon Razniewski is a Professor of Knowledge-based Artificial Intelligence at TU Dresden and ScaDS.AI, focusing on integrating language models and knowledge bases. He previously held roles at Bosch Center for AI (2023–2024), Max Planck Institute for Informatics (2017–2021), and Free University of Bozen-Bolzano (2014–2017). His research spans knowledge extraction, computational logic, and data science applications. He holds a PhD (2014) and Diplom (MSc, 2010) from Free University of Bozen-Bolzano and TU Dresden, respectively. Research interests include large language models (LLMs), knowledge graph construction, and uncertainty quantification in natural language processing. His work bridges AI theory and practice, with publications at top venues like ACL and EMNLP. He teaches courses on LLMs and knowledge-aware AI, and has advised numerous collaborative projects across academia and industry. Prominent contributions include frameworks like GPTKB for LLM knowledge materialization and QUITE for Bayesian reasoning in NLP. His prior roles at Siemens IT and Globalfoundries inform his applied research focus. The International Center for Computational Logic (ICCL) at TU Dresden is his primary research hub, emphasizing interdisciplinary computational logic and AI advancements.

Heinz KoepplView profile

Professor

• Self-Organizing Systems
• Systems Biology
• Control Theory
• +9 more

Prof. Heinz Koeppl is a Professor in the Department of Electrical Engineering and Information Technology at TU Darmstadt. His research focuses on self-organizing systems, systems biology, and control theory, with applications in synthetic biology, robotics, and stochastic processes. He explores interdisciplinary topics such as genetic circuit design, UAV swarm dynamics, and machine learning-driven modeling of biochemical systems. Key research areas include the development of deep learning frameworks for kinetic modeling, Bayesian optimization for riboswitch design, and mean field control theory for sparse networks. His work bridges theoretical foundations with practical engineering solutions, addressing challenges in molecular communication, gene regulation, and robotic swarm coordination. Publications from 2023–2025 highlight advancements in bio-inspired algorithms, swarm intelligence, and computational biology. Notable contributions include studies on RNA-based circuits, active matter dynamics, and optimization strategies for large-scale systems. His research emphasizes interdisciplinary collaboration, leveraging tools from electrical engineering, mathematics, and life sciences. No scientific awards are explicitly listed in the provided text. Advising and grants details are not available. Prof. Koeppl’s lab focuses on integrating systems biology approaches with engineering principles to solve complex problems in healthcare, environmental sustainability, and technological innovation.

Ignasi Sau VallsView profile

Researcher

• Graph Theory
• Parameterized Complexity
• Algorithmic Graph Theory
• +5 more

Ignasi Sau Valls is a Directeur de Recherche (DR2) at CNRS, affiliated with the LIRMM laboratory at Université de Montpellier, France. He is a member of the AlGCo team, focusing on algorithms for graphs and combinatorics. His academic background includes dual degrees in Mathematics and Telecommunications Engineering from UPC (Barcelona), a PhD in joint supervision between UPC and Projet Mascotte (Sophia Antipolis), and a postdoctoral position at the Technion (Israel). He has been with CNRS since 2010 and was promoted to his current role in October 2024. He also served as a Visiting Professor at UFC (Brazil) from 2016–2017. His research interests lie primarily in Graph Theory and Parameterized Complexity , with a focus on structural graph properties, kernelization, and algorithm design. He has made significant contributions to problems involving minor-closed graph classes, treewidth, and graph modification. His work bridges theoretical foundations with algorithmic applications, particularly in discrete optimization and network problems. The recent articles highlight a strong trend in parameterized algorithms, especially for graph modification, kernelization, and structural graph problems. Topics such as hitting minors, dynamic programming on tree decompositions, and edge contractions reflect a deep engagement with structural parameterizations and fixed-parameter tractability. His publications frequently appear in top-tier journals like SIAM Journal on Computing, Journal of Combinatorial Theory, and Algorithmica, as well as major conferences such as ICALP, SODA, and IPEC. Best paper award of Track C of ICALP'10 Best student paper award of WG'09 Ignasi Sau has been a principal investigator of the ANR JCJC project ELIT (ANR-20-CE48-0008-01), funded with 169k€ from 2021 to 2026. He serves as an editor for DMTCS and Information and Computation , and has held significant organizational roles, including PC member of numerous conferences (MFCS, WG, IPEC, COCOON) and as co-chair and main organizer of WG 2019, ICGT 2022, and JCALM 2023. He has delivered invited courses at international schools in France, Argentina, and Brazil. He is actively involved in the research community through editorial duties, conference organization, and collaborative research. His lab affiliation is the AlGCo team at LIRMM, a leading group in algorithmic graph theory and combinatorics.