Find Academic Supervisors

Shantanu DuttView profile

Professor

• VLSI CAD
• Discrete Optimization
• FPGA Testing and Trusted Design
• +2 more

Shantanu Dutt is a full Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Chicago , located in Chicago, IL. His office is in 930 SEO at 851 S. Morgan St, and he can be reached at dutt@uic.edu . Education Ph.D. in Computer Science and Engineering, University of Michigan, Ann Arbor (1990) M.Tech. in Computer Engineering, Indian Institute of Technology Kharagpur (1984) B.E. in Electronics and Communication Engineering, Maharaja Sayajirao University of Baroda (1983) Research Interests Professor Dutt’s research agenda centers on VLSI Computer-Aided Design (CAD) , with particular emphasis on physical design and incremental synthesis targeting both ASICs and FPGAs. He explores discrete optimization techniques to solve placement, routing, and partitioning problems. Another major thrust is FPGA built-in self-test (BIST) and trusted design , ensuring provable diagnosability and security against hardware Trojans. He also investigates fault-tolerant computing at both chip and system levels, and develops parallel and distributed computing algorithms for scalable performance. Scientific Awards 1996 Best Paper Award , ACM/IEEE Design Automation Conference, for “A probability-based approach to VLSI circuit partitioning” 1995 Most Influential Paper Award , Fault-Tolerant Computing Symposium, for “Design and reconfiguration strategies for near-optimal k-fault-tolerant tree architectures” Research Impact and Funding Professor Dutt has published extensively in top-tier journals (IEEE TVLSI, ACM TRETS, IEEE TCAD) and premier conferences (ICCAD, DAC, DATE, FTCS). His work has shaped incremental placement, timing-driven routing, FPGA security, and fault-tolerant multiprocessor architectures. While specific grant numbers are not listed, the breadth and longevity of his publication record indicate sustained funding from NSF, industry, and other agencies. Laboratory and Collaborations Although no formal laboratory name is provided, Professor Dutt’s research is conducted within the ECE department’s VLSI CAD and Fault-Tolerance groups, collaborating with graduate students and colleagues across the US and internationally.

Peter DoerschukView profile

Professor

• Biomedical Engineering
• Bioengineering
• Signal and Image Processing
• +15 more

Peter Doerschuk is a Professor in the Department of Electrical and Computer Engineering at Cornell University's College of Engineering. He joined Cornell in July 2006 after serving on the faculty at Purdue University in both Electrical and Computer Engineering and Biomedical Engineering. His educational background includes: B.S. in Electrical Engineering, MIT (1977) M.S. in Electrical Engineering, MIT (1979) Ph.D. in Electrical Engineering, MIT (1985) M.D., Harvard Medical School (1987) Peter Doerschuk's research focuses on biological and medical systems through the lens of computational nonlinear stochastic systems. His work spans biomedical imaging , signal and image processing , statistical modeling , and computational inverse problems in biophysics . He develops high-performance algorithms and software systems that integrate accurate physical models with computational efficiency. His research addresses problems across multiple spatial scales—from 3D virus reconstruction using electron microscopy to modeling whole-body ethanol pharmacokinetics. The recent publications highlight a strong trend in computational biomedical imaging and physiological modeling . Key areas include 3D reconstruction of heterogeneous biological structures, cryo-EM dynamics analysis, and physiologically based pharmacokinetic modeling. The work consistently combines advanced statistical and machine learning methods with domain-specific physical models, particularly in virology and neurovascular physiology. His scientific awards and honors include: Fellow, American Institute for Medical and Biological Engineering (AIMBE) University Faculty Scholar, Purdue University Motorola Excellence in Teaching Award Ernst A. Guillemin Thesis Prize (MIT) Department of Biomedical Engineering Faculty Service Award (Purdue) Dr. Doerschuk has advised graduate students, including Keyuan Xu, whose M.Eng. thesis at MIT received the prestigious Ernst A. Guillemin Thesis Prize. His research has been supported through academic grants and collaborations with institutions such as The Scripps Research Institute and Indiana University School of Medicine. He has developed parallel software systems for high-performance computing applications in biophysics and biomedical signal processing. His research has involved collaboration with multiple labs and teams, including work with Professor J. E. Johnson at The Scripps Research Institute on virus structure determination and with Professor S. J. O’Connor at Indiana University on ethanol pharmacokinetics modeling. These interdisciplinary teams integrate expertise in engineering, medicine, and computational science to solve complex biomedical problems.

