Find Academic Supervisors

Yiting XiaView profile

Assistant Professor

• Computer Networks
• Data Center Networking
• Optical Communications
• +3 more

Dr. Yiting Xia is a tenure-track faculty member at the Max Planck Institute for Informatics (MPI-INF), leading the Network and Cloud Systems research group. She previously worked as a research scientist at Facebook and holds a PhD in Computer Science from Rice University (2018) and a B.S. in Telecommunications Engineering from Beijing University of Posts and Telecommunications and Queen Mary University of London (2011). Her research focuses on high-performance and energy-efficient networking for cloud computing, including reconfigurable data center networks, optical communications, and network protocols. Notable contributions include innovations in transport protocols, time synchronization for optical networks, and failure-resilient network design. Education: PhD in Computer Science, Rice University, 2018 M.S. in Computer Science, Rice University, 2014 B.S. in Telecommunications Engineering, BUPT & QMUL, 2011 Research Interests: Data center networking, optical communications, cloud systems, network protocols, distributed systems, and network security. Her work bridges theoretical contributions with practical implementations, addressing challenges in latency-sensitive flows, traffic engineering, and system reliability. Awards include the Ken Kennedy-Cray Fellowship and the N2Women Rising Star Award (2021). She has co-lectured courses on distributed systems and data networks at Saarland University and previously contributed to teaching at Rice University. Key projects include Aurora (for MoE inference optimization), Lighthouse (an open research framework for optical networks), and Occam (a reliable network management system). Grants & Projects: Focus on deployable optical network architectures and resilient backbone management during pandemic-driven traffic shifts. Labs/Teams: Leads the Network and Cloud Systems group at MPI-INF, collaborating with academia and industry on cutting-edge networking solutions.

• Computer Security
• Network Security
• Systems Security
• +4 more

Nuno Santos is an Associate Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico (IST), University of Lisbon, and a senior researcher at INESC-ID Lisbon. He leads the SysSec team, focusing on systems security and privacy. His research spans secure enclaves, network security, and censorship-resistant systems. Education: Ph.D. in Computer Science (2013) from Max Planck Institute for Software Systems (MPI-SWS) in affiliation with Saarland University. Visiting research stints at Vrije Universiteit Amsterdam (2018) and Technical University of Munich (2024). Research Interests: Systems security, privacy, trusted execution environments (TEEs), network security, censorship resistance, AI security, and secure cloud computing. He has pioneered work on mitigating vulnerabilities in TrustZone-based TEEs and enhancing confidential computing. Publications: Over 30+ peer-reviewed articles in top-tier venues like S&P, USENIX Security, CCS, and NDSS. Recent trends focus on AI-driven security (e.g., automated exploit generation, prompt-to-SQL injections) and confidential computing (e.g., AMD SEV-SNP analysis). Awards: IST Outstanding Teaching Award (2019/2020), 2024 Prémio Científico Universidade de Lisboa/Caixa Geral de Depósitos. Advising & Grants: Supervised MSc theses in areas like AI-powered vishing attacks and confidential VMs. Active in conference organization (e.g., USENIX Security’25 Vice Chair, IEEE EuroSP’26 Co-Chair). Labs/Teams: Leads the SysSec team at INESC-ID Lisbon, collaborating on projects like AnyTEE (TEE framework) and FlowLens (network security tool).

• Database Systems
• Distributed Databases
• Transaction Processing
• +5 more

Daniel J. Abadi is a prominent researcher in database systems at Yale University. With over two decades of impactful research, he has made significant contributions to the fields of distributed databases, transaction processing, and column-oriented database systems. His work bridges theoretical foundations with practical implementations that have influenced both academia and industry. Dr. Abadi's research primarily focuses on database system architecture, with particular emphasis on: Distributed and geo-replicated database systems High-performance transaction processing Column-oriented and analytical database systems Stream processing and real-time analytics Cloud and serverless database technologies Integration of machine learning with database systems His recent work shows a continued focus on addressing scalability challenges in modern database systems, with particular attention to multi-region transaction processing, automated data management, and the integration of machine learning techniques. The trend in his publications indicates a strong emphasis on practical, deployable systems that solve real-world problems faced by industry. Dr. Abadi has been instrumental in several major research initiatives and reports that have shaped the direction of database research, including the Seattle Report and the Cambridge Report on Database Research. Throughout his career, Dr. Abadi has mentored numerous students and collaborated extensively with leading researchers in the field. His work has received significant recognition through widespread citations and adoption of his ideas in both academic and industrial database systems.

