Nasir Memon is a Professor of Computer Science and Engineering at the New York University Tandon School of Engineering and concurrently serves as the Dean of Engineering at NYU Shanghai. He has been a faculty member at NYU Tandon since September 1998. Memon is a co-founder of NYU's Center for Cyber Security (CCS) and NYU Abu Dhabi, and the founder of key initiatives such as the OSIRIS Lab, CyberSecurity Awareness Week (CSAW), the NYU Tandon Bridge program, and the Cyber Fellows program. His work focuses on advancing cybersecurity education and addressing systemic biases in AI-driven systems. Education: Ph.D., Computer Science, University of Nebraska Master of Science, Mathematics, Birla Institute of Technology and Science (BITS), Pilani Bachelor of Engineering, Chemical Engineering, BITS, Pilani Research Interests: Media Forensics and Authentication Biometric Security and Privacy Data Compression and Privacy-Preserving Techniques Network Security and Incident Response AI Ethics and Fairness in Machine Learning Cybersecurity Education and Workforce Development Awards and Honors: IEEE Fellow (2010) SPIE Fellow (2014) Jacobs Excellence in Education Award (2002) NSF CAREER Award (1997) Advising and Grants: Advises Ph.D. students like Anubhav Jain and Govind Mittal, and mentors Master’s students such as Rishit Dholakia. Recipient of NSF grants and funding from NYU Abu Dhabi and Indiana University Bloomington for projects like computational tools for fact-checking and AI-driven bias mitigation. Labs and Teams: Directs the OSIRIS Lab, a leading research group in cybersecurity and AI. Leads initiatives at the NYU Center for Cybersecurity (CCS) and collaborates with NYU Abu Dhabi’s Center for Cyber Security.
Gail E. Kaiser is a Professor of Computer Science and the Director of the Programming Systems Laboratory (PSL) in the Computer Science Department at Columbia University. She has been with Columbia University since 1985, becoming a full Professor in 1998. Prof. Kaiser's research spans software engineering, program analysis, software testing, and software security, with recent focus on addressing challenges in AI/ML systems testing and security. Prof. Kaiser received her PhD in Computer Science from Carnegie Mellon University in 1985 and her ScB in Computer Science and Engineering from MIT in 1979. Her dissertation at CMU was titled "Semantics for Structure Editing Environments" under advisor Nico Habermann, and at MIT she completed "Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations" under advisor Al Vezza. Prof. Kaiser's research interests primarily focus on software engineering following a systems building approach, with recent emphasis on static and dynamic program analysis techniques to improve software reliability and security. Since 2005, she has investigated testing "non-testable" programs, particularly in machine learning, data mining, and scientific computing applications where traditional testing oracles are insufficient. She has developed novel techniques and tools for detecting bugs and verifying repairs in complex systems. Concurrently, she has worked on collaboration environments for computational scientists, creating knowledge sharing and domain-aware environments to support scientific workflows. Prof. Kaiser's recent publications demonstrate a strong focus on the intersection of software engineering and artificial intelligence. Her work addresses critical challenges in testing AI systems, code understanding through deep learning, vulnerability detection, and educational tools for computational thinking. There's a clear evolution from traditional software engineering topics toward AI/ML applications, with particular emphasis on metamorphic testing for non-testable systems, code similarity analysis, and educational applications. Prof. Kaiser has received numerous prestigious awards throughout her career: Distinguished Journal Award (10 Years) from 18th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 2025 Best Research Paper Award at 24th IEEE International Conference on Source Code Analysis & Manipulation (SCAM), October 2024 Distinguished Reviewer Awards for ASE 2024 and FSE 2024 ACM SIGSOFT Distinguished Paper Award for "CONCORD: Clone-aware Contrastive Learning for Source Code", July 2023 Best Student Paper Award at ICCE 2021 Multiple ACM SIGSOFT Distinguished Paper Awards dating back to 2014 Presidential Young Investigator in Software Engineering and Software Systems from NSF (1988-1993) Prof. Kaiser has chaired Columbia's doctoral program since 1997 and served on editorial boards including IEEE Internet Computing and as a founding associate editor of ACM Transactions on Software Engineering and Methodology. Her lab has been continuously funded by major agencies including NSF, NIH, DARPA, ONR, NASA, and numerous companies. Current grants include significant NSF funding for secure containers architecture, learning semantics of code for software assurance, and finding semantic security bugs. As Director of the Programming Systems Laboratory (PSL), Prof. Kaiser leads research in software systems, program analysis, and software testing. The lab has developed numerous tools and techniques for software reliability and security, with recent focus on challenges in AI/ML systems. Her work bridges theoretical foundations with practical applications, often resulting in deployable tools that address real-world software engineering challenges.
Laura Elo serves as Professor of Computational Medicine and Head of the Medical Bioinformatics Centre at the University of Turku, Finland. She concurrently holds the position of Research Director at Turku Bioscience Centre and acts as InFLAMES Flagship Contact, driving interdisciplinary biomedical research initiatives. Her academic foundation includes a PhD in Applied Mathematics (2007) and Adjunct Professorship in Biomathematics (2011), establishing her quantitative expertise before transitioning into biomedical applications. Her research program focuses on transforming molecular and clinical datasets through statistical modeling and advanced machine learning . Key thrusts include robust computational tools for proteome/epigenome analysis, AI-driven digital health diagnostics, and computational systems immunology for immune-mediated diseases. This work directly addresses challenges in reproducibility and scalability of high-throughput biotechnology data. Analysis of her recent publications reveals dominant themes in type 1 diabetes biomarker discovery , multi-omics integration , and immune system modeling , with strong emphasis on clinical translation through collaborations with experimental and medical teams. Her scientific recognition includes: JDRF Career Development Award Professor Elo actively trains MSc/PhD students and postdoctoral fellows while leading major research initiatives including ERC grants. Her teaching portfolio spans Bioinformatics Journal Club, AI in Diagnostics, and Systems Biology courses. The Elo Lab (https://elolab.utu.fi) operates as a hub for computational biomedicine, developing open-source tools like CellRomeR while maintaining close ties with Turku Bioscience Centre's experimental facilities for validating computational predictions in immunology and metabolic disease contexts.
Andy Pavlo is an Associate Professor with Indefinite Tenure in the Computer Science Department at Carnegie Mellon University's School of Computer Science. He is an active member of the CMU Database Group and the Parallel Data Laboratory, where he leads research in database management systems with a focus on self-driving architectures, transaction processing, and large-scale analytics. His work bridges academic research and industry applications through projects like NoisePage, OtterTune (which he co-founded and served as CEO before it ceased operations), and Peloton. Dr. Pavlo's research interests span database management systems with particular emphasis on autonomous database architectures that can self-tune and optimize without human intervention. His work explores transaction processing systems that can handle high-throughput workloads while maintaining consistency, and large-scale data analytics techniques that efficiently process massive datasets. He has made significant contributions to query optimization, database extensibility, and automatic database tuning using machine learning techniques. His recent work on database extensibility revealed critical issues in PostgreSQL's extension ecosystem, showing that approximately 16% of extensions are incompatible with at least one other extension due to API violations and memory errors. His research output demonstrates a consistent focus on practical database systems challenges, with recent publications examining database extensibility, user-defined function optimization, and the cyclical nature of database research. The articles show a strong trend toward making database systems more autonomous, with increasing integration of machine learning techniques for automatic tuning and optimization. His work often combines deep theoretical analysis with practical implementation in open-source systems. Dijkstra Award 2024 for contributions to database systems research Dr. Pavlo actively mentors graduate students, with current advisees including Wan Shen Lim, William Zhang, and Sam Arch (co-advised with Todd Mowry). His former students have gone on to successful careers in both industry and academia. He has secured significant research funding through CMU's affiliate program with major database companies including ClickHouse, DataStax, dbt, Firebolt, MotherDuck, RelationalAI, SingleStore, Spiral, PingCAP/TiDB, Yellowbrick, and Yugabyte. His research is supported by these industry partnerships and likely includes NSF funding given his active participation in the database research community. At CMU, Dr. Pavlo leads the Database Group and organizes several seminar series including "SQL or Death," "Database Building Blocks," and "ML⇄DB Technical Talks." These seminars bring together researchers and practitioners to discuss cutting-edge developments in database systems. He also runs a summer research internship program that has attracted students for multiple consecutive years, indicating a strong research group with ongoing projects and funding.
Dr Mobarak Hoque serves as a Senior Lecturer in the Division of Informatics, Imaging and Data Sciences, School of Health Sciences, University of Manchester. He concurrently holds an external position as Honorary Senior Research Fellow at University College London (UCL) from July 2025 to June 2028. Academic Background: Doctor of Philosophy in Representation Learning in Multimodal Spatiotemporal Image-Guided Medical Procedures, National University of Singapore (NUS), awarded 2019 Research Expertise: Dr Hoque's work centers on Biomedical Data Science and Artificial Intelligence with specialization in Multimodal Large Language Models , Vision-Language Models , and Safe and Responsible AI . His research directly addresses UN Sustainable Development Goal 3 (Good Health and Well-being) through innovations in surgical robotics, medical imaging, and endoscopic procedures including polyp segmentation and low-light enhancement. Publication Trends: Recent publications (2023-2025) reveal a cohesive research trajectory focused on robust AI for surgical applications. Key methodologies include adversarial feature disentanglement, semi-supervised learning frameworks, and multimodal integration of vision-language models. His work consistently targets real-world clinical challenges like instrument segmentation, surgical workflow recognition, and low-light endoscopy enhancement using advanced techniques such as wavelet attention and diffusion models. Academic Supervision: Dr Hoque actively mentors PhD candidates in Biomedical Data Science and AI, particularly welcoming students interested in multimodal learning and responsible AI deployment for healthcare applications.
Daniel Abadi is the Darnell-Kanal Professor of Computer Science at the University of Maryland, College Park, with an appointment in the University of Maryland Institute for Advanced Computer Studies. He leads the Data Systems Lab at Maryland (DSLAM) and has made significant contributions to database system architecture and implementation, particularly in scalable and distributed systems. Prof. Abadi's research focuses on database system architecture, especially at the intersection with scalable and distributed systems. He is best-known for the development of the storage and query execution engines of the C-Store (column-oriented database) prototype, which was commercialized by Vertica and eventually acquired by Hewlett-Packard, and for his HadoopDB research on fault tolerant scalable analytical database systems which was commercialized by Hadapt and acquired by Teradata. His current work includes deterministic distributed systems like Calvin and SLOG, which provide strictly serializable, low-latency, geographically replicated database transactions. Analysis of his recent publications reveals a strong focus on modern database challenges including transaction processing, distributed systems architecture, data mesh concepts, schema evolution, and IoT data management. His work consistently addresses the tension between consistency, availability, and performance in distributed database systems, with recent emphasis on moving beyond traditional two-phase commit protocols and exploring novel approaches to data architecture like data mesh. ACM Fellow Sloan Research Fellowship Churchill Scholarship NSF CAREER Award VLDB Best Paper Award Two VLDB Test of Time Awards (for C-Store and HadoopDB) 2008 SIGMOD Jim Gray Doctoral Dissertation Award 2013-2014 Yale Provost's Teaching Prize 2013 VLDB Early Career Researcher Award PhD dissertation advisor for Alexander Thomson and Jose Falerio, whose dissertations won SIGMOD Jim Gray Doctoral Dissertation Awards in 2015 and 2020 respectively Prof. Abadi has advised multiple PhD students, including Alexander Thomson and Jose Falerio, both of whom received the prestigious SIGMOD Jim Gray Doctoral Dissertation Award. His research has been supported by numerous grants including NSF funding for projects like SLOG. He maintains an active presence in the database community through his widely-read blog DBMS Musings and through service on program committees for major conferences including SIGMOD, VLDB, and CIDR. He leads the DSLAM research group at the University of Maryland, which focuses on cutting-edge database system research with strong industry connections and practical impact.
Zhuoyue Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University at Buffalo, School of Engineering and Applied Sciences. His office is located at 338I Davis Hall, Buffalo, NY 14260, and he can be reached at zzhao35@buffalo.edu or by phone at (716) 645-4735. Dr. Zhao received his PhD in Computer Science from the University of Utah in 2021, where he was advised by Prof. Feifei Li and Prof. Jeff Phillips. Prior to that, he earned his BS in Computer Science from Shanghai Jiao Tong University in 2016, where he was part of the prestigious ACM Class. During his undergraduate studies, he conducted research under Prof. Kenny Zhu and spent Fall 2015 as a research assistant at Hong Kong Polytechnic University supervised by Prof. Eric Lo. Dr. Zhao's research focuses on database management systems, with specific emphasis on traditional and approximate query processing, query optimization, database systems on modern hardware, transaction processing, indexing, and storage. His work bridges theoretical foundations with practical implementations, often resulting in systems that address real-world database challenges. He has made significant contributions to probabilistic query processing, transaction scheduling, and learned indexing techniques. His recent publications demonstrate a clear trajectory toward optimizing database performance in hybrid transactional/analytical processing environments. His research increasingly integrates systems techniques with machine learning approaches, particularly in the area of learned indexes. There's also a strong focus on making database operations more efficient through innovative scheduling mechanisms and query processing techniques that can handle concurrent updates. Google PhD Fellowship (2019-2021) Best Paper Award at SIGMOD 2016 for "Wander Join: Online Aggregation via Random Walks" Best Paper Award at SIGMOD 2025 for "Low-Latency Transaction Scheduling via Userspace Interrupts" Dr. Zhao currently advises several PhD students including Yunnan Yu, Congying Wang, Gaoxiang Liu (co-advised with Prof. Ziming Zhao), and Zhuoran Li. He has successfully guided MS student Nithin Sastry Tellapuri to graduation (Fall 2023), who is now employed at AirPay. His research is supported by significant funding including an NSF CAREER award (#2339596) totaling $599,977 for research on "Speedy and Reliable Approximate Queries in Hybrid Transactional/Analytical Systems" (2024-2029) and an unrestricted Google gift of $30,000 (2021). Dr. Zhao leads the ADBLab research group at UB, where students work on cutting-edge database systems research. His lab focuses on building practical database systems that address real-world challenges in query processing, transaction management, and indexing. The lab maintains strong connections with industry partners and regularly contributes to open-source database projects.
Daniel Abadi is the Darnell-Kanal Professor of Computer Science at the University of Maryland, College Park. He leads the Data Systems Lab at Maryland (DSLAM) and is widely recognized for his groundbreaking contributions to database system architecture and implementation. Previously, he was a faculty member at Yale University where he received the Provost's Teaching Prize. Abadi's research primarily focuses on database system architecture, particularly at the intersection with scalable and distributed systems. He is best known for developing the storage and query execution engines of the C-Store prototype (a column-oriented database system commercialized by Vertica and later acquired by Hewlett-Packard), HadoopDB research (commercialized by Hadapt and acquired by Teradata), and deterministic distributed transactional systems like Calvin (currently being commercialized by Fauna). His work bridges theoretical innovation with practical industrial impact. Analysis of his recent publications reveals a consistent trajectory toward solving fundamental challenges in distributed database systems. His research has evolved from foundational work on column-stores and hybrid database architectures to cutting-edge innovations in geo-replicated transactions, concurrency control mechanisms, and the integration of machine learning with database systems. The trend shows increasing focus on practical implementations that address real-world scalability and performance challenges in large-scale data processing environments. ACM Fellow Churchill Scholarship recipient NSF CAREER Award winner Sloan Research Fellowship recipient VLDB Best Paper Award winner Two VLDB Test of Time Awards (for C-Store and HadoopDB) 2008 SIGMOD Jim Gray Doctoral Dissertation Award 2013-2014 Yale Provost's Teaching Prize 2013 VLDB Early Career Researcher Award Professor Abadi has successfully mentored several PhD students, most notably Alexander Thomson and Jose Falerio, both of whom won the prestigious SIGMOD Jim Gray Doctoral Dissertation Award for their work under his supervision. His research has been generously supported by multiple NSF grants including BIGDATA awards and other funding mechanisms that have enabled significant advances in database technology. He actively collaborates with industry partners, with several of his research projects leading directly to commercial products. At the University of Maryland, Abadi directs the Data Systems Lab at Maryland (DSLAM), which focuses on developing innovative database technologies that address contemporary challenges in data management. The lab's research spans distributed transaction processing, database architecture, and the integration of database systems with emerging computing paradigms. Notable projects include SLOG (Serializable, Low-latency, Geo-replicated Transactions), which eliminates traditional tradeoffs in distributed database design, and ongoing work in deterministic database systems that provide strong consistency guarantees without sacrificing performance.
Babak Falsafi is a Full Professor at the School of Computer and Communication Sciences (IC) at EPFL, leading the Parallel Systems Architecture Laboratory (PARSA). He is a renowned expert in computer architecture, datacenter systems, and cloud-native server design. His research focuses on post-Moore era computing, emphasizing heterogeneous architectures, energy efficiency, and scalable IT infrastructure. Falsafi is the founder of EcoCloud, an EC-sponsored industrial-academic consortium investigating sustainable information technology. He holds ACM and IEEE fellowships, a Sloan Research Fellowship, and has contributed to major projects like Optimus Prime (data transformation acceleration), AstriFlash (flash-based online service systems), and Midgard (virtual memory re-design). His work spans hardware-software co-design, memory systems, and security. Falsafi advises numerous PhD students and collaborates with industry partners such as Google and Cavium. Key achievements include pioneering scalable multiprocessor architectures, snoop filters in IBM BlueGene, and spatial memory streaming in ARM cores. His lab develops open-source tools like QFlex for server simulation. He frequently presents at top conferences (HPCA, ISCA, MICRO) and chairs workshops on post-Moore infrastructure. Teaching roles include leading courses in computer architecture and parallel systems across multiple EPFL departments (SIN, EDIC, SSC, SMA). His work addresses datacenter challenges like the 'data tax' and mitigating latency through specialized accelerators.
Yao Qin is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of California, Santa Barbara (UCSB), with dual affiliation in the Department of Computer Science. She concurrently serves as Co-Director of the REAL AI Initiative at UCSB and holds a Senior Research Scientist position at Google DeepMind, where she contributes to the Gemini Multimodal project. Her academic credentials include a PhD in Computer Science and Engineering from the University of California, San Diego (advised by Prof. Garrison W. Cottrell) and a BS in Electrical Engineering from Dalian University of Technology. During her doctoral studies, she completed internships with pioneering researchers Geoffrey Hinton and Ian Goodfellow. Dr. Qin's research program centers on machine learning robustness, with emphasis on adversarial robustness, out-of-distribution generalization, and fairness. She develops reliable AI systems specifically for healthcare applications, with diabetes management as a primary focus. Her lab explores critical themes including AI safety in multimodal models and diabetes-specific AI solutions, particularly exercise metabolism modeling and glycemic effect prediction. Recent publications reveal a strong trajectory in robust machine learning with cross-domain applications. Her work consistently bridges theoretical robustness concepts with practical healthcare implementations, particularly in diabetes care. Key publication venues include CVPR, ICML, NeurIPS, and ICLR, with notable contributions to out-of-distribution detection, adversarial transfer learning, and multimodal AI safety. Her distinguished recognition includes: EECS Rising Star at MIT (2021) UCSB Regents' Junior Faculty Fellowship Award Helmsley Charitable Trust award for Type 1 diabetes research UCSB Faculty Research Grant American Diabetes Association Abstract Award (ADA-2025) Dr. Qin actively mentors four PhD students—Mehak Dhaliwal, Andong Hua, Kenan Tang, and Youngseok Yoon—on projects spanning LLMs for diabetes, multimodal robustness, and generative time-series modeling. Her research is funded by the Helmsley Charitable Trust and UCSB, with recent grants supporting exercise-specific AID algorithms for diabetes management. As Co-Director of the REAL AI Initiative, she leads a research ecosystem focused on developing reliable artificial intelligence. Current lab activities include organizing workshops at NeurIPS-2024 (AdvML-Frontiers and AIM-FM) and developing next-generation diabetes management tools through collaborations with medical institutions.
Ekaterina Shutova is an Associate Professor at the Institute for Logic, Language and Computation (ILLC) within the Faculty of Science at the University of Amsterdam. She concurrently holds a Visiting Associate Professor position in the Computer Science Department at Stanford University. She leads the Amsterdam Natural Language Understanding Lab and heads the NLP & Digital Humanities research unit at ILLC. An ELLIS Scholar, she earned her PhD from the University of Cambridge Computer Laboratory and Pembroke College. Her research has been funded by ERC, Innovate UK, British Academy, Leverhulme Trust, Google, Meta, and Deloitte. Her research spans natural language processing and machine learning, with core interests in: Few-shot learning for NLP Multilingual and cross-lingual systems Joint modeling of language and vision Cognitive processing and semantic representation Figurative language interpretation Computational social science applications Her recent publications (2024-2025) predominantly focus on multimodal learning, cultural alignment in AI, metaphor processing, and evaluation methodologies for language models. These works reflect a trend toward integrating cognitive science with multilingual systems and ethical considerations. Awards & Fellowships: ERC Consolidator Grant (2025) ELLIS Scholar Outstanding Paper Award at ACL 2023 Finalist for Outstanding Certification by TMLR Runner-up Best Paper Award at NAACL-HLT 2016 Research Leadership: She directs the Amsterdam Natural Language Understanding Lab, supervising 8 PhD students, 1 MSc student, and 34 alumni. Her projects include an ERC-funded initiative on globally accessible language technology and an AI Democratization grant for hate speech detection.
Jan Madsen is a Professor at DTU Compute, Technical University of Denmark, and Head of the Embedded Systems Engineering section. His research focuses on system-level modeling and design of embedded computing systems, particularly cyber-physical systems, microfluidic biochips, and synthetic biology applications. Develops design automation tools and methodologies for embedded systems Supervises numerous PhD students and leads major research projects Research Interests Key areas include: Embedded systems-on-a-chip Cyber-Physical Systems (Internet-of-Things) Microfluidic Lab-on-Chip devices Synthetic biology with molecular computing Design, modeling, and optimization of complex systems Scientific Awards DATE Fellow (2019) IEEE CEDA Outstanding Recognition (2019) DTU Scientific Advise Award (2013) Best Paper Awards at MECO (2013) and CASES (2009) Jorck’s Foundation Research Award (1995) Publications His 14+ journal papers and 115+ conference papers demonstrate expertise in: SystemC-based modeling frameworks Energy-aware sensor networks Self-healing eDNA architectures Microfluidic biochip synthesis RTOS modeling and MPSoC exploration
Seth Lewis Gilbert is a Professor and Head of the Department of Computer Science at the National University of Singapore (NUS), within the School of Computing . He holds the Dean's Chair Associate Professor title and focuses on algorithms for large-scale distributed systems , emphasizing scalability and fault-tolerance . His work spans wireless networks , contention resolution , dynamic networks , and blockchain protocols . Ph.D. in Computer Science, MIT (2007) M.S. in Computer Science, MIT (2003) B.S. in Electrical Engineering & Mathematics, Yale University (1999) His research explores trusted coordination in systems with untrusted and unreliable participants, addressing challenges like Byzantine agreement , load balancing , and contention resolution . He has pioneered formal frameworks for accountability in distributed protocols and developed novel algorithms for asynchronous task allocation . Recent publications include work on consensus protocols , leader election , and contention resolution , reflecting his focus on dynamic network environments . His research has earned recognition at venues like DISC, ICDCS, and CCS. Scientific Awards & Honors : Young Researcher Award (NUS, 2014) Faculty Teaching Excellence Award (2013/14, 2014/15, 2015/16) School of Computing Teaching Excellence Honour Roll (2016-2021) Best Paper Awards at DISC (2023, 2022), ICDCS (2022), IPDPS (2022) Best Student Paper Award at DISC (2022) He serves on the Steering Committee for DISC as Treasurer and has chaired program committees for DISC, OPODIS, and SPAA. His work bridges foundational algorithmic theory with practical applications in blockchains and dynamic networked systems .
Professor Mark Coles serves as Professor of Immunology and Lead for Industrial Strategy and Entrepreneurship at the Kennedy Institute of Rheumatology, University of Oxford, holding concurrent roles as Kennedy Trust Senior Research Fellow, Official Fellow at Reuben College, and Affiliate Faculty at the Wolfson Centre of Mathematical Biology. His interdisciplinary work bridges immunology, computational modeling, and translational research to accelerate therapies for immune-mediated inflammatory diseases. His academic journey began with a BSc in Microbiology from Cornell University (1992), followed by a PhD in Molecular and Cell Biology at UC Berkeley under David Raulet, and postdoctoral training with Dimitris Kioussis at the National Institute of Medical Research. At the University of York (2006-2017), he pioneered stromal immunology research and co-founded the York Computational Immunology Laboratory. Coles' research centers on stromal and systems immunology, with core expertise in stromal cell biology, inflammatory disease mechanisms, and mathematical modeling of immune responses. He champions 3Rs-based approaches (Replacement, Reduction, Refinement) to reduce animal testing through in silico models, integrating spatial single-cell biology with multi-scale computational frameworks to dissect immune function in human tissues. His 2025 publications reveal a cohesive research trajectory applying interdisciplinary methods across diverse disease contexts—from cardiac fibrosis and vaccine responses to arthritis pathogenesis and CAR-T cell therapy—unified by focus on stromal-immune crosstalk and quantitative modeling to identify therapeutic targets. Key honors include: Fellow of the Royal Society of Biology Kennedy Trust Senior Research Fellow As former Director of Graduate Studies (2017-2024) at the Kennedy Institute, Coles mentored numerous graduate students while co-leading major initiatives including the Arthritis Therapy Acceleration Program and Human Cell Atlas medicalization. His entrepreneurial impact spans three co-founded ventures: Simomics Ltd (in silico disease modeling), Lightox Ltd (phototherapy for oral cancer), and Mestag Therapeutics (fibroblast-targeted therapies for cancer/inflammation). He directs the Laboratory of Stromal and Systems Immunology and Oxford Mathematical Immunology Group, fostering collaborations with Christopher Buckley, Calliope Dendrou, and Eamonn Gaffney to develop Quantitative Systems Pharmacology models that translate mechanistic insights into patient therapies.
Suguman Bansal is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology. Her research focuses on formal methods and their applications to artificial intelligence, programming languages, and machine learning. Previously, she held an NSF/CRA Computing Innovation Postdoctoral Fellowship at the University of Pennsylvania (2020-2022) and completed her PhD at Rice University (2016-2020). Education: PhD in Computer Science, Rice University (2016-2020) MS in Computer Science, Rice University (2014-2016) BSc (Honors) in Mathematics and Computer Science, Chennai Mathematical Institute (2011-2014) Research Interests: Formal methods, reinforcement learning, reactive synthesis, quantitative verification, and trustworthy AI systems. Her work bridges logic-based formal methods with modern AI challenges, emphasizing safety, reliability, and generalization in AI systems. Key Contributions: Pioneering work on specification-guided reinforcement learning, compositional synthesis algorithms, and formal verification of AI systems. Notable tools include Lisa (LTLf synthesis tool) and DiRL (compositional reinforcement learning framework). Awards: 2020 NSF CI Fellowship, 2021 MIT EECS Rising Star, 2023 ATVA Best Paper Award, and Keynote Speaker at SAS 2022. Advising & Grants: Advises PhD and Master’s students in reinforcement learning and formal methods. Lead PI on a collaboration grant with IIT Bombay (2024) and recipient of a ~$250K NSF/CRA postdoctoral grant. Labs/Teams: Leads the BansalLab at Georgia Tech, focusing on trustworthy AI through formal methods and algorithmic innovation.
