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 .

Hakan KayalView profile

Professor

• Nanosatellites
• Space Systems
• Extraterrestrial Missions
• +3 more

Prof. Dr.-Ing. Hakan Kayal serves as University Professor for Aerospace Engineering at the University of Würzburg, holding the Chair of Computer Science VIII (Space Technology) and chairing the Interdisciplinary Research Center for Extraterrestrial Studies (IFEX). His leadership bridges computer science and space systems engineering within the university's Institute of Computer Science. Research focuses on three synergistic domains: nanosatellite development for extraterrestrial missions (including the SONATE-2 6U platform demonstrating AI-driven onboard processing), scientific investigation of Unidentified Anomalous Phenomena (UAP) through the university's collaboration with the Federal Aviation Office, and spacecraft autonomy systems enabling higher mission independence. Current projects include the NEAlight mission (extended to develop the Apophis Interceptor concept for the 2029 asteroid flyby), VaMEx3-MarsSymphony for Mars exploration, and JMU Space Observatory initiatives. Publication trends reveal strong emphasis on asteroid defense strategies (particularly for Apophis), CubeSat-based UAP detection methodologies, and real-time AI processing in constrained space environments. His team actively engages students through ADS-B tracking, Meteosat App development, and Moon Base 2030 projects, while recent recognition includes co-authoring a landmark UAP review in Progress in Aerospace Sciences with 33 international scientists.

Bernhard J. BergerView profile

Lecturer

• Software Security
• Static Code Analysis
• Machine Learning
• +4 more

Bernhard J. Berger is a Lecturer in the Department of Computer Engineering at the Institute of Embedded Systems, Hamburg University of Technology (TUHH). His research focuses on software security, static code analysis, machine learning, optimization, and research data management. He has held significant roles such as Program Committee member for ICPC 2025 and MSR 2025, and has received awards including the Best Reviewer Award (ICPC 2023) and Best Engineering Paper Award (SCAM 2019). His work spans interdisciplinary applications including maritime systems security, GPU-accelerated AI, and evolutionary algorithms. Recent studies emphasize AI-driven security tools (e.g., ML-SAST) and domain-specific language approaches to optimization (EvoAl). He has contributed to over 30 peer-reviewed publications, with notable work in IEEE Transactions on Software Engineering and Science of Computer Programming. Berger collaborates closely with industry through DAAD review committees and serves on artifact evaluation boards for ISSTA and ARES conferences. Education: Doctoral Thesis (2022), Diploma in Computer Science (2007) Key Projects: ArchSec tool suite, Threat Modeling Frameworks, Bauhaus static analysis methodology Lab Affiliation: Embedded Systems Design Group His advisory roles include Deputy of TUHH's Election Verification Committee and Session Chair at IEEE Congress on Evolutionary Computation 2023. Current research trends integrate machine learning with static analysis for automated vulnerability detection, while also exploring explainable AI techniques for neural network optimization.

Alessandro GolkarView profile

Professor

• Space Systems Engineering
• CubeSat and Nanosatellite Technology
• Satellite Constellations
• +5 more

Prof. Alessandro Golkar is a Professor at the Technical University of Munich (TUM), leading the Chair of Picosatellites, Nanosatellites, and Satellite Constellations. He joined TUM in September 2022 and previously served as one of the founding faculty members at Skoltech, a Moscow-based graduate research university. His research focuses on advanced space mission concepts, systems engineering for picosatellites, and federated satellite systems. Prior to academia, he held roles at Airbus CTO, contributing to technology roadmapping and planning. His academic background includes expertise in aerospace engineering, systems design, and agile development methodologies for space hardware. Key research areas include CubeSat constellations, distributed satellite systems, and the integration of AI tools like Large Language Models (LLMs) into spacecraft design processes. He has pioneered projects such as the FSSCat mission, winner of the ESA Sentinel Small Satellite Challenge, and has explored applications of additive manufacturing for lunar missions. Prof. Golkar’s awards include the 2021 Karman Fellowship and IEEE Senior Membership (2018). His recent work emphasizes optimizing satellite networks, digital twin implementation, and orbital maneuvering for collision avoidance. He actively contributes to technology roadmapping, focusing on future human landing systems and lunar infrastructure development. Education: Ph.D. in Aerospace Engineering (details not explicitly stated). Grants & Funding: Extensive grants for CubeSat projects, federated systems research, and space technology innovation. Labs/Teams: Leads the Chair’s research group at TUM and collaborates with industry partners like Airbus on advanced mission concepts. His publications span over two decades, addressing topics like constellation design, machine learning in space, and agile processes for hardware development. He advocates for hybrid agile methodologies to bridge traditional systems engineering and modern product development.

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.