Azad J NaeemiView profile

Professor

• Nanotechnology
• Nanoelectronics
• Spintronics
• +5 more

Azad J Naeemi is a Professor holding the Dean's Professorship in the School of Electrical and Computer Engineering at the Georgia Institute of Technology. He serves as Editor-in-Chief of the IEEE Journal on Exploratory Computational Devices and Circuits and Associate Director for Computation of the NSF-supported National Nanotechnology Coordinated Infrastructure (NNCI). His educational background includes a B.S. in Electrical Engineering from Sharif University (1994) and M.S./Ph.D. in Electrical and Computer Engineering from Georgia Tech (2001/2003). Prior to academia, he worked as a design engineer in Tehran (1994-1999) and as a research engineer at Georgia Tech's Microelectronics Research Center (2004-2008). Professor Naeemi's research spans nanotechnology with focus on emerging nanoelectronic devices, spintronics, ferroelectric devices, and design technology co-optimization for CMOS/beyond-CMOS technologies. His work bridges materials, devices, circuits, and systems, particularly investigating integrated circuits based on nanoscale devices and interconnects. Educational research includes experiential learning environments for engineering education. Recent publications (2024-2025) demonstrate strong emphasis on spin-orbit torque MRAM, ternary content addressable memories, ferroelectric/antiferroelectric devices, and plasmonic circuits. Key trends include energy-efficient hardware accelerators, neuromorphic computing applications, and compact modeling for advanced technology nodes. His scientific honors include: IEEE Solid-State Circuits Society James Meindl Innovators Award (2022) IEEE Electron Devices Society Paul Rappaport Award (2008) NSF CAREER Award (2013) SRC Inventor Recognition Award (2010) Multiple Georgia Tech teaching awards Professor Naeemi leads research supported by NSF (including NNCI infrastructure) and SRC. His editorial role with IEEE JXCDC positions him at the forefront of exploratory computational devices. He previously served as General Co-Chair for the IEEE International Interconnect Technology Conference (2013). His work connects with Georgia Tech's Microelectronics Research Center and national nanotechnology initiatives through the NNCI network, focusing on computational infrastructure for nanoscale device characterization and design.

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

Bryan PardoView profile

Professor

• Machine Learning
• Generative Modeling
• Signal Processing
• +7 more

Bryan Pardo is a Professor of Computer Science at Northwestern University and head of the Interactive Audio Lab. He co-directs the Northwestern Center for Human Computer Interaction + Design and chairs the Computer Science Diversity Committee. He teaches courses in Deep Learning, Machine Learning, Generative Modeling, and Digital Music Instrument Design. PhD in Computer Science and Engineering, University of Michigan MMus in Jazz and Improvisation, University of Michigan MS in Computer Science, Ohio State University BMus in Jazz Composition, Ohio State University His research focuses on machine understanding and manipulation of sound, particularly in music and speech domains. Key areas include Machine Learning (e.g., automated gradient clipping), Signal Processing (e.g., Multi-scale Common-fate Transform), and Human Computer Interaction. Applications involve inclusive audio interfaces, audio search engines, source separation, natural language-controlled audio effects, privacy-preserving adversarial attacks on voice recognition, and music co-creation tools. Recent publications highlight advancements in neural watermarking (MaskMark), masked acoustic modeling (VampNet), and real-time adversarial privacy systems for speech. His lab's work has been applied in Adobe's AI-powered audio editor and Lexie B2 hearing aids. Scientific Awards: $1.8 million NSF Future of Work award $440K NSF grant for accessible music programming $200K Toyota grant $100K Sony grant TorchCrepe pitch tracker: 20 million+ downloads Bryan Pardo advises PhD student Max Morrison and collaborates with researchers like Patrick O'Reilly, Zeyu Jin, and Prem Seetharaman. His lab develops technologies for blind and visually impaired audio creators, including HaptEQ and Eyes-free tools.

