Greg Durrett is an Associate Professor in the Department of Computer Science at University of Texas at Austin, leading the TAUR Lab (Text Analysis, Understanding, and Reasoning ). His research focuses on advancing Large Language Models (LLMs) for knowledge-intensive tasks in medical information processing scientific discovery legal reasoning . He received his B.S. in Computer Science and Mathematics from MIT (2010) and Ph.D. in Computer Science from UC Berkeley (2016). His work develops techniques to train LLMs with new capabilities augment models for reliability assess model outputs improve reasoning frameworks . His 15 most recent publications (2021-2025) span knowledge propagation in LLMs chain-of-thought reasoning code generation benchmarks multi-modal reasoning fact verification discourse analysis . Scientific honors include NSF CAREER Award (2024) NSF grants (2018, 2024) Bloomberg Data Science Grant (2017) Facebook Fellowship (2014) Best Paper Finalist (EMNLP 2013) . Teaching: CS388: Natural Language Processing (graduate) CS371N: NLP (undergraduate) High school NLP module .
Andrea Coladangelo is an Assistant Professor at the Allen School of Computer Science & Engineering , University of Washington , co-leading the Quantum group and contributing to the Theory and Crypto groups. He coordinates the NSF-funded Quantum@UW REU program , fostering undergraduate research in quantum information. Previously, he was a postdoctoral researcher at UC Berkeley and the Simons Institute , advised by Umesh Vazirani , following a PhD in Computer Science at Caltech under Thomas Vidick . His academic journey began with a B.A. in Mathematics from Oxford and a Master in Mathematics from Cambridge . He co-founded qBraid , a platform for quantum computing education. Research Interests : Andrea explores the intersection of quantum computation and cryptography , focusing on foundational questions in entanglement , quantum correlations , and quantum learning theory . His work investigates quantum pseudorandomness , device-independent security , quantum algorithms , and quantum copy-protection , often leveraging computational assumptions to bridge quantum information theory with cryptographic applications. Scientific Awards : 2025 Google Research Scholar Program Award in Quantum Computing 2023 CSE Undergraduate Teaching Award for his course on quantum computation 2019 Best Student Paper Award at QIP Teaching & Outreach : Andrea designed and taught CSE 434: Intro to Quantum Computation (Spring 2023, 2024, 2025), CSE 534: Quantum Information and Computation (Autumn 2023), and CSE 599C: Quantum Learning Theory (Winter 2025). He also delivered lectures at the 22nd Bellairs Crypto Workshop (2024) and led a quantum programming tutorial using qBraid . Labs & Teams : As co-leader of the Quantum group at the Allen School, he collaborates with researchers in Theory and Crypto , advancing quantum computing through interdisciplinary projects and educational initiatives.
Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.
Daniel M. Roy is a Full Professor at the University of Toronto, with cross-appointments in the Department of Computer Science, Department of Statistical Sciences, and Department of Electrical and Computer Engineering. He serves as Research Director at the Vector Institute and holds the CIFAR Canada AI Chair. Research Focus: Foundational principles of prediction, inference, and decision-making under uncertainty across machine learning, statistics, mathematical logic, applied probability, and computer science. Scientific Contributions: Key work in learning theory, statistical network analysis, probabilistic programming, and information-theoretic frameworks for generalization. Awards: ICML 2024 Best Paper Award for "Information Complexity of Stochastic Convex Optimization" and promotion to Full Professor in 2024. Student Advising: Actively mentors Ph.D. candidates and postdoctoral researchers with strong quantitative backgrounds, particularly at the intersection of machine learning, statistics, and computer science. Email: daniel.roy@utoronto.ca
Lijie Chen is an Assistant Professor in the Department of Electrical Engineering and Computer Sciences at UC Berkeley, where he is part of the Berkeley Theory Group. Previously, he was a Miller Research Fellow at UC Berkeley, hosted by Avishay Tal and Umesh Vazirani, and earned his Ph.D. from MIT under Ryan Williams. His research focuses on theoretical computer science, particularly computational complexity theory, with applications to quantum physics and AI safety. Education: Ph.D. in Computer Science from MIT (2022), B.Sc. from Yao Class at Tsinghua University. Research Interests: Complexity theory, quantum complexity, derandomization, circuit lower bounds, and foundational aspects of AI safety. Chen has made significant contributions to understanding fundamental questions in complexity theory, including circuit lower bounds and the connections between randomness and computation efficiency. His work often bridges theoretical insights with practical implications in quantum computing and algorithm design. Awards and Honors: Machtey Award for Best Student Paper (2019). Danny Lewin Best Student Paper Award (2019). Invited to SICOMP Special Issues for FOCS and STOC papers. He has organized workshops on complexity theory and derandomization, and his research has been recognized in venues like STOC, FOCS, and the Journal of the ACM.
Eric Wong is an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania, affiliated with the ASSET Center and leading the Brachio Lab. His research focuses on robust and reliable machine learning, including model debugging, adversarial robustness, and explainable AI. He holds a PhD from Carnegie Mellon University (CMU), advised by J. Zico Kolter, and completed a postdoc with Aleksander Madry. His work bridges theory and practice, addressing challenges in model interpretability, safety, and scalability. Teaching includes CIS 5200 (Machine Learning), CIS 3333 (Mathematics for Machine Learning), and a specialized course on debugging ML pipelines. Notable contributions include the FIX Benchmark for interpretable features and defenses against LLM jailbreaking attacks. He received an Amazon Research Award in 2024 and has published extensively in top conferences like ICML, NeurIPS, and ICLR. Affiliations: University of Pennsylvania (CIS), ASSET Center, Brachio Lab Education: PhD in Machine Learning (CMU), Postdoc at MIT Key Projects: FIX Benchmark, DOLPHIN framework, SmoothLLM defense Awards: Amazon Research Award (2024) Lab Focus: Safe AI, model debugging, neurosymbolic learning
Professor Scott A. Shalkowski is a faculty member in the Department of Philosophy at the University of Leeds, part of the School of Philosophy, Religion and History of Science. He holds the academic rank of Professor and specializes in modality, philosophy of religion, philosophical logic, and the epistemology of religious belief. His work bridges metaphysics, epistemology, and the philosophy of religion, with a focus on modal epistemology and theoretical virtues. Education: PhD in Philosophy, University of Michigan BA in Philosophy, Houghton College Research Interests: Shalkowski’s research explores modal epistemology, method in metaphysics, mathematical nominalism, and the epistemology of religious belief. He has contributed to debates on logical pluralism, modal realism, and the relationship between science and religion. Publications: His work spans topics like modal logic, theoretical virtues, and metaphysical frameworks. Notable articles include Modal Epistemology for Modalists (2023) and Modalism and Logical Pluralism (2009). His research often emphasizes empirical grounding in philosophical theorizing. Awards: Shalkowski has received awards from the National Endowment for the Humanities, Australian Research Council, and British Academy. He was also nominated for an Excellence in Teaching Award. Grants & Labs: His research has been supported by grants from major funding bodies. He contributes to interdisciplinary discussions through his work in the Centre for Philosophy of Religion and Theology and the Centre for Theoretical Philosophy at Leeds.
Dr. Oana Cocarascu is a Senior Lecturer in Artificial Intelligence at the Department of Informatics, Faculty of Natural, Mathematical & Engineering Sciences, King's College London. She holds a PhD and MEng in Computing (Artificial Intelligence) from Imperial College London and conducts applied research focusing on how artificial intelligence can be deployed to support real-world applications, with machine learning and natural language processing as core components of her work. Her research interests span argument mining, explainable AI, machine learning, natural language processing, and symbolic reasoning. She is particularly focused on developing AI systems that can provide transparent, accountable, and ethical decision-making processes. Her work addresses critical challenges in bias mitigation, fairness metrics, fact verification systems, and argumentation-based explanations for complex AI decisions. Analysis of her recent publications (2023-2025) reveals a strong focus on fairness in AI systems, with particular attention to individual fairness metrics and nuanced evaluation frameworks. She has made significant contributions to fact verification systems, especially in multimodal contexts involving charts and tabular data. Her work increasingly integrates argumentation theory with natural language processing to create explainable AI systems that can justify their decisions through structured reasoning. Dr. Cocarascu leads an EPSRC-funded project titled 'A framework for evaluating and explaining the robustness of NLP models' (2024-2027) and is actively involved in the Natural Language Processing Group at KCL. Her research fingerprint shows strong activity in argumentation (100%), decision-making (74%), artificial intelligence (50%), explainable AI (39%), and bias mitigation (35%). She has contributed to numerous high-impact publications in top venues including ACL, EMNLP, AAAI, and the Journal of Artificial Intelligence Research, with a particular focus on making AI systems more transparent, accountable, and aligned with human values. Her work intersects with UN Sustainable Development Goals, particularly those related to reducing inequality and building resilient infrastructure.
Pierre Vandergheynst is a Full Professor at the Swiss Federal Institute of Technology Lausanne (EPFL) in the Department of Electrical Engineering, with a courtesy appointment in Computer and Communication Sciences. He serves as EPFL’s Vice-Provost for Education since 2015 and leads the Signal Processing Laboratory 2 (LTS2). His research spans harmonic analysis, sparse approximations, mathematical data processing, and applications in signal/image processing, computer vision, machine learning, and graph-based data analysis. PhD in Mathematical Physics (1998), Université catholique de Louvain Postdoctoral Researcher at EPFL (1998-2001) Assistant Professor at EPFL (2002-2007) His research explores geometry/symmetry in high-dimensional data, redundant dictionaries for dimensionality reduction, and computational harmonic analysis on manifolds. Recent work focuses on protein structure modeling, geometric deep learning, and graph-based signal processing. Key article trends include graph neural networks for protein analysis, geometric deep learning in neuroscience, and structured knowledge priors in neural models. His 2023-2025 publications emphasize interpretable AI, long-range dependencies in graphs, and molecular representation learning. Scientific Awards: IEEE Signal Processing Magazine Best Paper Award (2023) Signal Processing Society Best Paper Award (2022) Apple ARTS Award (2007) De Boelpaepe Prize, Royal Academy of Sciences of Belgium (2009-2010) He has supervised over 30 PhD theses and contributed to foundational work in graph signal processing, compressive sensing, and geometric deep learning. His lab develops tools for data science on non-Euclidean structures, with applications in medicine, astronomy, and wireless systems.
Prof. Dr. Gonzalo Guillén Gosálbez is a Full Professor at the Department of Chemistry and Applied Biosciences , ETH Zürich. He holds a PhD in Process Systems Engineering (UPC, 2005) and has held academic positions at Imperial College London (Reader), University of Manchester (Senior Lecturer), and Universitat Rovira i Virgili (Assistant/Associate Professor). His research focuses on Sustainable Chemical Processes , integrating life cycle assessment, optimization techniques, and planetary boundary analysis to evaluate and design low-carbon technologies. Current position: Full Professor, ETH Zürich (2019–present) Prior roles: Imperial College London (2016–2019), University of Manchester (2014–2016), URV Spain (2008–2014) Education: PhD (UPC, 2005), MEng/BEng (University of Murcia) His research explores CO2 valorization , green methanol synthesis , circular marine fuels , and planetary boundary compliance in energy and chemical systems. Recent work emphasizes machine learning for process modeling, single-atom catalysis , and decentralized ammonia production . Scientific contributions include 15+ peer-reviewed articles (2023–2025) in journals like Nature Chemical Engineering , ACS Sustainable Chemistry & Engineering , and Energy & Environmental Science . Key themes: Optimization of hybrid fossil/renewable carbon systems Environmental impacts of energy transitions Catalyst design for sustainable chemistry Life cycle assessment of emerging technologies Awarded UPC Top Doctoral Student Award and Top National Student Award , he combines process systems engineering with sustainability metrics to address global challenges in chemical and energy systems.
Sam Staton is a Professor of Computer Science at the University of Oxford and Senior Research Fellow at Jesus College. He holds a Royal Society University Research Fellowship and leads the ERC-funded BLaSt project on probabilistic programming. His research focuses on programming language theory, particularly probabilistic and quantum programming, and category theory. Staton earned his PhD from the University of Cambridge in 2007, with prior roles as a lecturer and researcher at Cambridge, Paris, and Nijmegen. Research Interests: His work explores foundational aspects of programming languages, including semantics, algebraic effects, and applications to quantum computing and statistical modeling. Recent grants include the ARIA Safeguarded AI initiative and an AFOSR award. Education: PhD in Computer Science (2007), BA from Cambridge (2002). Students & Collaborators: Supervises multiple PhD students and postdocs, including those funded through his grants. Notable advisees include Swaraj Dash (now at Heriot-Watt) and Mathieu Huot (postdoc at MIT). Awards & Grants: Royal Society Fellowship, ERC Consolidator Grant (BLaSt), EATCS Best Paper Award, and Facebook Research Award. Labs & Teams: Leads the BLaSt project and collaborates on quantum programming via algebraic effects. Engaged in editorial roles for ACM Transactions on Quantum Computing and program committees for major conferences like POPL and LICS.
Michael Baldea is an Associate Professor in the Department of Chemical Engineering at the University of Texas at Austin . He holds a Ph.D. in Chemical Engineering from the University of Minnesota (2006), with prior degrees from 'Babeş-Bolyai' University in Romania (M.Sc. 2001, Diploma 2000). His research group develops theoretical and computational methods for Process and Energy Systems Engineering , focusing on integrated decision-making, performance optimization, and process intensification with industrial validation. Education: Ph.D., Chemical Engineering, University of Minnesota (2006) M.Sc., Interface Process Engineering, 'Babeş-Bolyai' University (2001) Diploma, Chemical Engineering, 'Babeş-Bolyai' University (2000) Research Thrusts: Integrated decision-making in chemical/energy supply chains Process performance monitoring and optimization Process integration and intensification Key applications include grid-responsive chemical plants, intensified distillation/column designs, and renewable energy integration for building systems. Scientific Awards: Frank A. Liddell, Jr. Fellowship NSF CAREER Award (2015-2020) Moncrief Grand Challenges Faculty Award (2014) AIChE Outstanding Young Researcher Award (2017) Implementation : His group has translated research into commercial tools through partnerships with industrial test beds and is working to integrate methods into commercial simulators. They explore predictive approaches for building energy management and strategic capital investment analysis in next-generation energy systems.
Michael Potter is Professor of Logic at the Faculty of Philosophy , University of Cambridge, and a Life Fellow at Fitzwilliam College. Previously at Balliol College, Oxford (D.Phil. in pure mathematics), he has held research fellowships at St Andrews, Harvard, and Stirling University (AHRC-funded). His work bridges historical and systematic philosophy, focusing on History of analytic philosophy (Frege, Russell, Wittgenstein, Ramsey) Philosophy of mathematics and logic Philosophy of religion Potter's research has produced major works like Set Theory and its Philosophy (OUP 2004) and The Rise of Analytic Philosophy (Routledge 2019), with significant contributions to understanding the Metaphysical underpinn't> of the Tractatus Neo-Fregean logicism Paradoxes in mathematical foundations He has supervised research on topics spanning dialetheism, predicative mathematics, and modal ontological arguments. Scientific awards include the AHRC Senior Research Fellowship (2004-2005). His recent publications analyze Transcendental arguments in Wittgenstein Sortition-based democratic theory Philosophical implications of Ramsey's infinite proofs via peer-reviewed chapters and journal articles.
Danica Kragic is a Professor of Computer Science at the School of Electrical Engineering and Computer Science at the Royal Institute of Technology (KTH) in Stockholm, Sweden. She serves as the Director of the Centre for Autonomous Systems and leads the Robotics, Perception and Learning Lab at KTH. Her research focuses on advancing robotics capabilities through computer vision and machine learning approaches. MSc in Mechanical Engineering from the Technical University of Rijeka, Croatia (1995) PhD in Computer Science from KTH (2001) Professor Kragic's research primarily centers on robotics, computer vision, and machine learning, with particular emphasis on robotic manipulation, grasp planning, and human-robot interaction. Her work bridges theoretical foundations with practical applications, exploring how robots can understand and interact with objects in complex environments. She investigates how visual and tactile sensing can be integrated to improve robotic perception and manipulation capabilities, with applications ranging from industrial automation to assistive robotics. Her recent publications demonstrate a strong focus on advanced grasp planning techniques, tactile sensing for manipulation, and mathematical representations for robotic control. Kragic's research shows increasing integration of machine learning approaches with traditional robotics frameworks, particularly in the areas of grasp synthesis, object recognition, and human-robot collaboration. Her work spans theoretical contributions in mathematical representations of grasps to practical implementations of robotic systems capable of adapting to novel objects and situations. 2007 IEEE Robotics and Automation Society Early Academic Career Award IEEE Fellow ERC Starting Grant (2012) Member of The Royal Swedish Academy of Sciences Member of The Royal Swedish Academy of Engineering Sciences Honorary Doctorate from Lappeenranta University of Technology Professor Kragic's research has been supported by major funding bodies including the EU, Knut and Alice Wallenberg Foundation, Swedish Foundation for Strategic Research, and Swedish Research Council. While specific student names aren't listed in the provided information, her publication record suggests extensive mentorship of PhD students and postdoctoral researchers in robotics and computer vision. Her lab, the Robotics, Perception and Learning Lab, serves as a hub for interdisciplinary research connecting computer science, engineering, and cognitive science perspectives on robotic systems. As Director of the Centre for Autonomous Systems at KTH, Kragic oversees a major research initiative focused on advancing autonomous technologies. Her Robotics, Perception and Learning Lab brings together researchers working on visual perception, machine learning, and robotic manipulation, with particular emphasis on developing systems that can understand and interact with objects in unstructured environments. The lab's work spans theoretical foundations of robotic manipulation to practical implementations of systems capable of learning from experience.
Rina Dechter is a Professor of Computer Science at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information and Computer Sciences (ICS). She specializes in automated reasoning, probabilistic and constraint-based graphical models, and causal inference. Dechter has held leadership roles, including Co-Editor-in-Chief of Artificial Intelligence since 2011 and editorial board memberships in journals such as the Constraint Journal and Journal of Machine Learning Research . Education : Ph.D., Computer Science, University of California, Los Angeles (UCLA) M.S., Applied Mathematics, Weizmann Institute B.S., Mathematics and Statistics, Hebrew University of Jerusalem Research Interests : Dechter’s work focuses on computational aspects of automated reasoning, constraint processing, probabilistic reasoning, and causal inference. She develops efficient algorithms for graphical models, emphasizing tractable reasoning tasks and anytime search strategies. Her recent projects include causal decision-making frameworks funded by a $5M NSF grant. Awards : Presidential Young Investigator Award (1991) AAAI Fellow (1994) ACP Research Excellence Award (2007) ACM Fellow (2013) Elected to the American Academy of Arts & Sciences (2025) Grants & Collaborations : She leads a multi-institutional NSF-funded project on causal foundations of AI decision-making. Her work emphasizes trustworthiness in AI through causal models, with applications in robotics and public health.