• Computer Architecture
• Hardware Acceleration
• Approximate Computing
• +3 more

Akash Kumar is a Professor at Ruhr University Bochum, Germany, with affiliations to multiple institutions including TU Dresden and National University of Singapore. His research focuses on computer architecture, hardware acceleration, and approximate computing, with a strong emphasis on FPGA-based systems and neural network optimization. He has contributed extensively to embedded systems, mixed-criticality systems, and security in emerging technologies like reconfigurable nanodevices. His work spans cross-layer approximation methodologies, graph neural networks, and energy-efficient processing for edge AI. Collaborations with industry and academia highlight his leadership in VLSI design and secure hardware implementations. Notable contributions include frameworks for bounding time in mixed-criticality systems and resilient logic locking techniques. Research interests include hardware-software co-design, real-time systems, and efficient neural network architectures. His publications in top-tier conferences (DAC, DATE, FCCM) and journals (IEEE Trans. CAD, ACM TECS) underscore his impact in the field.

• Embedded Systems
• Hardware-Software Co-Design
• Invasive Computing
• +7 more

Prof. Dr.-Ing. Jürgen Teich is a full Professor and Chair for Hardware-Software Co-Design at the Department of Computer Science, Friedrich Alexander University Erlangen-Nuremberg (FAU). He serves as Head of Department Computer Science and Vice Dean of the Technical Faculty since August 2024, and has been Speaker of the FAU Research Center Embedded System Initiative (FAU ESI) since 2023. His educational background includes: Diploma degree in Electrical Engineering, University of Kaiserslautern (1989) Dr.-Ing. degree in Electrical Engineering, University of Saarland (1993) Habilitation (PD Dr.-Ing.) entitled "Synthesis and Optimization of Digital Hardware/Software Systems" (1996) Prof. Teich's research focuses on Embedded Systems , Invasive Computing , Hardware-Software Co-Design , and Reconfigurable Computing . His work spans from theoretical foundations to practical implementations, with particular emphasis on resource-constrained systems, many-core architectures, and energy-efficient computing. He has pioneered research in invasive computing paradigms that enable more efficient use of many-core processors by allowing applications to dynamically claim resources. His recent publications reveal a strong trend toward energy-efficient AI deployment on embedded devices , security of embedded systems , and novel memory technologies . There's a clear focus on practical implementations of machine learning on microcontrollers (TinyML), hardware acceleration for data processing, and innovative approaches to power management in self-powered systems. Among his notable scientific awards are: IEEE Fellow (since 2018) Member of Academia Europaea, Section Informatics (since 2011) Member of the National Academy of Science and Engineering (acatech) (since 2018) Member of the German Society of Humboldtians (since 2021) Prof. Teich has been Principal Investigator for numerous DFG-funded projects including SFB/Transregio 89 "Invasive Computing" (2010-2022), SFB 694, and multiple priority programs. He has coordinated large collaborative research efforts across Germany and internationally, with significant funding from DFG and other sources. His research group has produced influential work in embedded systems design and co-design methodologies. He leads the Hardware-Software Co-Design research group at FAU, which focuses on innovative approaches to embedded system design, invasive computing architectures, and efficient implementation of machine learning on resource-constrained devices. The group maintains strong collaborations with industry partners including Intel, Xilinx, and automotive companies.

James C. DavisView profile

Assistant Professor

• Empirical software engineering
• Security
• Safety
• +7 more

James C. Davis is an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering at Purdue University. He leads the Duality Lab, which focuses on the engineering of software-intensive computing systems with particular interest in how these systems fail and how those failures can be mitigated. His research takes a socio-technical approach, considering both human and technical perspectives in system engineering. Dr. Davis received his PhD in Computer Science from Virginia Tech, where he was advised by Dongyoon Lee. His research interests span empirical software engineering, security, safety, testing, and web technologies, with a strong emphasis on practical impact and measurement. He applies a socio-technical philosophy to his work, believing high-quality systems must be engineered considering both human and technical perspectives. His recent research focuses on software supply chain security, regular expression vulnerabilities (particularly ReDoS), pre-trained model security, and failure analysis in software systems. His work often involves empirical studies of real-world software systems and security practices, with a strong emphasis on practical impact and measurable results. Dr. Davis has received significant funding from the National Science Foundation, Google, Cisco, and Rolls Royce for his research. His publications appear in top-tier venues including ICSE, FSE, ASE, and USENIX Security. He has served on program committees for many major software engineering and security conferences. Among his notable achievements are being elevated to IEEE Senior Member in 2022, receiving the Ruth and Joel Spira Outstanding Teacher Award from ECE@Purdue in 2022, and multiple Best Paper and Best Poster awards. He has successfully mentored numerous PhD and Master's students, with several completing their theses on topics related to software security and engineering. Dr. Davis actively recruits graduate and undergraduate research assistants for his Duality Lab, which has produced influential work on software failure analysis, regular expression security, and machine learning supply chain security. His lab is supported by multiple federal and industry grants focused on improving the security and reliability of software systems.