• Design
• Product Development
• Mechanical Engineering
• +5 more

Warren Seering is the Weber-Shaughness Professor at the Massachusetts Institute of Technology (MIT) in the Department of Mechanical Engineering . He plays a pivotal role in the System Design and Management (SDM) program and has been a key figure in design theory and product development research. Education: B.Sc. and M.Sc. from University of Missouri-Columbia (1971, 1972), Ph.D. from Stanford University (1978) Research Areas: Design theory, product development processes, dynamic system modeling, and robotics His work focuses on design innovation , particularly in product development and machine dynamics . He has pioneered set-based thinking and input shaping techniques to reduce mechanical vibrations. Recent research includes balancing risk and innovation in crowdfunding ventures. Seering has served as a visiting professor at Cambridge, Caltech, UC Irvine, UC Berkeley, and Harvard. He founded Convolve, Inc. (1992) and contributed to patents in dynamics control and design optimization . Scientific Awards: Ralph R. Teetor Educational Award (1982) MIT Harold E. Edgerton Faculty Achievement Award (1983) ASME Fellow (1993) MIT Frank E. Perkins Award for Graduate Advising (2007) ASME Design Theory and Methodology Award (2021) Design Society Fellow (2021) Seering has advised numerous graduate programs and served on editorial boards of journals including Research in Engineering Design and IEEE Transactions on Automation Science and Engineering . His lab engagements include collaborations with the Nissan Cambridge Basic Research Center and the Skolkovo-MIT Partnership .

• Software Engineering
• Graph Transformation Systems
• Model-Based Development
• +5 more

Reiko Heckel is a Professor of Software Engineering at the University of Leicester, serving as Director of Postgraduate Teaching for Computing degrees and Data Analytics Lead at the Leicester Innovation Hub. She previously held academic roles at the Technical Universities of Dresden and Berlin before joining Leicester in 2004. Her research focuses on graph transformation systems, model-based development, stochastic modeling, and formal methods in software engineering. She earned her PhD (Dr.-Ing.) in Computer Science from TU Berlin in 1998. Her research interests span software engineering pedagogy, formal specification techniques, and applications of graph grammars in system modeling. Recent work explores stochastic graph transformations for social networks, transparency engineering in AI systems, and blockchain-based smart contract frameworks. Her contributions bridge theoretical foundations with practical applications in cybersecurity, data integration, and human-centric systems design. Key contributions include advancements in automated test case generation via graph transformations, visual contracts for software reverse engineering, and formal methods for complex system analysis. Her work frequently intersects with industry through collaborations via the Leicester Innovation Hub, emphasizing data analytics and technology transfer. Education: MSc Computer Science, Technical University of Dresden PhD (Dr.-Ing.), Computer Science, TU Berlin (1998) Leadership Roles: Head of Department (2014-2018) Director of Postgraduate Teaching (Ongoing) Research Themes: Model-Based Development Stochastic Systems Analysis Graph Neural Networks Trustworthy AI Her publications reflect a focus on formal methods, with recent trends in applying graph transformation techniques to social network modeling, blockchain smart contracts, and educational pedagogy.

Matt RattoView profile

Professor

• Artificial Intelligence
• Human-Computer Interaction
• Critical Making
• +7 more

