Sean Welleck is an Assistant Professor at Carnegie Mellon University's School of Computer Science, Language Technologies Institute, leading the L3 Lab. His research focuses on bridging informal and formal reasoning with AI, spanning machine learning for mathematics and code, inference algorithms, and AI agents. PhD in Computer Science from New York University (advised by Kyunghyun Cho) Postdoctoral work at University of Washington (advised by Yejin Choi) His work explores AI-driven formal methods for mathematics and code generation, test-time compute scaling, and algorithms enabling AI improvement over time. Recent publications analyze reasoning evaluation, premise selection, and automated proof optimization in systems like Lean. Key article trends include neural theorem proving, code generation, and inference-time compute optimization. Awards: NVIDIA AI Labs Pioneering Research Awards (2017, 2018), NAACL 2025 Best Paper. Current advisees include PhD students Pranjal Aggarwal, Weihua Du (co-advised with Yiming Yang), Andre He (co-advised with Daniel Fried), and Seungone Kim (co-advised with Graham Neubig). He co-organizes workshops like Autoformalization for the Working Mathematician (ICERM 2025) and VerifAI: AI Verification in the Wild (ICLR 2025), and teaches Advanced NLP at CMU.
Prof. Norbert Lütkenhaus is a Professor and Executive Director of the Institute for Quantum Computing (IQC) at the University of Waterloo, cross-appointed to the Department of Applied Mathematics. He holds affiliations with Perimeter Institute and the Centre for Applied Cryptographic Research. His research focuses on quantum communication theory, particularly quantum key distribution (QKD) and quantum repeaters. He has pioneered methods to bridge abstract quantum protocols with practical optical implementations, emphasizing secure key rate calculations and overcoming quantum channel limitations. Education: PhD (2003) in Physics from University Erlangen-Nürnberg, MSc (1993) and BSc (1990) from Ludwig-Maximilians-Universität München and RWTH Aachen, respectively. Awards include the 2015 American Physical Society Outstanding Referee Award and a 2009 University of Waterloo Excellence Award. Research interests span QKD protocols (e.g., decoy-state BB84, phase-error mitigation), quantum repeater architectures, and entanglement verification. He develops numerical tools for key rate analysis and addresses implementation security loopholes. His work includes theoretical frameworks for long-distance quantum communication and practical QKD system optimizations. Teaching includes courses on quantum information processing (PHYS 768/QIC 890) and mechanics (PHYS 115). He contributes to international standards via ETSI’s QKD-ISG and the QCrypt steering committee. His patents cover QKD system designs and phase-randomization techniques.
Josef Urban is a leading researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) , Czech Technical University in Prague, heading the ERC Consolidator project AI4REASON . Previously, he held positions as a postdoc at Radboud University Nijmegen and assistant professor at Charles University in Prague, where he co-founded the Prague Automated Reasoning Group. Education Ph.D. in Computer Science (2004), Charles University, Prague M.S. in Mathematics (1998), Charles University, Prague B.S. in Economics (1995), Charles University, Prague Research Interests Urban specializes in automated reasoning over large formalized knowledge bases, combining deductive theorem proving and inductive machine learning . His work aims to realize "strong AI" through formalized mathematics, particularly using systems like Mizar and the AI/TP Challenges . He advocates for computer-verifiable mathematics as a foundation for AI progress. Article Trends Urban's publications focus on integrating machine learning with automated theorem proving in systems like ENIGMA and BliStr . Key trends include semantic guidance for ATPs, premise selection in formal libraries, and automated proof compression via concept invention. Scientific Contributions Head of ERC Consolidator project AI4REASON Marie-Curie Fellow at University of Miami Co-founder of Prague Automated Reasoning Group Editor for Formalized Mathematics Advising and Grants Urban has advised numerous PhD and MSc students including Daniel Kuehlwein, Krystof Hoder, and Yutaka Nagashima. He has secured grants like the ERC Consolidator Grant and Marie-Curie Fellowship . Labs and Collaborations Urban leads the AI4REASON team at CIIRC and collaborates with the Foundations Group at Radboud University. He contributes to projects like Mizar TWiki and XML-based API for Mizar , aiming to create a semantic AI ecosystem for formal knowledge.
Caroline Lemieux is an Assistant Professor at the Department of Computer Science, University of British Columbia (UBC), with research focused on advancing software correctness, security, and performance through innovative testing and synthesis techniques. Her work bridges Programming Languages and Software Engineering , particularly in fuzz testing, specification mining, and program synthesis. PhD from University of California, Berkeley (2021), advised by Koushik Sen Postdoctoral researcher at Microsoft Research, NYC (2021-2022) Key contributions: FuzzFactory , CodaMOSA , Arvada , and Gauss Her research integrates machine learning with traditional testing methods, exemplified by projects like RLCheck (reinforcement learning for test generation) and AutoPandas (neural synthesis for dataframes). Recent publications analyze generator-based fuzzing challenges and propose hybrid strategies combining coverage feedback with AI-driven insights. Scientific Awards : ACM/SIGSOFT Best Paper Award (ESEC/FSE 2019) ACM/SIGSOFT Tool Demonstration Award (ISSTA 2019) ACM/SIGSOFT Distinguished Artifact Award (ISSTA 2019) NSERC Postgraduate Scholarship-Doctoral (PGS D) UBC Governor General's Silver Medal (2016) Teaching roles include: 2025W2: CPSC 539L - Topics in Programming Languages 2024W2: CPSC 410 - Advanced Software Engineering 2023W2: CPSC 410 (with Alex Summers) She supervises graduate and undergraduate researchers working on projects like ExploTest (automated unit test generation) and GRIMOIRE (grammar extraction from pseudo-rules). Her research team collaborates with institutions including Microsoft Research, Google, and academic partners in systems security and AI-driven testing.
Leslie Ann Goldberg is a Senior Research Fellow at St Edmund Hall and Professor of Computer Science at the University of Oxford. She currently serves as Head of the Department of Computer Science (on sabbatical 2025-26) and focuses on foundational problems in Algorithms and Complexity Theory , particularly randomised algorithms for network communication, machine learning, and statistical physics models. Her research includes solving Aldous' 1987 conjecture on backoff protocol instability (with John Lapinskas), developing rigorous mathematical analysis frameworks for algorithmic efficiency, and advancing approximate counting techniques via Markov Chain Monte Carlo methods (with Andreas Galanis and collaborators). Key projects involve graph homomorphisms , Moran process dynamics , and #BIS complexity class analysis. Recent publications (2023-2024) span topics like Sybil defense mechanisms, low-temperature sampling on random graphs, and parameterised subgraph counting modulo 2. Her work demonstrates cross-disciplinary impact in computational biology, statistical physics, and database theory. Scientific Awards include Best Paper Prizes at ICALP 2016, ICALP 2010, and IPEC 2017. She supervises PhD student Paulina Smolarova and collaborates extensively with researchers in Oxford and beyond.
Daniel Grier is an Assistant Professor jointly appointed in the Computer Science and Engineering and Mathematics departments at the University of California, San Diego (UCSD). His research focuses on quantum complexity theory , particularly exploring near-term quantum computing paradigms and proving quantum advantage over classical systems. He holds a Ph.D. from MIT and was previously a postdoctoral fellow at the University of Waterloo’s Institute for Quantum Computing. Education: Ph.D. in Computer Science, MIT B.S. in Computer Science and Mathematics, University of South Carolina Research Interests: Grier’s work bridges theoretical computer science and quantum computing, emphasizing algorithm design, complexity class separations, and foundational questions about quantum supremacy. He studies how low-depth quantum circuits, boson sampling, and other near-term technologies can achieve computational tasks classically deemed intractable. Recent Article Trends: His publications explore efficient quantum state learning (e.g., classical shadows), hardness results for quantum sampling problems (e.g., bipartite Gaussian boson sampling), and circuit lower bounds (e.g., depth-2 QAC circuits). These contributions highlight his focus on rigorously defining quantum computational advantages. Awards: None explicitly listed in the text. Advising & Grants: Advises at least one student, Jackson Morris. His research is supported by grants exploring quantum complexity and algorithm design. Teaches advanced courses on quantum complexity theory, computability, discrete mathematics, and quantum computing fundamentals. Labs/Teams: Maintains an active lab focused on quantum complexity theory, collaborating with colleagues on topics like interactive protocols and shallow quantum circuits.
Daniel Varro is a Professor affiliated with McGill University (Faculty of Engineering, School of Computer Science), with strong ties to Budapest University of Technology and Economics and Linköping University. He is a leading researcher in model-driven engineering, cyber-physical systems, and software engineering, actively contributing to top-tier conferences such as MODELS, ICSE, and ASE. His research focuses on model-based systems engineering (MBSE) , automated model generation , model transformations , and constraint-based consistency checking . Recently, his work has expanded into integrating large language models (LLMs) and machine learning into modeling workflows, including model querying, domain modeling, and bug detection. The recent publications reveal a strong trend toward AI-augmented modeling, logic-based solvers (e.g., Refinery), and safety assurance of autonomous systems (e.g., COLREGs compliance). His work bridges formal methods with practical software engineering challenges in industrial and safety-critical domains. Scientific Awards: No specific awards mentioned in the text. Advising and Grants: While no explicit list of students or grants is provided, his mentorship in the Doctoral Symposium and repeated leadership roles suggest active supervision and likely grant funding. He has led projects on automated model generation, model quality, and AI integration in modeling. Labs and Teams: Daniel Varro is associated with research groups focused on model-driven engineering and software evolution, likely leading or co-leading teams working on the VIATRA and Refinery frameworks for model transformation and solving.
Daniel Balasubramanian is an Adjunct Associate Professor of Computer Science and Research Scientist at Vanderbilt University's School of Engineering. His research focuses on cybersecurity, software verification, and cyber-physical systems, with expertise in symbolic execution, code analysis, and formal methods. He contributes to advancing secure systems through frameworks like RAMPART for adversarial defense and Syntheto for formal verification. His work intersects edge computing, hardware security, and autonomous systems resilience. Research Interests: Cybersecurity (including ethical hacking, network defense), formal methods (verification, theorem proving), edge computing (tinyML, cloud integration), and cyber-physical systems (emulation, testbeds). His recent work emphasizes assurance provenance in software documentation and adversarially robust autonomous systems. Publications since 2019 highlight contributions to cybersecurity testbeds, reinforcement learning for penetration resistance, and hardware security against rowhammer attacks. He has explored domain-specific languages (Syntheto), incremental modeling techniques (differential-formula), and cloud-edge service resilience against adversarial perturbations. Labs/Teams: Affiliated with the Institute for Software-Integrated Systems (ISIS), focusing on integrating software with physical systems through model-driven approaches and cybersecurity innovations.
Associate Professor Oliver Diessel is a faculty member at the University of New South Wales (UNSW) within the School of Computer Science and Engineering. He has been actively teaching and conducting research at UNSW since at least 2000, with teaching experience spanning various computer architecture and digital systems courses. Dr. Diessel completed his education at the University of Newcastle, Australia, earning a B.E. (Computer, Hons) and B.Math. in 1991, followed by a PhD in 1998. His academic career has focused on reconfigurable computing systems and computer architecture. His primary research interests center around the design, test, and implementation of digital systems in reconfigurable logic devices called Field-Programmable Gate Arrays (FPGAs). Specifically, he focuses on dynamically reconfigurable digital systems where circuits can be modified while the system is operational. His work aims to develop architectures, design methods, and tools that enhance the benefits and reduce the costs of reconfigurable systems. Current research projects include fault-tolerant FPGA-based systems for space applications and fine-grained accelerators for heterogeneous devices. Dr. Diessel has published extensively with 2 books, 1 book chapter, 16 journal articles, 67 conference papers, 1 edited conference proceedings, and 7 conference presentations to his credit. His publications reflect a strong emphasis on reconfigurable technology, computer architecture, and electronic design automation. As a supervisor, Dr. Diessel currently mentors two MPhil students: Tong Wu working on Runtime reconfiguration and Junning Fan working on Fault-tolerance of FPGA-based applications. He has previously supervised six students to completion. His supervision interests include reconfigurable technology and systems, electronic design automation, and computer architecture. Dr. Diessel is an active member of the professional community, serving on the Editorial Board of ACM Transactions on Reconfigurable Technology and Systems and as an IEEE Member. He has taught numerous courses including Configurable Systems (COMP4601), Computer Architecture (COMP3211, COMP4211), Digital Systems (COMP3222), and FPGA Implementation of Digital Systems using Verilog.
Professor Nick Chater is a leading figure in the field of Behavioural Science, affiliated with the University of Warwick at Warwick Business School since 2010. He has held previous chairs in psychology at Warwick and UCL. His research spans cognitive and social foundations of rationality, with applications to business and public policy, and he has authored over 200 papers and six books. He is a fellow of the British Academy, Cognitive Science Society, and Association for Psychological Science. His research interests include cognitive science, behavioral economics, decision making, and computational psychology, with a focus on reasoning, language, and mathematical modeling of mental processes. He has been recognized with prestigious awards such as the Spearman Medal, Experimental Psychology Society Prize, and the David E Rumelhart Prize for lifetime achievement in cognitive science. His work extends to practical applications through co-founding Decision Technology and advising the UK government's Climate Change Committee and the Behavioural Insight Team. Recent publications highlight his interdisciplinary approach, bridging economics, cognitive science, computational modeling, and behavioral public policy. Topics include thermal macroeconomic theory, Bayesian sampling, paradoxes in cognition, and language emergence via social interaction. These works emphasize probability judgments, moral cognition, and computational limitations in human inference. British Psychological Society's Spearman Medal (1996) Experimental Psychology Society Prize (1997) David E Rumelhart Prize (2023) PROSE Award (2019) Chater's academic contributions include collaborations with researchers like Adam N. Sanborn, Hossam Zeitoun, and Morten H. Christiansen, focusing on Bayesian inference, behavioral public policy, and cognitive modeling. He has also been a resident scientist on BBC Radio 4's The Human Zoo.
Prof. Khalil Sima'an serves as Professor of Computational Linguistics and Vice Director of Education at the Institute for Logic, Language and Computation (ILLC), University of Amsterdam, within the Faculty of Science. He joined as Assistant Professor in 2003, advanced to Associate Professor in 2011, and attained Full Professorship in 2014. His academic foundation includes a PhD in Computational Linguistics from Utrecht University, establishing his expertise in formal language modeling. Prof. Sima'an's research drives innovation in Computational Linguistics through rigorous exploration of syntactic structures, semantic processing, and machine translation systems. His work bridges theoretical frameworks with practical NLP applications, particularly in parsing technologies and multilingual processing, positioning him as a key contributor to European language technology initiatives. His distinguished recognition includes: Royal Netherlands Academy for Arts and Sciences (KNAW) Fellowship NWO Vidi Grant (2006) for pioneering early-career research NWO Vici Grant (2013) for groundbreaking senior research leadership He actively shapes the field through editorial stewardship of Machine Translation and Journal of Natural Language Engineering , alongside pivotal conference roles including MT Summit XIV Chair (2013) and ACL 2010 area chair for syntax/parsing. As core faculty in the Natural Language Processing & Digital Humanities (NLP&DH) research group, he advances collaborative projects integrating computational methods with humanities scholarship at LAB42's interdisciplinary hub.
Wenpeng Yin is an Assistant Professor in Computer Science and Engineering, specializing in Natural Language Processing and Machine Learning. His research focuses on advancing Large Language Models (LLMs) and their applications in scientific, societal, and interdisciplinary domains. Research Interests : LLMs, medical QA, financial AI, model consistency, and instruction-following frameworks. Recent Work : Investigates low-resource NLP tasks, bias evaluation (Gptbias), and adaptive trading systems using LLMs. Current trends in his publications highlight innovations in multimodal learning, symbolic reasoning, and ethical AI, with a strong emphasis on practical implementations across diverse fields.
Dr. Chunyan Mu serves as a Senior Lecturer in the School of Natural and Computing Sciences at the University of Aberdeen, actively contributing to both academic instruction and cutting-edge research in computing science while currently accepting new PhD students. Her research program centers on Trustworthy AI and Safe Autonomy, with specialized expertise in formal verification of responsibility, accountability, and privacy mechanisms within multi-agent systems. She investigates resilience frameworks for autonomous intelligent systems and develops advanced methodologies for information flow security analysis, bridging theoretical computer science with practical security implementations. Analysis of her publication trajectory (2014-2025) reveals consistent innovation in applying formal methods to security-critical systems. Key thematic developments include probabilistic strategy logic for observability analysis, quantitative verification of opacity properties, and game-theoretic approaches to security verification, demonstrating increasing sophistication in handling multi-agent accountability and system resilience challenges. Dr. Mu currently supervises PhD candidates and offers a fully funded doctoral position focused on formal verification of safety properties in autonomous systems, providing comprehensive financial support including tuition coverage, £20,780 annual stipend, and dedicated research funding for candidates with strong backgrounds in formal methods and artificial intelligence.
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.
Tianyi Zhang is a Tenure-Track Assistant Professor in the Department of Computer Science at Purdue University, part of the College of Science. He leads the Human-Centered Software Systems Lab, focusing on AI-driven systems that synergize human expertise with machine intelligence to enhance programming productivity and software reliability. Prior to Purdue, he was a Postdoctoral Fellow at Harvard University under Dr. Elena Glassman and earned his Ph.D. from UCLA (2019) and B.Sc. from Huazhong University of Science and Technology (2013). Education: Ph.D. in Computer Science, University of California, Los Angeles (2019) Bachelor's in Computer Science, Huazhong University of Science and Technology (2013) Research Interests: His work spans Software Engineering, Human-Computer Interaction, and AI. Key areas include program synthesis, interactive debugging tools, autonomous driving system testing, and mitigating biases in AI models. He develops systems like Interpretable Program Synthesis and SQLucid to bridge human and machine intelligence. Recent Trends in Publications: Recent work emphasizes human-in-the-loop AI, including mixed-initiative systems for data wrangling (Dango), interactive program repair, and bias analysis in text representations (STILE). He also explores challenges in autonomous driving testing and LLM-based code generation errors. Awards & Grants: NSF Career Award (2024) Amazon Research Award Showalter Trust Research Award for pre-diabetes research $1.5M NSF grant for software supply chain security Best Paper Honorable Mentions at CHI and VAHC Advising & Teams: Supervises 12+ PhD/Master's students and 30+ research interns. Notable advisees include Bonan Kou (API misuse studies) and Yuan Tian (text-to-SQL systems). Collaborates with Harvard Medical School on healthcare data analysis. Labs & Initiatives: Directs Purdue's Human-Centered Software Systems Lab. Co-founded the Societal Impact Fellows program. Active in open-source projects like Examplore for API usage visualization and JShrink for Java debloating.