Benjamin Mako HillView profile

Associate Professor

• Peer Production
• Online Communities
• Collective Action
• +7 more

Benjamin Mako Hill is an Associate Professor in the University of Washington Department of Communication and an Adjunct Associate Professor in Human-Centered Design & Engineering , the Paul G. Allen School of Computer Science & Engineering , and the Information School at UW. He is a Faculty Associate at the Berkman Klein Center for Internet and Society at Harvard University and a Fellow at the Center for Information Technology Policy at Princeton University during the 2023–2024 academic year. Educational Background : PhD in an interdepartmental program at Massachusetts Institute of Technology (MIT) , involving the MIT Sloan School of Management and the MIT Media Lab , advised by Eric von Hippel, Yochai Benkler, Tom Malone, and Mitch Resnick. MS in Media Arts and Sciences from MIT. B.A. in Technological and Legal History from Hampshire College . Research Interests span peer production, online communities, collective action, cooperation, learning, and computer-mediated communication. His work explores how communication and information technologies shape social outcomes in collaborative environments like Wikipedia and Linux, focusing on governance, moderation, anonymity, and educational platforms such as Scratch. Article Trends : His publications analyze peer production dynamics, privacy in open collaboration, and computational thinking in youth. Topics include underproduction in open source software, algorithmic fairness, taboo knowledge production, and legitimate peripheral participation in online communities. Methodologies combine big data, quasi-experimental, and comparative analyses. Scientific Awards : Dordick Award for Best Dissertation (2013). CHI '22 Best Paper Honorable Mention (2022). CSCW '18 Best Paper Honorable Mention (2018). CHI '17 Best Paper Honorable Mention (2017). CSCW '13 Best Paper Award (2013). CHI '11 Best Paper Honorable Mention (2011). Advising and Grants : He co-founded the Community Data Science Collective and collaborates with researchers like Aaron Shaw. Grants include multiple National Science Foundation awards for studies on digital knowledge commons, anonymous participation, and collaborative success, as well as a Sloan Foundation grant for modeling underproduction in peer production. Labs and Teams : He leads the Community Data Science Collective , an interdisciplinary research group studying online communities, and contributes to open-source projects like Debian and Ubuntu . He actively edits Wikimedia projects and participates in the Cascadia Wikimedians User Group .

• Scientific Machine Learning
• Numerical Linear Algebra
• Numerical Multilinear Algebra
• +7 more

Peter Benner is a Professor and Director at the Max Planck Institute for Dynamics of Complex Technical Systems in Magdeburg, where he leads the Computational Methods in Systems and Control Theory group. He also holds an Honorarprofessor position for Mathematics at Otto-von-Guericke Universität Magdeburg since 2011. Benner has previously served as Managing Director of the Max Planck Institute during multiple periods (2013-2014, 2021-2022, and 2025-2026), demonstrating his leadership in the field. Benner's research focuses on Scientific Machine Learning, Numerical Linear and Multilinear Algebra, Model Order Reduction and Reduced-order Modeling, Numerical Methods in Systems and Control Theory, PDE Constrained Optimization, High-performance and Power-aware Computing, and Mathematical Software development. His work bridges theoretical mathematics with practical engineering applications, particularly addressing challenges in large-scale dynamical systems. Analysis of his recent publications reveals a strong emphasis on developing efficient computational methods for complex systems. Benner has pioneered approaches combining model order reduction with tensor methods to tackle high-dimensional problems in uncertainty quantification and PDE-constrained optimization. His work shows a consistent trend toward integrating data-driven techniques with traditional model-based approaches, particularly for nonlinear and parametric systems. Throughout his career, Benner has actively mentored students and collaborated with researchers worldwide, delivering numerous invited talks at prestigious institutions and conferences across Europe, North America, and Asia. His research has received significant funding, supporting the development of mathematical software and computational methods for industrial applications. Benner leads the Computational Methods in Systems and Control Theory department at the Max Planck Institute, which focuses on developing and implementing advanced numerical methods for large-scale dynamical systems. The group maintains strong connections with both theoretical mathematics and practical engineering applications, particularly in fluid dynamics, energy systems, and control theory.