Matt Ratto is a full Professor in the Faculty of Information at the University of Toronto , where he also serves as Associate Dean, Research . He is a faculty affiliate of the Climate Positive Energy Institute , the Schwartz Reisman Institute for Technology and Society , and an SDG Fellow with the Sustainable Development Goals Institute . His work bridges critical theory and digital innovation , focusing on the social production of knowledge through emerging technologies. His research explores critical making and socio-technical systems , with applications in 3D-printed prosthetics (deployed in Cambodia, Tanzania, and Uganda), AI-driven healthcare solutions , and climate justice in computing . He has received over $6 million in funding, including two Canada Grand Challenge grants , and founded organizations advancing equitable technology access. Ontario Minister of College and Universities’ Award of Excellence (2020) Bell Canada Usability Labs Chair in Human-Computer Interaction (2018–2023) He supervises students such as Olivia Doggett and Sarah Gram , with past advisees including Brian Sutherland and Dan Southwick . His Critical Making Lab fosters interdisciplinary collaboration, and he teaches courses like INF2241: Critical Making and INF351: Information Design Studio .

Mohsen LesaniView profile

Associate Professor

• Reliability of software systems
• Security of software systems
• Concurrent systems
• +12 more

Mohsen Lesani is an Associate Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz's Baskin School of Engineering. His research focuses on reliability and security of software systems, particularly concurrent and distributed systems, with recent emphasis on secure replicated systems and distributed machine learning. Dr. Lesani received his PhD from UCLA, MS in artificial intelligence from Sharif University of Technology, and BS in software engineering from University of Tehran. He was previously a postdoc at MIT. His educational background provides a strong foundation for his interdisciplinary research spanning programming languages, distributed systems, and security. His research interests center on creating reliable and secure distributed systems. Current projects include resilient and secure distributed systems, heterogeneous and reconfigurable secure distributed systems, automatic analysis and synthesis of replicated objects, verification of distributed systems, data analytics, secure exchange across blockchains, machine learning for performance models, domain-specific languages and type systems, and automatic fence insertion for concurrent systems. His work bridges theoretical foundations with practical implementations to address real-world challenges in distributed computing. Lesani's research has been recognized with several prestigious awards including the NSF CAREER award in 2020 and DARPA YFA award in 2022. His work has also received the SIGPLAN Research Highlight in 2019, a distinguished paper award at OOPSLA 2018, and a best paper award at ISSRE 2015. These accolades reflect the impact and quality of his contributions to the field. He actively mentors PhD students in the Safe and Secure Software (S3) lab, including Xiao Li, Eric Chan, Javad Saber-Latibari, and Tejas Mane. His research has been supported by multiple NSF grants, demonstrating sustained funding for his innovative work. Lesani serves on program committees for major conferences including POPL, PLDI, OOPSLA, and DISC, contributing to the academic community. Lesani leads the Safe and Secure Software (S3) lab at UC Santa Cruz, where his team works on cutting-edge research in distributed systems, programming languages, and security. The lab fosters a collaborative environment where theoretical insights are translated into practical systems that address real-world challenges in reliability and security of distributed applications.

Cheuk Wai TaiView profile

Researcher

• Structure-Property Relationships
• Functional Materials
• Electron Microscopy
• +6 more