• Hyperdimensional Computing
• Neuromorphic Hardware
• In-Memory Computing
• +3 more

Paul R. Genssler is a Dr.-Ing. researcher at the Chair of AI Processor Design (AI-Pro) within the Technical University of Munich (TUM), actively advancing hardware solutions for artificial intelligence under Prof. Hussam Amrouch. His work bridges computer engineering and emerging technologies, focusing on overcoming fundamental limitations in conventional computing architectures through brain-inspired paradigms. His research spans critical domains in next-generation computing: Hyperdimensional Computing for robust pattern recognition and bioinformatics applications Neuromorphic and In-Memory Computing architectures for energy efficiency Reliability engineering for emerging memory technologies (FeFET, etc.) Quantum computing support systems including cryogenic embedded electronics Machine learning-driven transistor aging prediction and mitigation Analysis of his 15 most recent publications (2023-2024) reveals a dominant trend toward hyperdimensional computing as a unifying framework for addressing reliability challenges in emerging technologies. His work consistently integrates in-memory computing techniques to bypass von Neumann bottlenecks while targeting real-world applications like genome matching and unsupervised learning. A significant portion focuses on error-resilient implementations for unreliable nanoscale devices, demonstrating exceptional cross-stack expertise from transistor physics to algorithm design. As a core member of TUM's AI Processor Design group affiliated with the Munich Institute of Robotics and Machine Intelligence (MIRMI), Genssler collaborates extensively on projects spanning cryogenic quantum control systems, FPGA-based AI resilience, and monolithic 3D integration. The team operates at the intersection of semiconductor physics, computer architecture, and machine learning, with strong industry connections evident through publications at DATE, ASP-DAC, and ICCAD.

Saman AmarasingheView profile

Professor

• Programming Languages
• Compilers
• Domain-Specific Languages
• +7 more

Professor Saman Amarasinghe is a full Professor in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology (MIT), and Principal Investigator at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). He leads the Commit compiler research group, which focuses on programming languages and compilers that maximize application performance on modern computing platforms. His work spans multiple academic departments and research centers, with strong affiliations to both MIT's School of Engineering and CSAIL. Professor Amarasinghe's research interests center around high-performance domain-specific languages and compiler technology . His work combines language design with sophisticated compilation techniques to deliver unprecedented performance for targeted application domains. His research spans multiple areas including image processing (Halide), sparse tensor algebra (TACO), graph analytics (GraphIt), stream computations (StreamIt), and bioinformatics (Seq). A significant thread throughout his work is the application of machine learning for compiler optimizations, from Meta optimization in 2003 to the OpenTuner autotuner framework. Analysis of Professor Amarasinghe's recent publications reveals a strong focus on sparse computing , compiler vectorization , and domain-specific language implementation . His work consistently bridges theoretical compiler concepts with practical performance gains across diverse application domains. The progression from earlier work on StreamIt and Halide to more recent projects like GraphIt and TACO shows an evolution toward more specialized, high-performance DSLs targeting specific computational patterns. His 2020-2025 publications particularly emphasize sparse tensor operations, GPU acceleration, and machine learning integration with compiler technology. ACM Fellow (2019) Professor Amarasinghe has made significant contributions to academic entrepreneurship and student development. He founded Determina, Inc. (acquired by VMware) based on security research from his MIT lab and co-founded Lanka Internet Services, Ltd., Sri Lanka's first ISP. As faculty director of MIT Global Startup Labs, his programs across 17 countries have helped create over 20 successful startups. His teaching includes the popular Performance Engineering of Software Systems (6.172) course with Professor Charles Leiserson, as well as innovative project-based courses like the Open Source Software Project Lab and Bring Your Own Software Project Lab. His educational approach emphasizes hands-on experience with compiler and language design concepts. Professor Amarasinghe leads the Commit compiler research group at MIT CSAIL, which has produced numerous influential domain-specific languages and compilers including Halide, TACO, Simit, StreamIt, and GraphIt. The lab maintains strong industry connections through projects like OpenTuner and Determina, and collaborates with researchers worldwide on compiler technology. The group's work spans both theoretical compiler research and practical implementation, with a consistent focus on bridging the performance gap between high-level programming abstractions and hardware capabilities.