• Software Engineering
• Deep Learning
• Autonomous Systems
• +3 more

Prof. Dr. Andrea Stocco is a Professor at the Technische Universität München (TUM), affiliated with the TUM School of Computation, Information and Technology. His research focuses on the intersection of software engineering and deep learning, particularly addressing the robustness and reliability of data-intensive systems. Key areas include autonomous vehicles, web application testing, and automated functional oracles for deep learning systems. He leads initiatives such as the Lehrstuhl für Software und Systems Engineering , collaborating on projects like CrESt and SUPPRA – Algorand Center of Excellence . Research interests encompass monitoring techniques for AI-driven systems, test suite maintainability, and scenario-based testing of cyber-physical systems (CPS). His work emphasizes practical applications, such as improving testing frameworks for evolving web applications and enhancing interoperability in autonomous driving systems (ADS). Recent efforts include leveraging large language models (LLMs) for secure code assessment and benchmarking generative AI for test input generation. No scientific awards are explicitly mentioned in the provided texts. His publications reflect a strong focus on testing methodologies, with over 40 articles since 2013, covering domains like web test automation, dependency-aware testing, and safety-critical failure prediction in autonomous systems. Advising and grants details are not detailed in the current data, but his lab contributes to TUM's broader efforts in software engineering and systems reliability.

Stephen MeisenbacherView profile

Researcher

• Privacy-preserving Natural Language Processing (NLP)
• Differential Privacy
• Hybrid, Expert-Driven Classification Systems
• +5 more

Stephen Meisenbacher is a Research Associate at the Technical University of Munich (TUM) , affiliated with the School of Computation, Information and Technology and the Department of Computer Science, I19 . He has been part of the Software Engineering for Business Information Systems (SEBIS) chair since March 2022. His research focuses on Privacy-Preserving Natural Language Processing (NLP) , Differential Privacy , and Privacy-Enhancing Technologies (PETs) , with a particular interest in their integration into software development and business applications. His work also explores Hybrid, Expert-Driven Classification Systems and Usable Privacy solutions. Stephen’s recent publications address trends in AI Privacy Risks , Text Rewriting with DP , Legal AI Use Cases , and Data Protection Compliance . He has contributed to GDPR-related research and PETs adoption in small enterprises. His teaching includes Natural Language Processing seminars and Software Engineering lecture courses for Master’s and Bachelor’s students at TUM. He also organizes Entrepreneurship for Small Software-Oriented Enterprises seminars. Stephen holds a Master’s in Informatics from TUM (DAAD Graduate Scholarship) and a Bachelor’s in Computer Science from the University of Notre Dame, with additional studies in German Language and Literature. Contact: stephen.meisenbacher@tum.de | LinkedIn

Yolanda GilView profile

Research Professor

• Knowledge capture
• Semantic Workflows
• Ontology Tools
• +7 more

Dr. Yolanda Gil is a Research Professor in Computer Science and Spatial Sciences at the University of Southern California, where she serves as Principal Scientist and Senior Director for Strategic Initiatives in Artificial Intelligence and Data Science at the Information Sciences Institute (ISI). She is also the Director of AI and Data Science Initiatives in the Viterbi School of Engineering and leads the USC Center for Knowledge-Guided Interdisciplinary Data Science (CKIDS). Dr. Gil received her Licenciatura in Computer Science from the Polytechnic University of Madrid and her M.S. and Ph.D. in Computer Science from Carnegie Mellon University, with a focus on artificial intelligence and cognitive science. Her research focuses on developing AI approaches that use knowledge to accelerate scientific discovery processes. Her key research interests include knowledge capture and representation, semantic workflows, ontology tools, scientific discovery methods, task-based collaboration, provenance tracking, knowledge networks, reproducibility in science, and machine learning for data analysis. She collaborates with scientists across multiple domains to improve how scientific knowledge is created, shared, and used. Dr. Gil's work has significant impact across multiple scientific domains including climate science, neuroscience, and omics research. Her projects demonstrate her commitment to building knowledge-guided systems that transform how scientists conduct research. She has pioneered approaches to capture the provenance of scientific experiments and to automate the analysis of complex scientific data. Fellow of the Association for Computing Machinery (ACM) Fellow of the Association for the Advancement of Science (AAAS) Fellow of the Institute of Electrical and Electronics Engineers (IEEE) Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) 24th President of the Association for the Advancement of Artificial Intelligence Co-chair of the CRA/AAAI 20-Year Artificial Intelligence Research Roadmap for the US Initiator and leader of the W3C Provenance Group that resulted in a widely-used standard for web trust As an educator and leader, Dr. Gil directs the Data Science Program in Computer Science and serves as Co-Director of multiple joint MSc programs including Communication Data Science, Spatial Data Science, Environmental Data Science, Public Policy Data Science, and Healthcare Data Science. She also leads the new dual degree USC-Tsinghua University on Communication Data Science. Her leadership extends to mentoring numerous students and researchers in AI and data science. Through the USC Center for Knowledge-Guided Interdisciplinary Data Science (CKIDS), Dr. Gil organizes DataFest events each semester, fostering collaboration and innovation in data science across disciplines.