Cheuk Wai Tai is a Senior Staff Researcher at Stockholm University's Department of Environmental and Materials Chemistry since 2009. He manages the transmission electron microscopes and sample preparation equipment at the Electron Microscopy Center and serves as Section Editor for the Journal of Electronic Materials. His work focuses on quantitative structure characterization in functional materials research, particularly within nanoscience and nanotechnology contexts. Education: Ph.D. in Applied Physics, The Hong Kong Polytechnic University, 2004 M.Phil. in Applied Physics, The Hong Kong Polytechnic University, 2001 M.Sc. in Physics, The Chinese University of Hong Kong, 1998 B.Sc. (Hons) in Engineering Physics, The Hong Kong Polytechnic University, 1997 Dip. in Mechanical Engineering (Computer Aided Engineering), Institute of Vocational Education (formerly Haking Wong Technical Institute), Hong Kong, 1992 His research centers on structure-property relationships in functional materials through advanced electron microscopy techniques. Current specializations include Pair Distribution Function (ePDF) & Diffuse Scattering, Energy Materials characterization, and EM sample preparation methodology development. The group maintains strong focus on translating structural data into functional performance metrics for nanomaterials. Recent publications (2013-2019) demonstrate consistent emphasis on electron microscopy applications for energy storage materials (batteries, photocatalysts) and functional ceramics. Key trends include structural disorder analysis in piezoelectrics, development of quantitative TEM methods like SUePDF, and nanoscale characterization of electrocatalyst surface phases. His work bridges materials chemistry with advanced imaging techniques. Scientific recognition includes: Fellow of The Royal Microscopical Society (U.K.) Senior Member of IEEE Marie Curie Fellowship (2007-2009) from European Commission Sir Edward Youde Memorial Fellowship (2003/2004) from Hong Kong S.A.R. Government He teaches Solid State Chemistry (KZ7003) and leads Introduction to Analytical Electron Microscopy (KZ8009), having previously taught Advanced Transmission Electron Microscopy (KZ8010) before 2011. Major grants supporting his work include: "Quantitative structural characterisation using 3D electron-based pair distribution function" (Swedish Research Council) "A Multidimensional Toolkit for Modern Electron Microscopy" (Swedish Foundation for Strategic Research) "Mitigating Ni-rich Li-ion cathode side-reactions" (Swedish Energy Agency, Co-applicant) He leads the Cheuk-Wai Tai group within Stockholm University's chemistry department and oversees operations at the Electron Microscopy Center, where his team develops and applies advanced characterization techniques for functional materials research.

• Computer Learning
• Fuzzy Sets and Systems
• Decision Support Systems
• +3 more

Prof. Sadettin Emre Alptekin is a full Professor of Industrial Engineering at Galatasaray University, Faculty of Engineering and Technology, where he also serves as Vice Dean. Since joining the university as a research assistant in 2000, he has steadily advanced through the academic ranks, becoming an Assistant Professor (2006–2010), Associate Professor (2010–2023), and finally Professor in 2023. Education: PhD (Dr), Industrial Engineering, Istanbul Technical University, Institute of Science and Technology, 2001–2006 MSc, Industrial Engineering, Galatasaray University, Faculty of Engineering and Technology, 1999–2001 BSc, Industrial Engineering, Istanbul Technical University, Faculty of Management, 1995–1999 Languages: Advanced English (C1), Upper-Intermediate French (B2), Advanced German (C1) Research Interests: Prof. Alptekin’s research focuses on Computer Learning , Fuzzy Sets and Systems , and Decision Support Systems . His work integrates artificial intelligence, machine learning, and soft-computing techniques to solve complex industrial and managerial problems in areas such as supply chain management, quality function deployment, blockchain adoption, and mental-health prediction. Publication Trends: Across more than 50 refereed publications, Prof. Alptekin has consistently explored hybrid intelligent models that combine fuzzy logic, machine learning, and multi-criteria decision-making. Recent articles emphasize deep-learning-based anomaly detection in industrial time-series data, blockchain adoption in supply chains, and machine-learning applications in subjective well-being and mental-health modeling. Scientific Awards & Honors: No specific awards or medals are listed in the provided documents. Research Leadership & Funding: Since 2008 he has been the principal investigator (executive) of 12 nationally funded projects, covering topics such as Industry 4.0 sub-system design, Internet of Things applications, artificial neural networks in organizational decision-making, big-data analytics, and strategic decision processes. Graduate Advising: He has formally supervised at least 8 master’s theses and numerous undergraduate projects. Representative thesis titles include Gaussian-process-regression-based man-hour prediction, machine-learning-driven human-behavior modeling, recommender-system design for e-commerce, thyroid-nodule diagnosis from scintigraphic images, software-effort estimation via neural networks, spreadsheet heuristics for joint-replenishment problems, cross-selling decision systems in insurance, and profitability analyses of Turkish banks under disinflation. Laboratories & Teams: While no dedicated laboratory name is disclosed, his continuous role as Vice Dean and principal investigator implies active leadership of the Industrial Engineering department’s research clusters in intelligent systems and decision support technologies.

