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 .

Nils FleischhackerView profile

Assistant Professor

• Cryptography
• Theoretical Computer Science
• Zero-Knowledge Proofs
• +5 more

Nils Fleischhacker is an Assistant Professor for Cryptography at Ruhr University Bochum, where he leads the Theoretical Cryptography group within the Faculty of Computer Science. His research focuses on foundational aspects of cryptography with particular emphasis on zero-knowledge proofs, digital signatures, and secure computation. Prior to joining Ruhr University, he held postdoctoral positions at Johns Hopkins University and Carnegie Mellon University. Dr. Fleischhacker received his PhD in Computer Science from Saarland University in February 2017, advised by Dominique Schröder. During his doctoral studies, he was a research intern at Microsoft Research with Chris Brzuska and a research visitor at the University of Maryland, College Park with Jonathan Katz and Dana Dachman-Soled. His research spans theoretical cryptography with significant contributions to zero-knowledge proofs, multi-signature schemes, property-preserving hash functions, and security proofs for cryptographic primitives. Fleischhacker's work often addresses fundamental questions about the limits and possibilities of cryptographic constructions, with particular attention to black-box separations and lower bounds. His recent publications demonstrate a strong focus on lattice-based cryptography and post-quantum secure protocols. Fleischhacker's publications over the past five years reveal a consistent research trajectory focused on improving the efficiency and security of cryptographic primitives, with particular emphasis on signature schemes, zero-knowledge protocols, and secure computation frameworks. His work frequently appears in top-tier cryptography venues including CRYPTO, EUROCRYPT, and CCS. Dr. Fleischhacker actively mentors PhD students, with numerous successful graduations spanning from 2010 to 2024. His former PhD students include Önder Askin (2024), Floyd Zweydinger (2023), and Lars Schlieper (2022), among others. His research is supported through various academic channels and collaborations. He is affiliated with several prominent research organizations including the Horst Görtz Institute (HGI) for Information Security, the DFG Excellence Cluster CASA, the EU Marie Curie Network QSI, and the International Association for Cryptologic Research (IACR). These affiliations provide a strong institutional framework for his theoretical cryptography research.

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

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.

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.

Knut ReinertView profile

Professor

• Algorithmic Bioinformatics
• Genomic Sequence Analysis
• Proteomics
• +7 more

Professor Knut Reinert is a leading figure in algorithmic bioinformatics at the Free University of Berlin, where he holds a professorship in the Department of Mathematics and Computer Science. He also maintains a significant affiliation with the Max Planck Institute for Molecular Genetics in Berlin, where he leads the Efficient Algorithms for Omics Data group. His research spans both institutions through the Reinert Lab, which focuses on developing novel computational approaches for biological data analysis. Reinert's educational background includes a Diploma in Computer Science (1994) and a Doctorate (Dr. Ing./Ph.D., 1999, with honors) from the Max-Planck-Institut for Computer Science and Universität des Saarlandes in Saarbrücken. Prior to his professorship, he worked as a computer scientist under Prof. Gene Myers at Celera Genomics in Rockville, USA (1999-2002). His primary research interests center on algorithmic bioinformatics with specific focus on developing novel algorithms and data structures for biomedical mass data analysis. This includes creating mathematical models for genomic sequence analysis and algorithms for mass spectrometry data to detect differential protein expression between normal and diseased samples. His work bridges the gap between computational tool development and practical biological applications, with particular emphasis on NGS and proteomics data. The publications and projects led by Prof. Reinert demonstrate a consistent focus on advancing computational methods in bioinformatics. His research spans genomic sequence analysis, RNA research (particularly long non-coding RNAs), parallel computing applications, and GPU acceleration for biological data processing. The work shows increasing sophistication in handling large-scale biological datasets through innovative algorithmic approaches. Intel® Parallel Computing Center designation for his lab CUDA Research Center status DFG funding of 530 thousand Euros for RNA research de.NBI funding of 2 million Euros BMBF funded projects 'LIVE-DREAM' and 'EssBar' Prof. Reinert leads multiple significant research projects and has established strong collaborations with international partners including Texas A&M, Kings College London, Eberhardt-Karls Universität Tübingen, Robert-Koch-Institute, and various Turkish institutions. His lab receives funding from major organizations including DFG, BMBF, and Intel. The Reinert Lab maintains active teaching responsibilities at FU Berlin, offering courses at BSc, MSc, and PhD levels using both traditional and innovative learning concepts like e-learning and inverted classrooms. The Reinert Lab consists of two interconnected research groups that work closely with experimental biologists and medical researchers to develop practical computational solutions for real-world biological problems. The lab has established itself as a key player in the German and international bioinformatics community through its development of the widely-used SeqAn library and participation in national infrastructure initiatives.

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

