David Bamman is an Associate Professor in the School of Information at UC Berkeley, specializing in applying Natural Language Processing (NLP) and machine learning to cultural and social science questions. He leads research in born-literary NLP, computational humanities, and cultural analytics, with affiliated roles in EECS, Linguistics, and Computational Precision Health. Bamman holds degrees from Carnegie Mellon (Ph.D., 2015), Boston University (M.A., 2006), and University of Wisconsin-Madison (B.A., 1998). His work is supported by NEH, NSF, and industry grants. Educations: Ph.D. in Computer Science (2015), Carnegie Mellon University M.A. in Applied Linguistics (2006), Boston University B.A. in Classics (1998), University of Wisconsin-Madison Research Interests: NLP for underserved domains (e.g., literature, social media), coreference resolution, cultural analytics, and computational methods for studying literature and culture. Projects include LitBank and BookNLP datasets. Grants & Awards: Hellman Fellow (2019), Amazon Research Award (2017), NSF CAREER Award, and NEH funding. Teaching: Courses include Natural Language Processing (Info 159/259), Computational Humanities (INFO 190), and Applied NLP (INFO 256). His research group explores topics like racial representation in high school literature, Hollywood diversity metrics, and the sociocultural implications of LLMs. Bamman advises multiple PhD students and collaborates on datasets like CMU Book Summaries and 11K Latin Books.
Massachusetts Institute of TechnologyUnited States
Luca Carlone is the Boeing Career Development Associate Professor in the Department of Aeronautics and Astronautics at MIT and a Principal Investigator at the Laboratory for Information & Decision Systems (LIDS) . He leads the SPARK Lab , focusing on developing certifiable perception algorithms for autonomous systems. PhD in Mechatronics (Polytechnic University of Turin, 2012) Research spans robotics, computer vision, and optimization Research Interests : Certifiable Perception algorithms for high-integrity systems High-level Perception (geometric, semantic, physical understanding) Efficient Perception methods for resource-constrained robots Scientific Contributions include: 2024 Outstanding Systems Paper Award (RSS) 2023 IEEE Transactions on Robotics King-Sun Fu Award 2021 NSF CAREER Award 2020 AIAA Advising Award 2019 Amazon Research Award Advising : Teaches graduate courses like Visual Navigation for Autonomous Vehicles and Robotics: Science and Systems . Collaborates with institutions including JPL, Caltech, and KAIST through the DARPA SubT Challenge.
Mark Steedman is a Professor in the School of Informatics at the University of Edinburgh, where he conducts research in Artificial Intelligence, Computational Cognitive and Social Science, and Natural Language and Speech Processing. He is affiliated with the Institute for Language, Cognition and Computation (ILCC), the Centre for Speech Technology Research (CSTR), and the Human Communications Research Center (HCRC). He also holds an adjunct professorship in Computer and Information Science at the University of Pennsylvania. His research focuses on Combinatory Categorial Grammar (CCG) , computational linguistics , prosody and intonation , temporal semantics , gesture in communication , and computational music analysis . He has authored foundational books including Surface Structure and Interpretation , The Syntactic Process , and Taking Scope . The recent publications reflect a strong trend toward integrating formal grammatical frameworks like CCG with modern neural and distributional models, particularly in semantic parsing, entailment reasoning, and cognitive modeling. His work bridges symbolic and statistical approaches in NLP, often focusing on robust, wide-coverage parsing and semantic interpretation. Best Paper Award at AACL/IJCNLP 2023 for 'Smoothing Entailment Graphs with Language Models' Best Paper Award at ACL 2023 for 'Extrinsic Evaluation of Machine Translation Metrics' Influential Paper Award 2017 from IFAAMAS for 'Animated Conversation' Mark Steedman has supervised numerous PhD students and collaborated widely across institutions. He leads research in formal grammar applications to cognitive modeling, dialogue, and multimodal communication. His lab contributes to CCG software and semantic parsing tools, and he continues to be actively involved in advancing the integration of symbolic and neural AI.
Elaine Francis is a Professor of English and Linguistics at Purdue University's College of Liberal Arts, where she serves as Associate Head of the Department of English and directs the Experimental Linguistics Lab. She holds additional affiliations as an Affiliate Faculty Member in the Department of Linguistics and a Courtesy Faculty Member in the Department of Speech, Language, and Hearing Sciences. Ph.D. in Linguistics, University of Chicago (1999) B.A. in Linguistics, College of William and Mary (1993) MA in Linguistics, University of Chicago (1995) Former Assistant Professor at the University of Hong Kong (1999-2002) Professor Francis's research focuses on syntax and its interfaces with semantics, discourse information structure, and language processing in production and comprehension. She employs experimental methods to investigate syntactic, semantic, discourse-pragmatic, and cognitive factors underlying complex sentence structures. Her primary research areas include word order alternations, filler-gap dependencies, resumptive pronouns, and grammatical acceptability. She examines how various factors contribute to grammatical alternations in language use and explores how processing pressures in production and comprehension contribute to grammatical conventions. Her recent publication record shows consistent output across multiple linguistic subfields, with a strong emphasis on experimental syntax and psycholinguistics. Her 2022 book, Gradient Acceptability and Linguistic Theory , represents a significant contribution to understanding acceptability judgment tasks in relation to syntactic theory. Her work spans theoretical syntax, experimental linguistics, second language acquisition, and cross-linguistic comparison, often bridging the gap between theoretical frameworks and empirical evidence. Regularly teaches short courses at Linguistic Society of America Linguistic Institutes Member of Linguistic Society of America Ethics Committee Editorial board member of Glossa Psycholinguistics Co-editor of Polymorphous Linguistics: Jim McCawley's Legacy (2005) Co-editor of Mismatch: Form-Function Incongruity and the Architecture of Grammar (2003) Professor Francis actively supervises graduate students in linguistics, though she has indicated she will be unable to take on new graduate students for the 2025-2026 academic year. She has received research support for her experimental work, particularly for investigating syntactic phenomena through controlled experiments and corpus analysis. Her collaborative work extends across multiple institutions and disciplines, including collaborations with researchers in computational linguistics, cognitive science, and clinical linguistics. She directs the Experimental Linguistics Lab at Purdue University, which conducts research on syntactic processing using various experimental methodologies. The lab investigates how speakers produce and comprehend complex sentence structures, with particular attention to how grammatical knowledge interacts with processing constraints. Current projects include research on relative clauses, syntactic islands, and acceptability gradient phenomena across multiple languages.
University of Illinois Urbana-ChampaignUnited States
Huan Zhang serves as an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign (UIUC), with affiliate appointments in the Department of Computer Science and the Coordinated Science Laboratory. His research focuses on building trustworthy AI systems with formal verification techniques to provide provable guarantees for safety-critical applications, particularly in machine learning and neural networks. Dr. Zhang received his Ph.D. in Computer Science from UCLA in 2020, advised by Professor Cho-Jui Hsieh. His academic journey includes an M.S. in Computer Engineering from UC Davis (2014) and a Bachelor of Engineering from Zhejiang University (2012). Prior to joining UIUC, he completed a postdoctoral fellowship at Carnegie Mellon University (2021-2023) with Professor Zico Kolter. Huan Zhang's research program centers on formal verification of machine learning systems, with particular emphasis on neural network verification, AI safety, robustness, and reliability. He pioneered the linear bound propagation-based verification framework that enables formal verification for networks with millions of neurons. His work spans five major research categories: formal verification of machine learning, training trustworthy ML models, machine learning safety and adversarial attacks, reinforcement learning safety, and optimization for scalable machine learning. His CROWN framework (NeurIPS 2018) established a foundational approach for neural network verification through efficient linear bound propagation. His recent publications demonstrate a strategic expansion from foundational verification techniques toward increasingly complex systems including large language models, vision-language models, and robotic control systems. The research trajectory shows a clear progression from theoretical frameworks to practical implementations with real-world applications, particularly in safety-critical domains. His work increasingly bridges formal methods with practical AI deployment requirements. Winner of International Verification of Neural Networks Competition (VNN-COMP) as team leader (2021-2024) Schmidt Futures AI2050 Early Career Fellowship ($300,000 research grant) Adversarial Machine Learning (AdvML) Rising Star Award (2021) IBM PhD Fellowship (2018) Dr. Zhang leads the development of α,β-CROWN, a neural network verifier that has won VNN-COMP 2021-2023, and auto_LiRPA, a PyTorch-based library for perturbation analysis on general computational graphs. He has mentored numerous graduate students from CMU, UCLA, UIUC, and Columbia University. His research is supported by significant funding including the Schmidt Futures fellowship and industry collaborations. He teaches courses including ECE 120, ECE 484, ECE 584, and ECE 598 HZ on topics ranging from computing fundamentals to safe autonomy and machine learning. Dr. Zhang maintains active research collaborations across multiple institutions and is affiliated with UIUC's Coordinated Science Laboratory. His work has significant implications for safety-critical AI applications in autonomous systems, healthcare, and other mission-critical domains where reliability guarantees are essential. He regularly gives guest lectures at institutions including Yale, Stony Brook, and the University of Nebraska Lincoln on formal verification techniques.
Robert Ghrist is the Andrea Mitchell University Professor at the University of Pennsylvania with dual appointments in the Department of Mathematics and the Department of Electrical and Systems Engineering. He serves as Associate Dean for Undergraduate Education for Penn Engineering. His educational background includes a B.S. in Mechanical Engineering from the University of Toledo (1991), and M.S. and Ph.D. degrees in Applied Mathematics from Cornell University (1994, 1995). Ghrist's research bridges pure and applied mathematics, focusing on applied algebraic topology , dynamical systems , and geometric methods in data science. His work extends to network theory, topological data analysis, and computational geometry, with applications spanning robotics, neuroscience, and social dynamics. Key innovations include developing sheaf-theoretic approaches for networked systems and persistence homology techniques for high-dimensional data. Analysis of his recent publications reveals a strong emphasis on lattice-theoretic frameworks , topological robotics , and network dynamics , with emerging applications in neural data interpretation and geometric computing. His research consistently integrates category theory with real-world engineering challenges. Significant scientific recognition includes: Presidential Early Career Award (PECASE, 2004) Scientific American 'Top 50' Research Leader (2007) Mathematical Association of America's Chauvenet Prize (2013) University of Pennsylvania Lindback Award for Distinguished Teaching (2015) DoD National Security Science and Engineering Faculty Fellowship (NSSEFF, 2015) Ghrist leads multiple federally funded research initiatives supported by AFOSR, DARPA, NSF, and ONR. He directs the development of educational tools including the Calculus BLUE/GREEN Project video series and custom GPTs for mathematical pedagogy. His open online courses have reached over 100,000 learners globally.
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
Noah D. Goodman is Associate Professor of Psychology and Computer Science, and Linguistics (by courtesy) at Stanford University. He directs the Computation & Cognition Lab (CoCoLab) at Stanford, where he leads research on computational models of cognition, integrating logic and probability. His work spans cognitive psychology, linguistics, and computer science. Primary Appointment: Psychology Department By Courtesy: Computer Science Department and Linguistics Department Director: Computation & Cognition Lab (CoCoLab) Goodman's research focuses on computational models of cognition, with particular interest in probabilistic approaches to understanding human thought. His work integrates logic and probability to model concepts, categorization, intuitive theories, causal learning and reasoning, social cognition (including reasoning about others' goals, beliefs, and actions), cognitive development (especially acquisition of abstract knowledge), and natural language semantics and pragmatics. He has made significant contributions to the development of probabilistic programming languages as tools for cognitive modeling. His recent publications demonstrate a strong trend toward integrating probabilistic modeling with linguistic theory and social cognition. The articles span computational cognitive science, natural language processing, and artificial intelligence, with a consistent theme of using probabilistic frameworks to understand complex cognitive phenomena. Many papers explore how humans make inferences under uncertainty across different domains. Goodman teaches several courses at Stanford including Language and Thought (Psych 132), Computation and Cognition: the Probabilistic Approach (Psych 204/CS 428), Foundations of Cognition (Psych 205), and Introduction to Cognitive Science. He has also led seminars on topics ranging from natural and artificial intelligence to the science of meditation.
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.
Irina Bobkova is an Associate Professor in the Department of Mathematics at Texas A&M University, affiliated with the College of Arts & Sciences. Her research focuses on algebraic topology, particularly computational aspects of equivariant and chromatic homotopy theory. She has received significant support from the National Science Foundation (NSF) via a CAREER Grant and an RTG Grant. Her research interests include equivariant homotopy theory, chromatic homotopy theory, and the study of stable homotopy groups of spheres. She explores computational methods involving Morava stabilizer groups, Picard groups, and topological modular forms. Her work often involves collaborations with leading mathematicians in the field, such as Agnès Beaudry and Vesna Stojanoska. Bobkova has published extensively in top journals like Mathematische Zeitschrift , Journal of Topology , and Algebraic & Geometric Topology . Her recent work includes groundbreaking contributions to K(2)-local homotopy theory, duality resolutions, and the cohomology of Morava stabilizer groups. She co-organizes the South Central Topology Conference, fostering regional collaboration in topology. Her grants and awards reflect her leadership in advancing algebraic topology. She actively engages in academic service, including organizing workshops and mentoring early-career researchers. Despite no listed formal advisees, her collaborative approach shapes the field’s future directions.
Professor Jelena Grbic is a distinguished mathematician serving as Professor of Mathematics within the School of Mathematical Sciences at the University of Southampton since 2012. Her academic journey began with a B.Sc. in Mathematics from the University of Belgrade, Serbia in 1997, followed by a Ph.D. in Algebraic Topology from the University of Aberdeen in 2004. Prior to her current position, she held academic appointments at the University of Manchester (2007-2012) as Lecturer and Senior Lecturer, and at the University of Aberdeen (2004-2006) as Lecturer. Professor Grbic's research spans multiple interconnected domains of pure mathematics, with a primary focus on modern homotopy theory, particularly unstable homotopy theory, and its applications across topology, algebra, and geometry. Her work centers on decompositions and exponent problems in homotopy theory, homotopy aspects of Toric Topology, Hopf algebras, and geometric problems related to cobordisms and string topology. This research bridges abstract mathematical theory with potential applications in data science and computational topology. Analysis of her recent publications (2020-2025) reveals a consistent research trajectory in algebraic topology with increasing interdisciplinary connections. Her work demonstrates sophisticated mathematical techniques applied to complex topological structures, particularly moment-angle complexes and polyhedral products. Notably, her 2022 paper 'Aspects of topological approaches for data science' indicates growing interest in applying topological methods to contemporary data analysis problems, suggesting an expanding research horizon beyond pure mathematics. Professor Grbic actively supervises PhD students, including current student Salvatore Elia in Mathematical Sciences, and teaches modules covering algebraic topology and homotopy theory. She serves as a reviewer for prestigious journals including Homology, Homotopy and Application (2019), Transactions of the London Mathematical Society (2021), and The LMS Newsletter (2017), contributing to the scholarly community through peer review and academic service.
Anush Tserunyan is a Professor of Mathematics at McGill University, Canada, and a Visiting Professor at the Unit of Pure and Applied Mathematics (UMPA) at École normale supérieure de Lyon from December 1, 2024, to January 31, 2025. She holds a bachelor's and master's in computer science and applied mathematics from Yerevan State University (2005–2007) and a Ph.D. in Mathematics from UCLA (2013), focusing on finite generators for group actions, equivalence relations, and recursive program complexity. Research Interests: Anush Tserunyan specializes in Ergodic Theory , Combinatorics , and Group Actions , with notable contributions to graph theory, hypergraphs, and Ramsey theory. Her work bridges combinatorial structures with analytic methods, particularly in dynamical systems and descriptive set theory. Collaborations: During her visit to UMPA, she collaborates with teams in Geometry, Groups and Dynamics , and Number Theory , alongside researchers like Benjamin Schraen and Sophie Morel. Her stay includes seminars on GGD, Number Theory, and the 'Actions!' working group. Publications: Her research spans topics like ergodic theorems, disjoint matchings in graphs, and algebraic hypergraphs, reflecting a focus on foundational mathematical structures and their applications.
Southern University of Science and Technology (SUSTech)China
Wei Zhang is a tenured Professor at the Southern University of Science and Technology (SUSTech) , Shenzhen, China, and a Senior Member of IEEE. He serves as Associate Editor for IEEE Transactions on Control System Technology and leads the CLEAR Lab (Control & Learning for Robotics and Autonomy) within the School of Automation and Intelligent Manufacturing (AiM). His career spans institutions including the University of California, Berkeley (postdoc), and The Ohio State University (Assistant/Associate Professor). Education: PhD in Electrical Engineering from Purdue University (2009), MS in Electrical and Computer Engineering from University of Kentucky (2005), BS in Automation from University of Science and Technology of China (2003) Research Interests focus on integrating control theory, optimization, and machine learning to develop intelligent systems. Key areas include: Legged Robots: Dynamic locomotion control, bio-inspired gait design, and push recovery mechanisms Autonomous Systems: Real-time motion planning, obstacle avoidance, and safe navigation in adversarial environments Smart Grids: Distributed control for energy systems and transactive energy optimization Machine Learning: Reinforcement learning for robotics, Q-learning convergence analysis, and hybrid control-learning frameworks Publication Trends highlight interdisciplinary work at the intersection of robotics and control systems. His recent 2024 papers address: Whole-body control for wheeled-quadrupedal robots Geometric object pose refinement in computer vision Task-space Riccati feedback for underactuated systems Teacher-student reinforcement learning architectures Scientific Awards include: 2016 : NSF CAREER Award 2015 : Lumley Research Award (Ohio State University) 2013 : AFOSR Summer Faculty Fellowship 2018 : National Distinguished Expert (Young, China) 2019 : International Underwater Robot Competition 2nd Prize (team advisor) Academic Leadership involves editorial roles at IEEE Transactions on Control System Technology and IEEE Transactions on Power Systems. His lab provides state-of-the-art robotics platforms including quadruped robots, Kuka manipulators, and UAVs for algorithm validation. Research collaborators span The Ohio State University , UC Berkeley , CMU , and The University of Hong Kong .
Peter Selinger is a Professor in the Department of Mathematics and Statistics at Dalhousie University , with a cross-appointment in Computer Science. He specializes in mathematical methods in computer science, particularly quantum computing and combinatorial game theory . His work on quantum programming languages like Quipper and foundational research in category theory has garnered international recognition. Education : Ph.D. in Mathematics (University of Pennsylvania, 1997), undergraduate studies in Mathematics (Technische Universität Darmstadt). Research Interests span quantum computing, category theory, and combinatorial game theory. He has pioneered formalisms for quantum programming languages, developed categorical models for quantum mechanics, and analyzed game-theoretic structures in games like Hex. His recent work includes linear dependent type theory , quantum circuit synthesis , and combinatorial game classification . Publications demonstrate expertise in quantum programming languages, categorical semantics, and game theory. Key trends include Hamiltonian simulation , Clifford+T circuits , and monotone game realization . Scientific Honors include the Killam Professorship (2017–2022), Faculty of Science Award for Excellence in Teaching (2023), and fellowships from the Alfred P. Sloan Foundation and German National Scholarship Foundation . Students he has supervised include PhD graduates Xiaoning Bian , Francisco Rios , and Neil J. Ross , along with MSc students like Fahimeh Bayeh and Seth Greylyn . He has advised 16 postdoctoral researchers.
University of Illinois Urbana-ChampaignUnited States
Joseph Bentsman is a Professor in the Department of Mechanical Science and Engineering at the University of Illinois at Urbana-Champaign's Grainger College of Engineering. He also holds affiliate appointments in the Department of Aerospace Engineering (since 2015) and the Department of Electrical and Computer Engineering (since 2018). His academic journey began with an M.S. from Byelorussian Polytechnic Institute in Minsk, USSR (1979), followed by a Ph.D. in Electrical Engineering from Illinois Institute of Technology (1984). Professor Bentsman's research focuses on control of nonlinear and distributed parameter systems, nonlinear oscillations, network control, stability theory, and stochastic multiscale methods. He pioneered a new class of dynamical systems with active singularities that admit control actions during singular phases of motion, which represent a novel category of hybrid systems characterized by impulsively controlled discrete transitions. His recent work has expanded into biomedical applications, particularly thermophysical modeling of tissue during electrosurgery and control of phase change processes. His recent publications (2021-2024) reveal a strong trend toward biomedical applications of control theory, particularly in modeling heat conduction in biological tissues, electrosurgical processes, and phase change phenomena. Approximately 60% of his recent work focuses on biomedical applications, while the remainder continues his foundational work on nonlinear control systems, distributed parameter systems, and systems with active singularities. Key subfields include Stefan problems, enthalpy-based control, telegraph equation modeling, and PDE-based control of complex physical processes. NSF Presidential Young Investigator Award (1989) Life Fellow of American Society of Mechanical Engineers Life Senior Member of IEEE IEEE Control Systems Society Technical Committee Chair on Power Generation (2015-2019) International Society of Automation POWID Achievement Award (2014) 2018 AIST Computer Applications Best Paper Award Featured in 'People in Control', IEEE Control Systems Magazine (2018) Professor Bentsman has been instrumental in developing educational approaches that integrate signal processing, instrumentation, control, and machine learning, as evidenced by his two textbooks. His work on the steel continuous casting process, particularly the mold oscillation system, has led to practical industrial applications. He has also made significant contributions to power plant control systems and boiler/turbine control. His research group appears to focus on both theoretical control systems development and practical implementation in industrial and biomedical settings, with strong connections to steel manufacturing, power generation, and medical device industries.