• Reconfigurable Computing
• Machine Learning Acceleration
• Hardware Acceleration
• +5 more

Aman Arora is an Assistant Professor at Arizona State University's Ira A. Fulton Schools of Engineering, specializing in the School of Computing and Augmented Intelligence. His research focuses on reconfigurable computing, hardware acceleration of machine learning, and non-traditional computing paradigms like Processing-In-Memory. With over a decade of semiconductor industry experience, he bridges academic research and industrial applications. PhD in Computer Science from The University of Texas at Austin Research interests emphasize domain-specific acceleration through FPGA optimization , compute-in-memory architectures , and machine learning for CAD/EDA . His work addresses critical challenges in energy efficiency and throughput for AI workloads. Recent publications demonstrate trends toward compute-in-memory systems , FPGA-based deep learning acceleration , and sustainable hardware design . Key contributions include frameworks like SAF, CSR, and GAMA for dynamic hardware optimization. Laboratory Website: ADVENT Lab Teaching includes courses on digital hardware design (CSE 320) and advanced topics in machine learning acceleration (CEN 524/CSE 524). Industry experience informs his practical approach to research and education.

Andrew LanView profile

Associate Professor

• Artificial Intelligence in Education
• Educational Data Mining
• Personalized Learning
• +5 more

Andrew Lan is an Associate Professor in the College of Information and Computer Sciences at the University of Massachusetts Amherst, where he also serves as the CS Undergraduate Program Director. He was granted tenure by the UMass Board of Trustees in June 2025 and is currently on leave through Spring 2026. His research focuses on developing human-in-the-loop machine learning methods to enable scalable, effective, and personalized learning experiences in education. Dr. Lan received his BS in Physics and Mathematics from the Hong Kong University of Science and Technology, followed by his MS (2014) and PhD (2016) in Electrical and Computer Engineering from Rice University. He completed postdoctoral research at Rice University (2016) and Princeton University's EDGE Lab (2017-2018). His research spans artificial intelligence for education, with particular expertise in educational data mining, knowledge tracing, personalized learning systems, and human-AI collaboration in educational contexts. Dr. Lan's work leverages massive and multimodal learner and content data collected from both traditional classrooms and online learning platforms to develop systems that deliver high-quality, affordable, and personalized learning experiences. He has made significant contributions to areas including computerized adaptive testing, math word problem generation, student affect detection, and automated grading systems. His recent work increasingly focuses on leveraging large language models for educational applications while maintaining rigorous scientific validation of these approaches. Best Student Paper Award at the 2024 AIED Conference (with Alexander Scarlatos) Best Paper Nominee at LAK 2021 Best Student Paper Award at IEEE Big Data 2020 NAEP Math Automated Scoring Challenge Grand Prize Winner Dr. Lan actively mentors graduate students and postdoctoral researchers, with several of his advisees receiving recognition for their work. He has secured substantial funding from the National Science Foundation, including a $90M grant for the SafeInsights project, a secure cyberinfrastructure for educational research. His research group collaborates with institutions including Worcester Polytechnic Institute, University of Pennsylvania, and Rice University. He teaches undergraduate and graduate courses including COMPSCI 240 (Reasoning under Uncertainty) and COMPSCI 590OP (Applied Numerical Optimization), with a focus on the practical application of theoretical concepts in machine learning and artificial intelligence. His educational philosophy emphasizes bridging the gap between theoretical foundations and real-world implementation in educational technology.