Florian KnollView profile

Professor

• Medical Imaging
• Machine Learning
• Magnetic Resonance Imaging (MRI)
• +3 more

Prof. Dr. Florian Knoll is a full professor in Computational Imaging at the Department of Artificial Intelligence in Biomedical Engineering (AIBE) at Friedrich-Alexander-Universität Erlangen-Nürnberg. He leads the Computational Imaging Lab, focusing on machine learning applications in medical imaging, particularly accelerating MRI through innovative reconstruction algorithms and translating them into clinical practice. His research emphasizes improving MRI speed, artifact robustness, and accessibility, alongside developing quantitative biomarkers for disease processes. Knoll's work is funded by NIH grants, including projects on machine learning for musculoskeletal imaging, MR fingerprinting, and deep learning frameworks for MRI reconstruction. He is a key figure in open science initiatives, co-creating the fastMRI dataset with Facebook AI, providing public access to over 1300 knee and 7000 brain MRI scans. He currently serves as deputy editor of Magnetic Resonance in Medicine and chairs the ISMRM Reproducible Research Study Group. His contributions extend to reproducible research, maintaining GitHub repositories with code for image reconstruction techniques (e.g., AGILE, gpuNUFFT) and educational materials. He teaches medical imaging fundamentals at FAU, integrating theoretical and practical insights for students and researchers. Grants: NIH R01EB024532, R21EB027241, P41EB017183, R01EB029957 Labs/Teams: Computational Imaging Lab, fastMRI initiative Software: GitHub repositories for MRI reconstruction (e.g., github.com/FlorianKnoll )

Daniel Müller-GritschnederView profile

Adjunct Professor

• TinyML
• Embedded Software Development
• Soft Error Resilience
• +4 more