• Network Security
• Android Security
• Malware Analysis
• +6 more

Vijay Laxmi is a Professor in the Department of Computer Science and Engineering at Malaviya National Institute of Technology (MNIT) Jaipur, India. With over a decade of active research publication from 2014-2024, Dr. Laxmi has established themselves as a prominent researcher in network security, Android security systems, and Network-on-Chip architectures. Their work demonstrates consistent collaboration with Manoj Singh Gaur and numerous doctoral students at MNIT Jaipur. Dr. Laxmi's research interests span Network Security, Android Security, Malware Analysis, Network-on-Chip Architectures, Routing Protocols, Side-Channel Attacks, Wireless Networks, and Mobile Security. Their work bridges theoretical security frameworks with practical implementations, particularly in mobile and embedded systems. Recent publications indicate a growing focus on AI-based security approaches including GAN applications for fuzzing and deep learning for image dehazing. The research trajectory shows increasing sophistication in security analysis techniques, evolving from basic malware detection to advanced side-channel attack analysis and sophisticated network security protocols. Recent publications demonstrate expertise in both theoretical frameworks and practical implementations with applications in real-world security challenges. Dr. Laxmi has mentored numerous graduate students including Vineeta Jain, Anugrah Jain, Sonal Yadav, Mohit Singh, and Gaurav Singal, who appear as co-authors across multiple publications. Their collaborative network extends to researchers at international institutions, indicating strong academic connections beyond their home institution.

Yangruibo DingView profile

Assistant Professor

• Software Engineering
• Large Language Models
• Agentic Systems
• +7 more

Yangruibo Ding is an incoming Assistant Professor in the Department of Computer Science at the University of California, Los Angeles (UCLA), and currently serves as a Postdoctoral Scientist at AWS Agentic AI. He has held significant research positions at Google DeepMind, Amazon AWS AI Labs, and IBM Research, establishing himself as a leading researcher in software engineering with a focus on large language models for code. His research focuses on developing large language models (LLMs) and agentic systems for software engineering. He specializes in training LLMs with advanced symbolic reasoning capabilities for debugging, testing, program analysis, and verification. His work aims to build efficient, collaborative agentic systems for complex software development and maintenance tasks, with particular emphasis on code generation, vulnerability detection, and execution-aware pre-training techniques. Dr. Ding's publication record reveals a strong trajectory toward enhancing code intelligence through comprehensive semantics reasoning and self-refinement approaches. His research spans multiple dimensions of software engineering including code completion, vulnerability detection, model evaluation, and cross-file context understanding, with applications across various programming languages and development environments. Dr. Ding has received numerous prestigious awards recognizing his contributions to the field: IBM Ph.D. Fellowship Award (2022-2024) ACM SIGSOFT Distinguished Paper Award (2023) IEEE TSE Best Paper Award Runner-up (2022) Ph.D. Service Award, Columbia CS (2025) NSF Student Travel Award for ESEC/FSE'23 (2023) ACM SIGSOFT CAPS Travel Grant (2023) NSF Travel Award for ICSE'22 (2022) As he establishes his research group at UCLA, Dr. Ding is actively seeking students with strong coding skills and experience in large language models, program analysis, verification, or security. He serves on program committees for major conferences including ICSE (2026), ASE (2024, 2025), and ESEC/FSE Artifacts Track (2023), and regularly reviews for top-tier conferences and journals in AI and software engineering. His research is conducted through collaborations with leading industry teams including AWS Agentic AI, Google DeepMind's Learning4Code team, and IBM Research's AI for Code team, creating a robust network of industry-academia partnerships that drive innovation in software engineering research.

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.

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