• Medical Informatics
• Artificial Intelligence in Healthcare
• Healthcare Data Integration
• +7 more

Prof. Martin Boeker is a Professor of Medical Informatics at the Technical University of Munich (TUM), affiliated with the TUM School of Medicine and Health. His work focuses on advancing healthcare through AI-driven solutions, interoperability frameworks, and precision medicine initiatives. Key projects include the German Medical Text Corpus (GeMTeX) and the MIRACUM DIFUTURE Alignment Hub. Expertise: Medical Informatics, AI in Healthcare, Federated Learning, Health Data Integration Key Contributions: FHIR-based systems, clinical decision support, patient-centered outcomes research Leadership: Director of the Institute for AI and Informatics in Medicine at TUM Hospital Right of the Isar Research emphasizes bridging clinical practice and data science through projects like modular health crawlers, automated guideline adherence monitoring, and cross-institutional medical NLP solutions. His work spans oncology informatics, rare disease management, and pandemic response data ecosystems. Recent articles highlight innovations in digital twins for precision oncology, federated analysis in oncology, and German-language medical NLP challenges. He collaborates internationally on EHR standardization and healthcare interoperability, contributing to the Medical Informatics Initiative (MII) and pandemic evidence ecosystems. Grants and collaborations involve the German Federal Ministry of Education and Research, European initiatives, and industry partnerships. Educational efforts focus on training future medical informatics professionals through MII competency programs.

Elena SimperlView profile

Professor

• Human-centric AI
• Knowledge Graphs
• Knowledge Engineering
• +7 more

Elena Simperl is a Professor of Computer Science and Deputy Head of Department for Enterprise and Engagement at King's College London's Department of Informatics. She co-directs the King's Institute for Artificial Intelligence and serves as Director of Research for the Open Data Institute. As a Hans Fischer Senior Fellow at the Technical University of Munich's Institute for Advanced Study, she leads the Trustworthy Knowledge Graphs focus group and contributes to advancing human-centric AI research across European institutions. Professor Simperl obtained her doctoral degree in Computer Science from the Free University of Berlin and her diploma from the Technical University of Munich. Prior to joining King's, she held academic positions in Germany, Austria, and at the University of Southampton, and was a Turing Fellow. Her career trajectory demonstrates consistent leadership in bridging academic research with practical applications in data ecosystems. Her research sits at the critical intersection of AI and social computing, focusing on human-centric approaches to building sociotechnical systems that integrate data, algorithms, and human capabilities. She investigates how to make knowledge engineering more accessible, how to leverage collective intelligence for data quality improvement, and how to design participatory AI systems that address societal challenges like misinformation. Her work spans knowledge graphs, semantic technologies, crowdsourcing, and open data, with particular emphasis on the social dimensions of data-intensive systems and the governance frameworks needed for trustworthy AI deployment. Analysis of her recent publications reveals a strong evolution toward integrating large language models with traditional knowledge engineering practices while maintaining human oversight. There's a clear trajectory from foundational work on knowledge representation toward increasingly applied research addressing real-world challenges in media ecosystems, citizen science, and data governance, with growing attention to policy implications of AI technologies. Fellow of the British Computer Society Fellow of the Royal Society of Arts Hans Fischer Senior Fellow at TUM-IAS (2023) Ranked among top 100 most influential scholars in knowledge engineering of the last decade Included in Women in AI 2000 ranking Professor Simperl has led 14 major European and national research projects totaling millions in funding, including MediaFutures (a Horizon 2020 program tackling online misinformation), QROWD, ODINE, Data Pitch, and ACTION. She currently co-chairs the Croissant working group in ML Commons developing data standards for AI, and serves as president of the Semantic Web Science Association. Her research has directly influenced the development of data ecosystems supporting startups and citizen science initiatives across Europe, demonstrating exceptional ability to translate theoretical advances into practical impact. As Director of Research at the Open Data Institute, she oversees initiatives connecting data entrepreneurs with artists and civic organizations. Her leadership in the MediaFutures project established a data-driven innovation hub that supported 51 startups/SMEs and 43 artists through three open calls, creating a sustainable model for arts-technology collaborations addressing media challenges. Her work with the ODINE project helped create a European ecosystem for data-driven startups, demonstrating her commitment to building practical applications of open data principles.