Ming LinView profile

Professor

• AI and Robotics
• Computer Vision
• Computer Graphics
• +5 more

Ming Lin is a Distinguished University Professor at the University of Maryland, College Park, holding joint appointments in Computer Science (Department of Computer Science), the Institute for Advanced Computer Studies (UMIACS), Electrical and Computer Engineering (ECE), and the Maryland Robotics Center. She holds the Dr. Barry Mersky and Capital One E-Nnovate Endowed Professorships. Her research focuses on physically-based modeling, virtual environments, haptics, robotics, and AI applications in healthcare and urban computing. Education: Ph.D., M.S., and B.S. in Electrical Engineering & Computer Sciences from UC Berkeley. She previously spent 20 years at UNC Chapel Hill before joining UMD in 2018. Research interests include collision detection algorithms (e.g., Lin-Canny algorithm), real-time physics simulation, virtual/augmented reality systems, and medical imaging applications. Her work has led to over 2 million downloads of her group's software tools and licenses with 60+ companies. Notable contributions include the Oculus Rift-related VR technologies and Amazon's virtual try-on system. Awards: IEEE Fellow (2012), ACM Fellow (2011), NAI Fellow (2022), and Washington Academy of Sciences Distinguished Career Award (2020). Active in professional service, she serves on the CRA Board and chairs the Committee on Widening Participation in Computing Research. Advising: Supervises 12+ PhD/Master's students. Her lab (GAMMA Group) focuses on AI-driven robotics, autonomous systems, and physically-based simulations. Key projects include traffic simulation frameworks, medical VR applications, and 3D garment modeling.

• Formal Verification
• Software Testing
• Programming Languages
• +12 more

Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His work bridges formal methods, software testing, and programming languages, with a focus on enhancing the reliability of high-performance and parallel software systems. He has held key roles including Director of Research (since 2023) and previously served as Lecturer (2011–2014), Senior Lecturer (2014–2017), and Reader (2017–2020) before being promoted to Professor in 2020. His research interests include formal verification, compiler testing, GPU programming, concurrency, and fuzzing. He has made significant contributions to the verification of GPU kernels, metamorphic testing of graphics drivers, and the development of tools like GPUVerify and GraphicsFuzz. His work combines theoretical rigor with practical impact, demonstrated by the acquisition of his startup GraphicsFuzz by Google in 2018 and his subsequent roles as Senior Software Engineer and Visiting Researcher at Google. His recent publications reflect a sustained focus on compiler and system reliability, with trends in fuzzing, formal specification, and automated testing of complex systems such as WebGPU, CXL cache coherence, and large language models for code generation. His work increasingly integrates empirical validation with formal techniques to uncover subtle bugs in real-world systems. Scientific awards and recognitions include: 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Fellow of the British Computer Society Best Paper awards at EuroSys 2024, MET 2021, IISWC 2019, IWOCL 2019, and ICST 2016 Best Industry Paper at ICST 2024 ACM SIGSOFT Distinguished Paper at ISSTA 2023 ACM SIGPLAN Most Influential OOPSLA Paper Award (2012 paper), awarded in 2022 Best Student Paper at PPoPP 2014 He has advised numerous PhD students and leads a vibrant research group. He has secured significant research funding and collaborates extensively with industry and academia. His service includes leadership roles such as General Chair of PLDI 2020, PC Chair of ECOOP 2019, and Steering Committee Chair of PLDI (2022–2025). He also serves on the advisory board of PACM-PL and on program committees for top venues including POPL, OOPSLA, PLDI, ICSE, and ISSTA. He leads the FastPL research group, which focuses on the design and implementation of programming tools and techniques for reliable software. The group conducts cutting-edge research in compiler testing, formal methods, and high-performance systems, fostering collaboration across academia and industry.