Jiwon Yun is an Associate Professor in the Department of Linguistics at Stony Brook University. She holds a Ph.D. in Linguistics from Cornell University (2013) and a B.S.E. in Computer Science & Engineering from Seoul National University (cum laude with honors). Her research focuses on speech prosody, syntax-semantics interfaces, and computational modeling of sentence processing, with special attention to East Asian languages like Korean, Mandarin, and Japanese. Dr. Yun teaches undergraduate and graduate courses in computational linguistics, semantics, pragmatics, and experimental phonetics. Her work bridges theoretical linguistics and experimental methods, examining how prosody interacts with syntactic and semantic structures. Recent publications investigate prosodic disambiguation of syntactic ambiguities, computational models of relative clause processing, and intonation patterns in Korean and Mandarin. She has developed tools for automated speech corpus analysis and maintains a Hangul-Yale Romanization Converter for linguistic research. Her research has been published in journals like Humanities and Social Sciences Communications , Linguistic Inquiry , and Journal of East Asian Linguistics . Teaching responsibilities include courses such as LIN 335 (Computational Linguistics) and LIN 627 (Computational Semantics).
Joydeep Biswas is an Associate Professor in the Computer Science Department at the University of Texas at Austin, where he serves as the Director of the Autonomous Mobile Robotics Laboratory (AMRL). He is also affiliated with Texas Robotics, the UT Machine Learning Laboratory, and UT Good Systems. Previously, he was an Assistant Professor in the College of Information and Computer Sciences at the University of Massachusetts Amherst. Dr. Biswas earned his PhD in Robotics from Carnegie Mellon University in 2014 and his B.Tech in Engineering Physics from the Indian Institute of Technology Bombay in 2008. His educational background has provided him with a strong foundation in both theoretical and applied aspects of robotics and artificial intelligence. Dr. Biswas's research focuses on enabling long-term autonomy for mobile robots operating in human environments. His work spans robot perception, motion planning, control systems, and AI, with the ultimate goal of creating self-sufficient autonomous mobile robots that can perform tasks accurately and robustly in real-world settings. He is particularly interested in perception, planning, and failure recovery for autonomous mobile robots, which supports his vision of having autonomous service mobile robots deployed at campus-to-city scale, both indoors and outdoors, performing assistive tasks over deployments spanning years. His IJCAI 2019 Early Career Spotlight talk summarizes much of his research to date and ongoing interests. His recent research has shown a strong trend toward social navigation, human-robot interaction, and the application of machine learning techniques to robotics problems. There's a clear progression from fundamental robotics research toward more complex, real-world applications that require robots to understand and navigate human social spaces effectively. His work increasingly integrates large language models and other advanced AI techniques with traditional robotics approaches, as evidenced by his recent publications on topics like preference-conditioned navigation, social navigation benchmarks, and instruction-following navigation systems. Dr. Biswas has received numerous prestigious awards including the NSF CAREER Award (2021), J.P. Morgan Faculty Research Award (2019), Amazon Research Award (2019), and a grant from Northrop Grumman Mission Systems (2018). These awards recognize his innovative contributions to the field of robotics and autonomous systems. As a dedicated educator and mentor, Dr. Biswas actively supervises PhD and master's students, with his PhD student Sadegh Rabiee winning the student poster award at the Northrop Grumman University Symposium 2019. He has secured significant grant funding from the National Science Foundation for projects including 'Introspective Perception and Planning for Long-Term Autonomy' and 'Interactive Synthesis and Repair For Robot Programs,' demonstrating his ability to secure competitive research funding and his commitment to advancing the field. Dr. Biswas leads the Autonomous Mobile Robotics Laboratory (AMRL), which serves as a hub for interdisciplinary research in mobile robotics. The lab has developed notable resources such as the UT Campus Object Dataset (CODA) for 3D perception research and SOCIALGYM, a framework for benchmarking social robot navigation. His team regularly deploys robots on the UT Austin campus and in urban environments to test and refine their approaches in realistic settings, bridging the gap between simulation and real-world application.
Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.
Lorraine (Xiang) Li is an Assistant Professor in the Department of Computer Science at the University of Pittsburgh’s School of Computing and Information (SCI). Her research focuses on the intersection of natural language processing, commonsense reasoning, knowledge representation, and machine learning, particularly in designing probabilistic models and evaluation methods for implicit commonsense knowledge in language. Li holds a PhD from the University of Massachusetts, Amherst, and previously worked as a young investigator with the Mosaic team at AI2. She has an M.S. in Computer Science from the University of Chicago, where she conducted research at TTIC. Her work emphasizes advancing AI’s ability to reason contextually and generate robust, human-like understanding through probabilistic frameworks. Key research themes include bias detection in reasoning models, iterative model editing, domain adaptation with LLMs, and evaluating commonsense through probabilistic measures. Her recent publications explore challenges like confirmation bias in chain-of-thought reasoning and geographical robustness in object recognition. Li actively contributes to the NLP community, serving on program committees for ACL, EMNLP, NAACL, and ARR. Though no formal awards are listed, her prolific publication record reflects her impact in AI research. She currently leads research in procedural knowledge models (e.g., Plasma) and long-tail knowledge generation, advancing foundational AI methodologies.
Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.
Dr. Jillianne Code is an Associate Professor at the University of British Columbia's Faculty of Education, Department of Curriculum & Pedagogy, directing the ALIVE Research Lab. Her work focuses on learner agency, educational technologies, and social media's impact on student success. Specializes in immersive virtual environments for assessment Researches self-regulated learning and formative feedback Investigates health education through digital interventions Her recent publications examine pandemic-era educational transitions, digital literacy in teacher training, and cognitive tools in virtual reality. She has received Outstanding Paper Awards for her work on immersive assessment. Dr. Code leads research projects on learning analytics, student engagement in digital spaces, and technology education sustainability. Her work bridges educational theory with practical interventions through digital badges, mobile health applications, and 3D learning environments.
John Kingston is a Professor of Linguistics and Director of the Phonetics Lab at the University of Massachusetts Amherst, where he has been since 1990. He holds a BA and MA from the University of Chicago (1976–1977) and a PhD from UC Berkeley (1985). His research focuses on the interplay between phonetics and phonology, particularly speech perception and its influence on phonological representations. He co-founded the Laboratory Phonology Conference series in 1987 and has conducted fieldwork on Otomanguean languages. His work emphasizes experimental methods to study phonological questions, including studies on vowel perception, tone systems, and cross-linguistic phonetic patterns. Kingston’s academic journey includes roles at the University of Texas, Austin (1984–1986) and Cornell University (1986–1990). His research explores how auditory processing and linguistic knowledge shape speech perception, with notable contributions to understanding tonogenesis, perceptual contrast effects, and vowel category learning in second languages. He collaborates on grants examining Ganong effects and phonological inventories, advocating for theories that bridge perceptual and structural aspects of language. His lab, the Phonetics Lab, supports experimental work on speech perception and production. Kingston is also the Honors Program Coordinator, mentoring students in linguistics and related fields. Despite no explicit awards listed, his extensive publications and conference leadership reflect his scholarly impact.
Andrew Miller is an Associate Professor in the Electrical and Computer Engineering department at the University of Illinois, specializing in Programming Languages, Formal Methods, Software Engineering, Security and Privacy, and Systems and Networking. His research focuses on blockchain technologies, cryptography, and secure systems. Professor Miller's research spans multiple critical areas in modern computer security. His work primarily focuses on blockchain technologies , where he has made significant contributions to understanding and improving the security, privacy, and performance of systems like Bitcoin and Ethereum. He has conducted empirical analyses of privacy in the Lightning Network and developed protocols for confidential smart contracts. His work in cryptography includes research on multiparty computation, zero-knowledge proofs, and formal methods for cryptographic protocol design. Miller also investigates security vulnerabilities in proof-of-stake systems and resource exhaustion attacks, contributing to the robustness of decentralized systems. His applied security research extends to privacy-preserving health applications, as evidenced by his work on the Safer Illinois platform for COVID-19 contact tracing. Miller's publication record demonstrates consistent contributions to top security and systems venues including IEEE Security & Privacy, ACM CCS, Financial Cryptography, and USENIX Security. His research shows a clear trajectory from foundational work in blockchain security to more applied systems addressing real-world privacy and security challenges. Recent work focuses on making multiparty computation services publicly auditable and developing decentralized identity solutions that maintain compatibility with existing systems. Distinguished Reviewer Award, IEEE Security & Privacy 2018 Professor Miller has advised students including Vivek Nair, who joined the prestigious Hertz Fellows program in 2022. He has taught various courses including Introduction to Algorithms & Models of Computation, Advanced Computer Security, Cryptography, Applied Cryptography, and Ideal Functionality in Cryptography. His research has received support through grants including the SaTC: CORE: Medium project on "Automated Support for Writing High-Assurance Smart Contracts" in 2018. Miller is actively involved in research groups focusing on blockchain security, cryptographic protocols, and privacy-preserving systems. His lab appears to collaborate extensively with researchers across multiple institutions, as evidenced by the diverse author lists on his publications. Current work seems to be focused on making decentralized systems more secure, privacy-preserving, and accessible for real-world applications.
Dr. Konstantin (Kostia) M. Zuev serves as Teaching Professor in the Computing + Mathematical Sciences Department at California Institute of Technology , where he has made significant contributions to network science and computational statistics since 2016. His dual PhDs in Mathematics (Moscow State University, 2008) and Civil Engineering (HKUST, 2009) underpin his interdisciplinary research spanning differential geometry, stochastic simulation, and network dynamics. Education PhD in Mathematics, Lomonosov Moscow State University (2008) PhD in Civil Engineering, Hong Kong University of Science & Technology (2009) His research focuses on network science , particularly course-prerequisite networks and complex financial systems , with recent work extending to network navigability in cosmological models and rare event simulation. Over his career, he has developed innovative Bayesian inference methods and geometric preferential attachment theories while maintaining active collaborations across mathematics, physics, and biomedical domains. Recent publications highlight network analysis in education ( 2023 ), hyperbolic graph theory ( 2024 ), and pandemic-informed cancer mortality studies ( 2023 ). His 15 most recent articles demonstrate methodological innovations across disciplines including statistics, physics, finance, and cosmology. Scientific recognition includes Humboldt Research Fellowship (2021) Carver Mead Seed Fund Grant (2023) ASCIT Teaching Award (2018, 2023) Northrop Grumman Teaching Excellence Prize (2019) As Graduate Option Representative for Information and Data Sciences at Caltech and faculty advisor for multiple student organizations including the Caltech Karate Club and Caltech Chess Club , he actively bridges academic rigor with community engagement through outreach initiatives like the virtual math education channel and university math circles for K-12 students.
Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
Vaishak Belle is a Reader in Logic and Learning at the School of Informatics, University of Edinburgh, and serves as Director of Research and Innovation at the Bayes Centre (40% position). His academic career focuses on the critical intersection of artificial intelligence, formal logic, and machine learning systems. His research spans multiple domains within AI: Neurosymbolic AI integration approaches Logic-based machine learning frameworks Ethics, fairness, and responsibility in AI systems Generative AI and its societal impact Robotics with advanced reasoning capabilities Causal modeling and probabilistic reasoning Belle leads a research laboratory dedicated to advancing neurosymbolic AI, which combines the explainability of symbolic systems with the learning capabilities of neural networks. His recent work has explored abduction in logical frameworks, formal languages for AI safety, and the relevance of logic for general-purpose AI systems. He has made significant contributions to bridging the gap between theoretical AI foundations and practical applications. His publications demonstrate consistent focus on creating AI systems that can reason formally while learning from data, with applications ranging from robotics to ethical decision-making frameworks. His research addresses fundamental challenges in developing trustworthy, explainable AI that can operate safely in complex environments. Beyond technical research, Belle is actively engaged in AI education through executive programs on AI leadership and ethics, and has contributed to public understanding through his children's book "The girl and the robot" which explores human-robot relationships and emotional projection onto artificial agents. He maintains an active presence in the international AI research community, regularly participating in major workshops including Dagstuhl seminars on neurosymbolic AI, and collaborating with researchers across disciplines from computer science to philosophy.
Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.
Dylan Hadfield-Menell is an Assistant Professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, holding the Bonnie and Marty (1964) Tenenbaum Career Development Professorship. His research focuses on AI alignment and human-AI interaction within MIT's School of Engineering. His research interests center on agent alignment problems in AI systems, particularly examining uncertainty in objective optimization for human-robot teams and societal oversight of machine learning systems. Key areas include the principal-agent alignment problem , assistance games frameworks , and robust preference learning that accounts for hidden contextual factors in reinforcement learning from human feedback. His recent publications reveal strong trends toward multi-agent cooperation , formal contract mechanisms for resolving social dilemmas, and advanced evaluation methodologies for AI safety. The research spans theoretical frameworks like open-universe assistance games while addressing practical challenges in language model alignment and cultural bias assessment. Scientific awards include: AI2050 Early Career Fellowship from Schmidt Futures Berkeley Fellowship NSF Graduate Research Fellowship C.V. Ramamoorthy Distinguished Research Award His work bridges theoretical computer science with real-world AI governance challenges, as demonstrated through MIT's participation in AI policy white papers. Current research directions include developing frameworks for transparent AI systems and addressing fundamental limitations in aligning recommender systems with human values through interdisciplinary synthesis.
Mennatallah El-Assady serves as Assistant Professor at ETH Zurich's Department of Computer Science, where she leads the Interactive Visualization and Intelligence Augmentation Lab (IVIA). Her academic trajectory includes research fellowships at ETH's AI Center and doctoral work at University of Konstanz and OntarioTech University, establishing her expertise at the intersection of visualization and artificial intelligence. Her research focuses on advancing responsible data-driven decision-making through human-centered analytics, with particular emphasis on explainable machine learning systems. Dr. El-Assady combines data mining techniques with visual interfaces to create transparent AI workflows, specializing in text data analysis. Her work bridges computational linguistics, digital humanities, and information visualization to develop tools that make complex AI processes interpretable for end users. Recent publications demonstrate growing focus on generative AI's impact on visualization practices and sophisticated frameworks for interactive machine learning. Her research consistently addresses the challenge of maintaining human agency in increasingly automated systems, with applications spanning political debate analysis, musicology, and healthcare data interpretation. The trend shows increasing sophistication in evaluation methodologies for visual analytics systems. Best Paper Award: Honorable Mention for 'Progressive Learning of Topic Modeling Parameters: A Visual Analytics Framework' Dr. El-Assady actively shapes her field through workshop leadership including ArgVis (Argument Visualization), Vis4DH (Visualization for Digital Humanities), and VISxAI (Visualization for AI Explainability). Her teaching includes 'Interactive Machine Learning- Visualization and Explainability' at ETH Zurich, training next-generation researchers in human-centered AI development. She maintains strong industry connections with coverage in Forbes and ETH News regarding human-AI collaboration frameworks. The Interactive Visualization and Intelligence Augmentation Lab (IVIA) develops cutting-edge tools including explAIner for transparent machine learning, LingVis for linguistic analysis, VisArgue for debate structure visualization, and VALIDA for political deliberation analysis. These projects share a common thread of enhancing human understanding through carefully designed visual interfaces that expose AI decision processes.
Gordon Plotkin is a Professor at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS). His research lies at the intersection of theoretical computer science and programming language semantics, with a profound influence on the formal understanding of computation. His research interests include Programming Language Theory, Semantics of Programming Languages, Domain Theory, Operational Semantics, Lambda Calculus, Type Theory, Concurrency Theory, and Algebraic Effects. His seminal work on structural operational semantics and domain theory has laid the foundation for modern semantics of programming languages. His publications span over five decades, showing a sustained and evolving research trajectory from foundational work in lambda calculus and domain theory to recent contributions in algebraic effects, probabilistic computation, and biochemical systems modeling. The articles demonstrate a consistent focus on formal methods, mathematical rigor, and the algebraic structure of computational effects. He has collaborated with leading researchers including Martín Abadi, John Power, Glynn Winskel, and John Reynolds. His work continues to influence both theoretical and practical developments in programming languages and systems. Gordon Plotkin has made foundational contributions to computer science, particularly through his development of structural operational semantics and domain-theoretic models of computation. He has advised numerous researchers and supervised many influential PhD theses, though specific student names are not listed in the provided text. His work has been supported by long-standing affiliations with the Laboratory for Foundations of Computer Science and the University of Edinburgh, and he has contributed to major collaborative projects in programming language design and verification. He is associated with several research groups and labs, most notably the Laboratory for Foundations of Computer Science (LFCS), which serves as a hub for theoretical research in programming languages, semantics, and logic at the University of Edinburgh.
