Scott Hopkins is a Professor in the Department of Chemistry at the University of Waterloo, specializing in Physical Chemistry. His research integrates machine learning with experimental techniques to study ion mobility, mass spectrometry, and spectroscopic analysis. He directs the Hopkins Laboratory, focusing on computational predictions of chemical behaviors and molecular interactions. His work addresses fundamental questions in gas-phase chemistry, cluster formation, and analytical method development. Research interests span physical chemistry, computational modeling, and analytical instrumentation, with a strong emphasis on developing predictive tools for complex chemical systems. Recent investigations explore ion-solvent dynamics, fragmentation mechanisms, and machine-learning applications for spectral interpretation.
Marina Blanton is an Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo, and Faculty Director of Women in Science and Engineering within the School of Engineering and Applied Sciences. She holds a PhD in Computer Science from Purdue University (2007), along with multiple advanced degrees in Computer Science and Electrical Engineering from prestigious institutions in the US and Russia. Her research focuses on applied cryptography, information security, and privacy-preserving computation and outsourcing. She has pioneered work on secure multi-party computation protocols, privacy-preserving biometric authentication, and secure data analytics across distributed systems. Her contributions include foundational frameworks like PICCO, a compiler for private distributed computation, and advancements in protocols for genomic data analysis and floating-point secure computation. Blanton has been recognized with numerous awards, including IEEE and ACM Senior Membership (2016/2015), the ACM CCS Test of Time Award (2015), and the AFOSR Young Investigator Award (2013). Her research has been supported by grants such as NSF SaTC awards and AFOSR funding. Her work emphasizes practical implementations of secure computation, with applications in healthcare, biometrics, and distributed data systems. She has advised numerous students and contributed to educational initiatives promoting women in STEM through her leadership roles.
Dr. Steven H. H. Ding is an Assistant Professor at McGill University's School of Information Studies, specializing in cybersecurity, machine learning, and data mining. His research focuses on AI-driven solutions for malware detection, software vulnerability analysis, and reverse engineering. He holds a PhD from McGill University and has been supported by BlackBerry Cylance and DRDC. His work bridges theoretical advancements with practical applications in military systems and avionics cybersecurity. Dr. Ding earned his PhD in 2019 with notable awards including the FRQNT Doctoral Research Scholarship and McGill's Dean’s Graduate Award. His educational background includes degrees from McGill, Concordia University, and the University of Shanghai for Science and Technology. His research interests span cybersecurity domains such as zero-day malware identification, code obfuscation countermeasures, authorship verification for digital forensics, and AI applications in avionics anomaly detection. He actively contributes to open-source tools like the Kam1n0 MapReduce-based assembly clone search system. Recent work emphasizes adversarial machine learning for evasive malware generation, transformer-based anomaly detection in avionics, and automated SBOM generation for firmware analysis. His publications reflect a focus on real-world cybersecurity challenges in both civilian and defense sectors. Dr. Ding leads the L1NNA Lab and collaborates with industry partners on cutting-edge projects. His contributions include novel techniques for phishing detection leveraging large language models and innovative approaches to reverse engineering software composition in JavaScript applications.
Andrea Montanari is a Professor of Mathematics and Statistics at Stanford University, affiliated with the Department of Mathematics and Statistics. His research focuses on high-dimensional statistics, machine learning theory, optimization algorithms, and statistical physics, with applications to neural networks and complex systems. He has contributed extensively to understanding generalization in overparametrized models, spin glass theory, and algorithmic methods like approximate message passing. His work bridges theoretical computer science and mathematical physics, addressing challenges in data analysis and learning from high-dimensional datasets. Notable themes include analyzing neural network dynamics, optimizing high-dimensional landscapes, and developing efficient algorithms for sparse and low-rank matrix estimation. Montanari’s publications explore topics such as the interplay between statistical and computational limits, the behavior of gradient-based methods, and the theoretical foundations of modern machine learning. His recent research demonstrates a focus on fundamental questions in learning theory, including the study of phase transitions in statistical estimation, the role of overparametrization in generalization, and the mathematical underpinnings of contemporary algorithms. While no specific awards are listed here, his contributions reflect significant impact in interdisciplinary fields.
Yuankai (Kenny) Tao is an Associate Professor of Biomedical Engineering at Vanderbilt University's School of Engineering and an SPIE Faculty Fellow. He directs the Graduate Studies program in Biomedical Engineering and leads research in optical imaging systems for clinical diagnostics and therapeutic monitoring in ophthalmology, gastroenterology, and oncology. His lab develops technologies like intraoperative OCT and SECTR, focusing on noninvasive subcellular visualization and biomarker monitoring. Collaborations span engineering, basic sciences, and medicine to translate innovations into clinical tools. Education: Ph.D., Biomedical Engineering, Duke University M.S., Biomedical Engineering, Duke University B.S.E., Biomedical Engineering and Electrical Engineering, Duke University Research Interests: Biomedical optics, optical coherence tomography (OCT), image-guided surgery, therapeutic monitoring, big data analytics, and high-throughput imaging for drug discovery. His work bridges engineering and medicine, emphasizing real-time feedback systems and interdisciplinary innovation. Grants & Labs: Director of the Vanderbilt Institute for Surgery and Engineering (VISE)-affiliated lab, focusing on surgical imaging and translational research. Projects include automated instrument tracking, SECTR systems, and AI-driven imaging analysis. Collaborations involve clinicians and researchers across disciplines.
Aditya Prakash is an Associate Professor and Associate Chair for Academic Affairs in the School of Computational Science and Engineering at Georgia Tech. He holds a PhD from Carnegie Mellon University (2012) and a B.Tech from IIT Bombay (2007). His research focuses on data science, machine learning, and AI applied to epidemiology, healthcare, security, and urban computing. His work has led to impactful tools used by organizations like CDC, ORNL, and Walmart. Notable awards include the NSF CAREER Award (2018) and IEEE's 'AI Ten to Watch' (2017). Education: PhD (Computer Science, CMU, 2012), B.Tech (IIT Bombay, 2007) Research Interests: Epidemic forecasting, network analysis, healthcare informatics, and large-scale data-driven solutions for societal challenges. He has authored over 80 papers and holds two patents. His lab develops methods for disease modeling, urban infrastructure analysis, and cybersecurity. Key projects include the NSF-funded BEHIVE initiative for pandemic prediction and collaborations with MIDAS network for infectious disease modeling. Awards: NSF CAREER, Facebook Faculty Award, IEEE AI Recognition, and multiple best-paper awards. His group advises students across PhD, MS, and undergraduate levels, with notable alumni in academia and industry. Labs & Affiliations: Core faculty at ML@GT (Machine Learning Center) and IDEaS (Institute for Data Engineering and Science). Active in organizing conferences like AAAI, KDD, and SIGMOD.
Tamás Budavári is an Associate Professor in the Department of Applied Mathematics and Statistics at Johns Hopkins University (JHU), with joint appointments in Physics and Astronomy and a secondary appointment in Computer Science. He is affiliated with the Whiting School of Engineering and the Institute for Data-Intensive Engineering and Science (IDIES). His research focuses on computational and statistical methods for big data in astronomy and interdisciplinary applications such as urban blight analysis. Education: PhD in Astrophysics (2001), Eötvös Loránd University, Budapest Master’s in Theoretical Physics (1997), Eötvös Loránd University Research Interests: Budavári develops algorithms for handling large astronomical datasets, including Bayesian inference, streaming algorithms, and GPU-accelerated processing. His work includes SkyQuery (an online astronomy data tool), photometric redshift estimation, and cross-matching catalogs. He also applies computational methods to urban planning, such as optimizing strategies to address vacant housing in Baltimore City. Publications & Tools: Budavári’s recent work spans topics like deep learning for astronomical image restoration, combinatorial optimization for urban policy, and probabilistic catalog matching. His tools, such as CUDAHM and NWAY, enable scalable analysis of multi-epoch survey data and N-way catalog cross-identification. Awards & Grants: Recipient of the Gordon and Betty Moore Fellowship and SAMSI Research Fellowship Funded by NSF, STScI, NIH, and others Leadership & Outreach: He serves on the Steering Committee of the 21st Centuries Cities Initiative and is a founding editor of the Journal of Astronomy and Computing. His interdisciplinary work bridges astrophysics, data science, and urban systems.
Juan Garay is a Professor in the Department of Computer Science & Engineering at Texas A&M University, affiliated with the College of Engineering. His research focuses on cryptography, information security, and distributed systems, with notable contributions to cryptographic protocols, blockchain technologies, and consensus mechanisms. He holds a leadership role in advancing theoretical and applied aspects of secure computation and network security. Research Interests: Cryptography and Information Security Secure Multiparty Computation Cryptocurrencies and Blockchain Protocols Consensus Algorithms Distributed Computing Game Theory in Cryptography Publications highlight his work on the Bitcoin Backbone Protocol, secure multiparty computation, and post-quantum cryptographic systems. He actively contributes to conferences and workshops in cryptography and distributed systems. He advises graduate students in computer science and engineering, though specific advisee names are not listed. His work is supported by grants from the National Science Foundation (NSF) and other institutions, focusing on secure protocols and distributed systems. Office: Peterson Building (PETR 429) Contact: garay@cse.tamu.edu
Tengyao Wang is a Professor in the Department of Statistics at the London School of Economics and Political Science (LSE), serving as the MSc Statistics (Financial Statistics) Programme Director. Prior to LSE, he held positions as a Lecturer at University College London and a Research Fellow at the Cantab Capital Institute for the Mathematics of Information, University of Cambridge. His research focuses on high-dimensional statistics, computational efficiency, and statistical limitations imposed by computational constraints. Education: PhD in Statistics under Prof Richard Samworth at the University of Cambridge, with earlier studies including a Part III Essay in Empirical Process Theory. Research interests include sparse signal detection, change-point analysis, dimension reduction, robust statistics, and applications in medical statistics, financial data analysis, and material discovery. Key contributions include methodologies for handling missing data, high-dimensional change-point detection algorithms, and statistical learning techniques. Publications span theoretical advancements and applied innovations, with recent work emphasizing deep learning with missing data, residual permutation tests, and semi-supervised learning via random projections. His work has been recognized with awards such as the Royal Statistical Society Research Prize (2019) and the Guy Medal in Bronze (2023). He is an Associate Editor of the Journal of the Royal Statistical Society, Series B (JRSS B), and actively contributes to open-source tools like the 'ocd' and 'MissInspect' R packages for changepoint detection and missing data analysis.
Shivani Agarwal is an Associate Professor of Computer and Information Science and (by courtesy) Statistics and Data Science at the University of Pennsylvania. Her research focuses on computational, mathematical, and statistical foundations of machine learning, including algorithm design, theory, and applications in life sciences. She holds leadership roles in initiatives like the NSF-funded Penn Institute for Foundations of Data Science (PIFODS) and the Penn Research in Machine Learning (PRiML) forum. Previously, she was a Radcliffe Fellow at Harvard, and held academic positions at MIT, Indian Institute of Science, and the University of Illinois at Urbana-Champaign. Education: PhD in Computer Science from the University of Illinois, Urbana-Champaign. Prior roles include Assistant Professor (Ramanujan Fellow) at IISc, postdoctoral lecturer at MIT, and Radcliffe Fellow at Harvard. Research interests span machine learning theory, ranking systems, bandit algorithms, noisy label learning, and interdisciplinary applications in economics, operations research, and psychology. She has organized numerous conferences and workshops, including COLT 2020 and NIPS workshops on ranking and learning. Key professional activities include leadership in Indo-US research collaborations and editorial roles for the Journal of Machine Learning Research and Harvard Data Science Review.
Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.
Matthew Lakin is an Associate Professor with tenure in the Department of Computer Science at the University of New Mexico, with a courtesy appointment in the Department of Chemical & Biological Engineering. He is affiliated with the UNM Center for Biomedical Engineering and the School of Engineering, and collaborates extensively with the UNM Health Sciences Center and external institutions. Education: Ph.D., Computer Science, University of Cambridge, 2010 M.A. (Cantab), University of Cambridge, 2009 B.A. (Hons), Computer Science, University of Cambridge, 2005 Dr. Lakin's research focuses on molecular computing, DNA nanotechnology, synthetic biology, and formal verification of biomolecular circuits. He develops computational models and experimental systems for programmable biological devices, especially using heterochiral DNA to enhance stability in living cells. His work spans software tools for biodesign and experimental validation in mammalian systems, with applications in nanomedicine and biosensing. The recent publications highlight a strong trend in engineering robust, intelligent biomolecular systems. His work integrates machine learning concepts into chemical reaction networks, advances geometric modeling of DNA systems, and pioneers L-DNA-based circuits for intracellular applications. The research spans theoretical foundations, software tools, and wet-lab experimentation, emphasizing interdisciplinary innovation. Scientific Awards: Presidential Early Career Award for Scientists and Engineers (PECASE), 2025 NSF CAREER Award, 2021 UNM School of Engineering Junior Faculty Research Excellence Award, 2021 Multiple student awards under his mentorship, including the Outstanding Graduate Student Award and DNA28 Best Student Presentation recognition Dr. Lakin has advised numerous graduate and undergraduate students, including Ph.D. graduates in Biomedical Engineering and Computer Science. He leads major funded projects such as the NSF CAREER grant on heterochiral molecular computing, an EPSCoR Research Fellowship, and a $3M NSF grant on heavy metal biosensing in collaboration with Native American communities. He is also PI on multiple NSF grants related to synthetic cells and nucleic acid technologies. He directs the Lakin Lab for Programmable Biology, which operates within the Department of Computer Science and collaborates with Chemical & Biological Engineering and the Center for Biomedical Engineering. The lab emphasizes both computational modeling and experimental molecular biology, and runs an NSF-funded biotechnology summer camp in partnership with ¡Explora! science museum to strengthen STEM education in New Mexico.
George H. Chen is an Associate Professor at Carnegie Mellon University , with dual affiliations in the Heinz College of Information Systems and Public Policy and the Machine Learning Department . His research focuses on trustworthy machine learning methods for temporal reasoning , particularly in health applications such as time-to-event prediction (survival analysis) and electronic health records analysis . He has extensive experience in nonparametric methods requiring minimal data assumptions. Educational Background PhD in Electrical Engineering and Computer Science, MIT (2015) SM in Electrical Engineering and Computer Science, MIT (2012) BS in Electrical Engineering and Computer Sciences & Engineering Mathematics and Statistics, UC Berkeley (2010) His work spans survival analysis , deep learning , and time series modeling , with applications in neurological prognostication , medical adherence , and health equity . He has developed self-contained educational resources including a 2024 monograph on deep survival analysis and tutorials at CHIL and SIGMETRICS. His 2025 course 95-865: Unstructured Data Analytics focuses on practical unstructured data analysis techniques. Notable projects include advising the AgriTech startup CoolCrop , which provides cold storage and market forecasts for Indian farmers serving 9,000+ farmers across 7 states. His Google Scholar publications reveal a strong focus on temporal modeling in healthcare, with recent advancements in neural survival analysis and fairness-aware temporal prediction.
Ola Svensson is an Associate Professor at the School of Computer and Communication Sciences , EPFL. His research spans approximation algorithms, combinatorial optimization, computational complexity, and scheduling. He holds an ERC Consolidator Grant (2023–) and previously received an ERC Starting Grant (2014–2019) and SNF grant (2019–2023). Education: PhD in Computer Science from IDSIA, Università della Svizzera italiana (2009) M.Sc. from Uppsala University (2005) Research Focus: Svensson develops novel techniques for NP-hard problems, with emphasis on primal-dual methods, LP/SDP hierarchies, and hardness proofs. His work applies to clustering, scheduling, network design, and submodular optimization. Publications: His 15 most recent works (2018–2021) focus on learning-augmented algorithms, robust optimization, and improved approximations for clustering/TSP. Key trends include integration of ML with classical algorithms and quasi-polynomial methods for combinatorial problems. Awards: Best Paper Awards at FOCS (2011, 2017) and STOC (2018) I&C Teaching Award at EPFL Advising & Grants: He advises 6 current PhD students and graduated 8 others. Major grants include ERC Starting Grant 'OptApprox' (€1.4M) and ERC Consolidator Grant 'POTCO' (€2M). Teaching: Leads courses in Advanced Algorithms, Computational Complexity, and Approximation Algorithms. He developed pedagogical frameworks for scribe notes and project-based learning in theoretical computer science.
Raquel Urtasun is a Full Professor in the Department of Computer Science at the University of Toronto and a co-founder of the Vector Institute for AI. She is also the Founder and CEO of Waabi, an autonomous vehicle company. Previously, she was Chief Scientist and Head of R&D at Uber ATG (2017–2021) and held faculty positions at the Toyota Technological Institute at Chicago (TTIC) and as a visiting professor at ETH Zurich. Her research spans machine learning, computer vision, robotics, and AI with a strong focus on autonomous driving and 3D perception. Education: Bachelor's degree, Universidad Pública de Navarra, 2000 Ph.D., Computer Science, École Polytechnique Fédérale de Lausanne (EPFL), 2006 Postdoctoral studies, MIT and UC Berkeley Raquel Urtasun's research focuses on developing AI systems for self-driving cars, emphasizing efficient perception using minimal sensors. Her work includes 3D scene understanding, stereo vision, optical flow, semantic segmentation, and object detection. She has developed the KITTI benchmark suite, widely used in autonomous driving research. Her lab is an NVIDIA NVAIL lab, reflecting its leadership in AI innovation. Her recent publications show a consistent trend in deep learning for visual perception, particularly in stereo matching, optical flow, 3D object detection, and semantic segmentation. These works integrate deep neural networks with structured models like CRFs and MRFs, pushing the boundaries of accuracy and efficiency in scene understanding for autonomous systems. Scientific Awards: NSERC E.W.R. Steacie Fellowship NVIDIA Pioneers of AI Award Google Faculty Research Awards (multiple) Amazon Faculty Research Award Connaught New Researcher Award Fallona Family Research Award Best Paper Runner Up at CVPR 2013 and 2017 UPNA Alumni Award Chatelaine 2018 Woman of the Year Adweek 2018 Toronto's Top Influencers Urtasun has advised numerous PhD and Master’s students, many of whom now hold faculty or research scientist positions at institutions like UIUC, NYU, UBC, MIT, and companies including Google, Amazon, NVIDIA, and Apple. She has secured significant research grants from NSERC, Google, Amazon, and NVIDIA. Her leadership extends to organizing workshops and serving as Area Chair and Program Chair at top conferences like CVPR, ICML, and NeurIPS. Labs and Teams: She leads a research group at the University of Toronto focused on AI for autonomous systems. Her team has been recognized as an NVIDIA NVAIL lab, and she continues to mentor students and postdocs working on cutting-edge problems in robotics and machine learning, both at UofT and through her company Waabi.