Ingo ScholtesView profile

Professor

• Network Science
• Graph Neural Networks
• Computational Social Science
• +4 more

Prof. Dr. Ingo Scholtes is Chair of Machine Learning for Complex Networks at Julius-Maximilians-Universität Würzburg's Center for Artificial Intelligence and Data Science (CAIDAS). His research spans network science, graph machine learning, and computational social science, with applications in software engineering, ecology, biology, and physics. He received a Juniorfellowship from the German Informatics Society (2014) and an SNSF Professorship (CHF 1.5Mio, 2018). Current affiliations: JMU Würzburg (since 2021), University of Zurich (2018-2024), Bergische Universität Wuppertal (2019-2021) Research focus: Higher-order network modeling, temporal graph analysis, AI for collaborative systems, causality-aware machine learning His recent publications demonstrate strong trends in temporal network analysis , graph neural networks for time-series, and higher-order models across software engineering and social science domains. He co-chairs multiple international workshops on complex networks and serves as associate editor for EPJ Data Science and Advances in Complex Systems. Key scientific contributions: Foundational work on higher-order network models published in Nature Physics Methodological innovations in temporal network visualization (HOTVis) and path-based analysis (pathpy) As both educator and organizer, he leads the Computational Social Science Section at GI e.V., mentors across disciplines, and develops tools like git2net for collaboration analysis. His work bridges theoretical foundations with practical applications in network science.

• Self-organized criticality
• Neuronal network dynamics
• Excitation/Inhibition balance
• +5 more

Anna Levina is an Assistant Professor for Computational Neuroscience at the University of Tübingen , affiliated with the Department of Computer Science under the Faculty of Science. Her research focuses on the self-organization of neuronal activity, critical dynamics in neural networks, and the excitation/inhibition balance in cortical circuits. Current positions: Assistant Professor (since 2018), Group Leader (2017-2018), Equality Officer (Computer Science) Previous roles: IST Fellow (2015-2017), Associated Researcher (2011-2015), Postdoc/PI (2011-2015), Postdoc (2008-2011) Her research integrates mathematical modeling , statistical physics , and computational neuroscience to study criticality phenomena, neural avalanches, and adaptive network dynamics. Key interests include: Self-organized criticality in neural systems Excitation/Inhibition balance mechanisms Network topology and dynamics Timescale analysis in neural processing Stochastic modeling of neural activity Recent publications reveal trends in understanding critical dynamics across biological and artificial networks, with applications to memory systems, sensorimotor integration, and disease modeling. She has received recognition as an IST Fellow .

• Computer Architecture
• Non-Volatile Memory Systems
• Deep Learning Systems
• +3 more

Jishen Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University of California, San Diego (Jacobs School of Engineering). His research focuses on computer architecture, non-volatile memory systems, and deep learning acceleration. Dr. Zhao has published extensively in top venues including ISCA, MICRO, ASPLOS, and IEEE Transactions. He collaborates with researchers at UCSD and beyond to advance systems for emerging applications in AI and autonomous vehicles. Dr. Zhao's primary research areas include persistent memory systems, hardware/software co-design for deep learning, and safety-critical computing. He develops techniques for crash consistency, memory disaggregation, and efficient neural network deployment. His work on autonomous vehicles addresses scenario generation and perception-aware system design. Recent projects explore LLM applications for software engineering and hardware verification. Analysis of Dr. Zhao's 2024-2025 publications reveals a strong shift toward AI-integrated systems research. He applies large language models to tasks like RTL verification and software issue localization while continuing to innovate in memory systems for serverless computing. There is growing emphasis on safety-critical systems for autonomous vehicles and energy-efficient neural network training using novel hardware architectures. Information about Dr. Zhao's scientific awards, advising activities, grants, and laboratory facilities was not available in the provided documentation.

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