Anders Søgaard is a Professor at the University of Copenhagen , affiliated with both the Department of Computer Science and the Department of Communication. His research bridges Natural Language Processing and Machine Learning with a focus on AI ethics , explainability , and human-AI interaction . Primary Affiliation: Department of Computer Science, University of Copenhagen Secondary Affiliation: Department of Communication, University of Copenhagen Email: soegaard@di.ku.dk, soegaard@hum.ku.dk Research Interests His work spans Natural Language Processing , Machine Learning , and AI ethics , with recent studies addressing: Trustworthiness in AI systems Explainable AI (XAI) frameworks Multilingual model fairness and alignment Human-AI collaboration in reasoning tasks Ethical implications of social robots Mental health analytics using ML Recent Publications His 2025 output highlights trends in: AI ethics (e.g., fairness metrics, trustworthy systems) Multilingual model analysis (knowledge retention, cross-lingual transfer) Human-centric AI (gaze data, cultural considerations) Applications in healthcare and social good
Cyrill Stachniss is a Full Professor at the University of Bonn , where he heads the Lab for Photogrammetry and Robotics and is affiliated with the Lamarr Institute for Machine Learning and Artificial Intelligence . He was previously a Visiting Professor in Engineering at the University of Oxford until 2025. His academic journey includes positions at the University of Freiburg, University of Zaragoza, and the Swiss Federal Institute of Technology. University: University of Bonn School: Faculty of Engineering Department: Department of Photogrammetry Academic Rank: Professor His research spans robotics, photogrammetry, SLAM, autonomous navigation, perception systems, agricultural robotics, and unmanned aerial vehicles . He emphasizes probabilistic techniques for mobile robots and has made significant contributions to visual and LiDAR-based localization, scene understanding, and 3D reconstruction. The recent publications highlight a strong trend toward neural implicit representations, agricultural phenotyping, radar-based perception, and active learning . His team develops robust systems for real-world deployment in dynamic and unstructured environments, particularly in precision farming and autonomous vehicles. Scientific Awards: IEEE RAS Early Career Award (2013) Microsoft Research Faculty Fellow (2010) 7th EURON Georges Giralt Award (2008) Multiple Best Paper Awards at ICRA, IROS, RSS, and RAL Faculty Teaching Award, University of Freiburg He has advised numerous students and leads the DFG Cluster of Excellence PhenoRob and Research Unit FOR 1505 Mapping on Demand . His lab has co-founded three startups, reflecting strong industry and societal impact. He also runs the educational video series 5 Minutes with Cyrill , explaining key robotics concepts.
Yonatan Bisk is an Assistant Professor at Carnegie Mellon University within the Language Technologies Institute (with courtesy appointment in Robotics Institute). His research bridges Natural Language Processing , Robotics , and Embodied AI , focusing on language grounding, theory of mind, and multimodal interaction. Education : Ph.D. in Computer Science from University of Illinois at Urbana-Champaign Postdoctoral Experience : USC ISI, University of Washington, Allen Institute for AI Industry Appointments : Microsoft Research, Meta AI His research emphasizes embodied language systems and social intelligence in AI . Recent projects include WebArena for autonomous agents, SOTOPIA for social reasoning, and HomeRobot for open-vocabulary manipulation. He leads the REAL Center (Robotics, Embodied AI, and Learning) to foster interdisciplinary collaboration. Key scientific awards include selection for the DARPA ISAT Study Group (2024). He teaches courses like "Talking to Robots" and "Multimodal Machine Learning" while serving as area chair/editor across NLP, Robotics, and ML communities.
Sebastian Riedel is a Professor at University College London (UCL) and a Researcher at DeepMind, leading the UCL NLP Lab. His work focuses on teaching machines to read, reason, and write, integrating Natural Language Processing (NLP) with Machine Learning. He holds an Allen Distinguished Investigator award and has held roles at FAIR, UMass Amherst, Tokyo University, and the University of Edinburgh. Education: PhD in Computer Science from the University of Edinburgh (advisor: Ewan Klein), postdoctoral research at UMass Amherst (advisor: Andrew McCallum), and research at Tokyo University (advisor: Tsujii Junichi). Research Interests: NLP, machine learning, information extraction, and multimodal models like Gemini. He develops tools such as UCLEED (BioNLP event extractor), frontlets (Scala map wrappers), and thebibbrag (BibTeX to HTML converter). Awards: Allen Distinguished Investigator. Software contributions include GitHub repositories for NLP, machine learning, and data tools. Contact: s.riedel@ucl.ac.uk | Office: 1st Floor, 90 High Holborn, London WC1V 6LJ | Office Hours: Mondays 11 AM–12 PM.
Dr. Herb Lin is the Hank J. Holland Fellow in Cyber Policy and Security at the Hoover Institution and Senior Research Scholar for Cyber Policy and Security at the Center for International Security and Cooperation (CISAC), both at Stanford University. He also serves as Chief Scientist, Emeritus for the Computer Science and Telecommunications Board of the National Academies, where he worked from 1990 to 2014, and as Adjunct Senior Research Scholar and Senior Fellow in Cybersecurity at Columbia University's Saltzman Institute for War and Peace Studies. Dr. Lin received his doctorate in physics from MIT, providing him with a strong technical foundation that informs his policy work at the intersection of technology and national security. His academic background bridges the gap between deep technical understanding and policy application in the cybersecurity domain. Dr. Lin's research focuses on the policy dimensions of cybersecurity and cyberspace, with particular emphasis on offensive cyber operations as instruments of national policy, information warfare, and influence operations affecting national security. His work addresses critical challenges at the intersection of emerging technologies like artificial intelligence, quantum computing, and their implications for nuclear security, election integrity, and democratic processes. He has been instrumental in analyzing how cyber capabilities are transforming traditional security paradigms and how policy frameworks must adapt to these changes. His extensive publication record reveals a consistent focus on the evolving relationship between cyber capabilities and national security strategy. Lin's work demonstrates increasing attention to the implications of artificial intelligence for warfare, the vulnerabilities created by quantum computing for current cryptographic systems, and the growing threat of cyber-enabled information warfare to democratic institutions. His research trajectory shows a progression from traditional cybersecurity issues toward the broader implications of digital technologies for national and international security. Member of Science and Security Board of Bulletin of the Atomic Scientists Served on President Obama's Commission on Enhancing National Cybersecurity (2016) Regular congressional testimony on cybersecurity matters Contributor to Stanford Emerging Technology Review As a mentor and collaborator, Dr. Lin works extensively with policymakers, military officials, and technology experts to translate complex cybersecurity concepts into actionable policy recommendations. His approach emphasizes practical solutions to emerging threats while recognizing the technical limitations and policy constraints that shape real-world security outcomes. Dr. Lin is associated with multiple research initiatives including Stanford's Center for International Security and Cooperation and the Stanford Emerging Technology Review, which aim to connect technological advances with policy considerations for national security decision-makers.
Jan Dreier is a Research Fellow at the Institute of Logic and Computation at Vienna University of Technology. His research centers on structural graph theory and algorithmic meta-theorems, particularly exploring the boundaries of tractability for model checking problems. Dreier's work bridges theoretical computer science and discrete mathematics, focusing on graph decompositions, parameterized complexity, and logical expressiveness. Key research themes include monadic stability in graph classes, applications of model theory to computer science, and efficient algorithms for logical queries on structured graphs. His publication record shows consistent focus on graph sparsity concepts and algorithmic applications of logic, with recent work expanding into approximation methods for counting queries. Research demonstrates sophisticated applications of combinatorial methods to fundamental problems in computational complexity.
Zachary Ives is the Adani President's Distinguished Professor and Department Chair of the Computer and Information Science Department at the University of Pennsylvania. He holds affiliations with the ASSET Center for Safe, Explainable and Trustworthy AI, the Warren Center for Network and Data Science, the Center for Neuroengineering and Therapeutics, and serves as a Distinguished Research Fellow at the Annenberg Center for Public Policy. His research focuses on data integration and sharing, data provenance and trustworthiness, and machine learning systems. He develops data science platforms at the intersection of databases, machine learning, and distributed systems, with applications in Web question answering and scientific domains like genetics and neuroscience. His work addresses fundamental challenges in integrating heterogeneous data, ensuring trustworthy results, and facilitating collaborative data science. His recent publications demonstrate a strong focus on data lakes, learned database systems, fine-grained provenance, and question answering systems. These works span top conferences including SIGMOD (where his paper was selected as Best Paper in 2024), VLDB, ACL, and PODS, showing the breadth of his contributions across database systems, natural language processing, and data management. NSF CAREER award recipient Fellow of the ACM Christian R. and Mary F. Lindback Foundation Award for Distinguished Teaching IEEE Technical Committee on Data Engineering Education Award SIGMOD Best Paper Award ICDE 2013 ten-year Most Influential Paper award As Department Chair, Ives has overseen significant departmental growth, hiring 25 new faculty since 2018. He advises numerous PhD students and postdocs, and maintains extensive collaborations across Penn and with external institutions. His research has been funded by NSF, NIH, DARPA, Google, Amazon, and other organizations. He has developed courses including NETS 212 'Scalable and Cloud Computing' and teaches Big Data Analytics. His research group, the Penn Database Group, works on projects including data lake management, data provenance, and collaborative data science platforms. His work with neuroscientists on seizure prediction has received significant attention, including a competition with 504 teams achieving 82% accuracy.
Christian Wolf is an Assistant Professor at the Massachusetts Institute of Technology (MIT) Department of Economics and a Faculty Research Fellow at the National Bureau of Economic Research (NBER). His work bridges macroeconomics, monetary economics, and econometric methodology. Research Interests: Wolf specializes in macroeconomics and monetary policy , with a focus on econometric techniques like structural vector autoregressions (VARs) and local projections . His research explores policy counterfactuals, heterogeneous-agent models, and fiscal-monetary interactions. Recent Publications: His work spans topics such as equivalence between fiscal and monetary tools in HANK models, robust identification in VARs, and the interplay between inequality and macroeconomic dynamics. Articles appear in journals like Econometrica , Journal of Political Economy , and American Economic Review . Awards: Faculty Research Fellow, NBER Contact: ckwolf@mit.edu | Office: E52-554, MIT
Suguman Bansal is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology. Her research focuses on formal methods and their applications to artificial intelligence, programming languages, and machine learning. Previously, she held an NSF/CRA Computing Innovation Postdoctoral Fellowship at the University of Pennsylvania (2020-2022) and completed her PhD at Rice University (2016-2020). Education: PhD in Computer Science, Rice University (2016-2020) MS in Computer Science, Rice University (2014-2016) BSc (Honors) in Mathematics and Computer Science, Chennai Mathematical Institute (2011-2014) Research Interests: Formal methods, reinforcement learning, reactive synthesis, quantitative verification, and trustworthy AI systems. Her work bridges logic-based formal methods with modern AI challenges, emphasizing safety, reliability, and generalization in AI systems. Key Contributions: Pioneering work on specification-guided reinforcement learning, compositional synthesis algorithms, and formal verification of AI systems. Notable tools include Lisa (LTLf synthesis tool) and DiRL (compositional reinforcement learning framework). Awards: 2020 NSF CI Fellowship, 2021 MIT EECS Rising Star, 2023 ATVA Best Paper Award, and Keynote Speaker at SAS 2022. Advising & Grants: Advises PhD and Master’s students in reinforcement learning and formal methods. Lead PI on a collaboration grant with IIT Bombay (2024) and recipient of a ~$250K NSF/CRA postdoctoral grant. Labs/Teams: Leads the BansalLab at Georgia Tech, focusing on trustworthy AI through formal methods and algorithmic innovation.
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.
Matthew Kay is an Associate Professor in the Department of Communication Studies at Northwestern University's School of Communication, with a secondary appointment in Computer Science. He serves as Co-Director of Graduate Studies for the PhD in Technology and Social Behavior program. His research focuses on human-computer interaction and information visualization, specializing in uncertainty communication, usable statistics, and personal informatics. He employs mixed-method approaches including behavioral analysis, interactive system development, and visualization technique evaluation to address real-world data interpretation challenges. Analysis of his recent publications reveals dominant themes in visualization literacy development, uncertainty representation for decision-making, and health informatics applications. His work consistently bridges theoretical frameworks with practical implementations, particularly in educational assessment tools and election forecast visualizations. Professor Kay co-directs the Midwest Uncertainty Collective (MU collective), a research group advancing uncertainty communication methodologies. Previously faculty at the University of Michigan School of Information, he maintains active contributions to visualization tool development including the ggdist R package for uncertainty visualization.
Arman Cohan is an Assistant Professor of Computer Science at Yale University, affiliated with the School of Engineering & Applied Science. His research focuses on the intersection of Machine Learning and Natural Language Processing (NLP), particularly in language modeling, representation learning, retrieval systems, and applications in specialized domains such as scientific text processing. He earned his Ph.D. in Computer Science from Georgetown University and has received notable awards, including the Dr. Harold N. Glassman Distinguished Doctoral Dissertation Award (2019) and the EMNLP 2017 Best Long Paper Award. His work emphasizes ethical AI, robustness of LLMs, and interdisciplinary applications in healthcare, science, and education. Cohan's research group, the Yale NLP Lab, develops advanced techniques for multi-document summarization, adversarial fact-checking, and LLM-driven tools for scientific discovery. Recent projects include frameworks like SciBERT, Longformer, and ChemAgent, which enhance domain-specific reasoning and safety in AI systems. His publications address challenges in table reasoning, uncertainty expression, and multimodal reasoning, with applications in medical decision-making and educational problem-solving. He collaborates on initiatives like the Roberts Innovation Fund to advance AI in healthcare and environmental technology.
Paolo Ienne is a Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL), where he leads the Processor Architecture Laboratory (LAP) within the School of Computer and Communication Sciences. His research focuses on advancing reconfigurable computing systems through innovative FPGA architectures and high-level synthesis methodologies. His primary research domains include reconfigurable computing, FPGA architecture design, dynamically scheduled dataflow circuits, and hardware acceleration techniques. Recent work emphasizes memory system optimization for FPGAs, formal verification of circuit transformations, and rapid C-to-hardware compilation flows. He has pioneered approaches for handling thousands of outstanding memory misses in FPGA accelerators and developed novel techniques for switch-block exploration without explicit pattern enumeration. Analysis of his 2023-2025 publications reveals a strong trend toward practical FPGA deployment challenges, with increasing focus on HBM integration, virtual memory systems for PCIe-attached devices, and formally verified circuit transformations. His work consistently targets real-world bottlenecks in high-level synthesis toolchains while maintaining theoretical rigor in dataflow architecture design. Professor Ienne's laboratory receives support from the Swiss National Science Foundation and industry partners including Huawei, enabling cutting-edge research in FPGA-based acceleration. His collaborative network spans major semiconductor companies and academic institutions worldwide, with frequent co-authorship on conference proceedings and journal publications in IEEE and ACM venues.
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.
Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.