Daniel Müller-Gritschneder is an Adjunct Teaching Professor (Privatdozent) at the Technical University of Munich (TUM), affiliated with the Chair of Electronic Design Automation. He leads the 'Electronic System Level' research group, focusing on embedded systems, TinyML, virtual prototyping, and hardware resilience. He temporarily served as head of the Chair of Real-Time Systems (2019–2020) and holds a senior membership in IEEE. His research spans: TinyML : Optimizing neural network inference for microcontrollers. Virtual Prototyping : Fast simulation for embedded software development (e.g., ETISS simulator). Runtime Verification : Hardware monitoring for safety-critical systems. Fault Tolerance : Cross-layer resilience against soft errors. Design Automation : NoC synthesis and RISC-V toolchain optimization. His publications emphasize RISC-V-based systems, TinyML deployment, fault injection, and embedded AI. Recent works show trends toward compiler-assisted security, thermal management, and automated design-space exploration for edge devices. Awards: Best Paper Award (SiPS 2019) Habilitation Award (Bund der Freunde der TUM, 2019) 2nd Best Paper (SMACD'15) Best Paper nominations at DAC'07, DATE'10, Analog'10, NOCS'13 He advises researchers in the Electronic System Level group and contributes to EU projects (e.g., Scale4Edge). His lab develops tools like ETISS, MLonMCU, and Seal5 for RISC-V and TinyML ecosystems.

• Machine Learning
• Optimization
• Federated Learning
• +8 more

Peter Richtarik is a Professor at the King Abdullah University of Science and Technology (KAUST), specializing in Machine Learning, Optimization, and Federated Learning. He actively teaches courses such as Stochastic Gradient Descent Methods and mentors PhD and MS students like Konstantin Burlachenko, Kai Yi, and Lukang Sun. His research spans distributed optimization, parameter-efficient fine-tuning, and theoretical frameworks for non-convex and non-smooth problems. Recent work includes 2025 contributions to Bernoulli-LoRA (theoretical PEFT) and Gluon (LMO-based optimizers). He co-developed Thanos (block-wise pruning) and BurTorch (CPU-optimized training framework). His publications focus on communication efficiency ( ATA , LoCoDL ), differential privacy ( DP-RBCD ), and stochastic proximal methods. Richtarik received the Charles Broyden Prize for his work on quasi-Newton methods. He frequently presents at workshops like MLSS in Senegal and FLOW seminars.

• Embedded Machine Learning
• Neural Network Hardware Acceleration
• Quantized Neural Networks
• +3 more

Lukas Einhaus is a Researcher and PhD student in the Embedded Systems department at the University of Duisburg-Essen since April 2020, affiliated with the Intelligent Embedded Systems (IES) research group and contributing to initiatives including Elastic AI and the IoT Garage. His academic background includes: Bachelor of Science from University of Duisburg-Essen, thesis focused on programming abstractions for concurrent embedded systems Master of Science from University of Duisburg-Essen, specializing in distributed and reliable systems with thesis research on quantizing neural networks Einhaus's research centers on designing neural networks for efficient hardware implementation on FPGAs, with primary expertise in quantized or low-precision neural networks that reduce bit depth (typically 1-3 bits) for computations and information flow. This work enables energy-efficient AI solutions for embedded and IoT devices where resource constraints are critical. His publication record from 2021-2025 reveals consistent innovation in FPGA-based neural network optimization, with applications spanning fluid flow estimation, time-series analysis, and real-time stream processing. Core themes include Elastic AI for adaptive systems, precomputation techniques for convolutional layers, and hardware-aware neural architecture design. He previously contributed to the BMBF-funded project "KI-Sprung: LUTNet" (until March 2022), developing energy-efficient AI networks using elementary lookup tables for FPGA deployment. Einhaus actively mentors students through the IoT Garage initiative, supervising practical projects including drink-mixing machines, exoskeletons, and ball-challenge systems.

• Wireless Communications
• Signal Processing
• MIMO Systems
• +3 more

Konstantinos Nikitopoulos is a Professor at the University of Surrey , UK, specializing in Wireless Communications and Signal Processing . His research focuses on MIMO Systems , Open-RAN , and Non-Linear Processing for next-generation wireless networks. His recent work explores Analogue Processing for Tbps Wireless Systems and Neuromorphic Computing in MU-MIMO detection. He has developed frameworks like MIMO-SoftiPHY and SACCESS for software-based radio acceleration and power-efficient network design. Key Publications : Power-Efficient RIC, NL-COMM, NeuroMIMO Collaborators : Rahim Tafazolli, George Katsaros, Marcin Filo His research impacts 6G Network Development through innovations in Beamforming , Channel Estimation , and Software-Defined Radios .

Ruben MartinsView profile

Assistant Professor

• Constraint Programming
• Program Synthesis
• Formal Verification
• +3 more

Ruben Martins is an Assistant Professor at Carnegie Mellon University's School of Computer Science and serves as the program director of the Master of Science in Computer Science (MSCS) . His research focuses on the intersection of constraint programming, program synthesis, analysis, and verification, with recent work aiming to make formal methods tools more accessible through automated reasoning. Ruben earned his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013) , followed by postdoctoral research at the University of Oxford (2014-2015) and UT Austin (2015-2017) . Research Interests : Ruben's work bridges constraint programming and program synthesis , with applications in software verification , optimization , and automated reasoning . He has developed award-winning tools like Open-WBO , a modular MaxSAT solver that has won gold medals in international competitions. His publications span top-tier venues such as POPL , PLDI , FSE , SAT , and CP , often addressing real-world challenges from program analysis to network security. Scientific Awards include: Distinguished Paper Award at PLDI 2018 Distinguished Paper Award at FSE 2021 Distinguished Paper Award at SAT 2022 Gold medals for Open-WBO in MaxSAT competitions Teaching & Advising : Ruben mentors Ph.D., Master’s, and undergraduate students in research projects related to program synthesis, formal methods, and constraint solving. He teaches courses such as Bug Catching: Automated Program Verification and Advanced Topics in Logic: Automated Reasoning and Satisfiability , emphasizing hands-on experience with tools like Why3. His advising spans topics from AI-driven program repair to network protocol verification , fostering collaboration across disciplines.

• Computer Science
• Electrical Engineering
• Machine Learning
• +7 more

Andrew Ho is an active academic researcher with publications spanning computer science, electrical engineering, and interdisciplinary applications. His recent work focuses on hybridizable discontinuous Galerkin methods for plasma simulations (2024) and AI/LLM applications in scholarly knowledge organization. 2025: Project Alexandria (LLM for copyright-free knowledge) 2024: Hybridizable DG plasma methods, GPU-accelerated kinetic simulations 2023: Low-resource translation techniques 2022: Multimodal VR interfaces 2003-2006: High-speed serial link transceivers and radiography artifact detection His research interests include: Computer science applications in plasma physics and medical imaging LLM-based scholarly knowledge graphs and literature reviews High-speed communication systems Educational technology implementations Co-authors include Vladimir Stojanovic (Stanford, 2003-2005), Carl W. Werner (2003-2005), and Genia Vogman (GPU plasma simulations, 2024).