• Computational Pathology
• Medical Image Analysis
• Deep Learning
• +4 more

Nasir M. Rajpoot is a Professor in the Department of Computer Science at the University of Warwick, UK. His research focuses on computational pathology, medical image analysis, and deep learning applications in histology. He leads interdisciplinary projects integrating artificial intelligence with healthcare, particularly in cancer diagnostics and pathology workflows. Rajpoot’s work emphasizes developing robust algorithms for histology image analysis, including nuclear segmentation, tumor classification, and domain generalization in computational pathology. His contributions include the TIAToolbox, an open-source framework for tissue image analytics, and the CoNIC Challenge to advance nuclear detection and counting in histology images. He collaborates with clinicians and biologists to translate AI models into clinical practice, addressing challenges like tumor heterogeneity and staining variability. Rajpoot’s research spans colorectal, lung, and oral cancers, with a focus on predicting clinical outcomes via histological features and genomic data integration. Notable projects include the development of Handcrafted Histological Transformer (H2T) for unsupervised representations of whole slide images and the SAFRON framework for histology image synthesis. His work addresses domain adaptation, robustness evaluation, and explainability in AI-driven pathology systems.

• 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.

Oliver HohlfeldView profile

Professor

• Network Security
• Network Measurements
• Internet Architecture
• +9 more

Oliver Hohlfeld is a Professor at the University of Kassel, where he leads the Distributed Systems group. He previously held academic positions at Brandenburg University of Technology and RWTH Aachen University, and was a visiting scholar at the University of Wisconsin–Madison. His research focuses on network security, Internet measurements, and Quality of Experience (QoE). He completed his Ph.D. in Computer Science at TU Berlin under Anja Feldmann and holds a B.Sc. and M.Sc. from Darmstadt University of Technology. He also worked at Fraunhofer IGD on telemedical network architectures. His research adopts a data-driven approach, combining large-scale Internet measurements, user studies, and machine learning to understand and improve Internet performance and security. Key areas include DDoS detection, QUIC, HTTP/2, TLS deployment, and BGP analysis. He investigates how protocols like QUIC and HTTP/2 impact user experience and network efficiency, often through empirical studies of real-world deployments. His recent publications highlight a strong trend in network security and protocol analysis, with significant work on DDoS attacks, traffic ingress detection, and web consolidation. He also explores social media dynamics and censorship circumvention through user reviews. 2022 IETF/IRTF Applied Networking Research Prize Best of CCR (2021) for TLS 1.3 deployment study ACM Senior Member (2020) IEEE QoMEX 2019 Best Reviewer Award ACM IMC Community Contribution Award (2018) He has advised numerous Master’s and Bachelor’s students, primarily at RWTH Aachen, and has been a principal investigator in major projects such as AIDOS (AI-based DDoS mitigation), DFG SFB MAKI, COMTEX, and the EU-funded SSICLOPS. He actively serves on the technical program committees of top-tier conferences including SIGCOMM, NSDI, IMC, and CoNEXT, and is a frequent reviewer for leading journals in networking and systems. He leads the Distributed Systems group at the University of Kassel, which conducts research on Internet observability, secure infrastructures, and scalable networking solutions.