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.
Nils Holzenberger is an Assistant Professor at Télécom Paris, France, since February 2023, affiliated with the Data Intelligence Graphs (DIG) research team within the Information Processing and Communication Laboratory (LTcI). His work bridges artificial intelligence, natural language processing, and legal domains through neuro-symbolic approaches to statutory reasoning, particularly in tax law. Education: PhD in Computer Science, Johns Hopkins University (2017-2022) Master's in Engineering, Mines ParisTech (2013-2017) Preparatory Classes, Lycée Louis-le-Grand (2011-2013) Holzenberger's research centers on legal artificial intelligence with emphasis on statutory reasoning limitations in large language models. He pioneered the SARA dataset for tax law reasoning and LegalBench benchmark, developing hybrid symbolic-neural frameworks that expose LLMs' shortcomings in precise legal interpretation. His work integrates Prolog solvers with NLP techniques to create executable tax code mappings and contract analysis tools, establishing foundational methods for verifiable legal AI systems. Analysis of his 15 most recent publications (2019-2024) reveals three dominant research thrusts: (1) Tax law reasoning benchmarks exposing LLM hallucinations, (2) Neuro-symbolic integration for statutory interpretation, and (3) Low-resource template extraction for legal documents. His work consistently demonstrates that pure neural approaches fail at precise legal reasoning, necessitating symbolic grounding for reliable legal AI applications. The DIG research team at Télécom Paris, where Holzenberger leads legal AI initiatives, is actively hiring faculty for neuro-symbolic projects. While specific grant details aren't public, his collaborations with HEC Paris, Copilex startup, and featured podcast appearances indicate substantial industry-academia engagement in legal tech development. Holzenberger directs the legal AI vertical within LTcI's DIG team, focusing on data intelligence for statutory reasoning. His group develops tools for tax minimization strategy discovery, contract analysis, and legal information extraction, maintaining close ties with legal practitioners through projects like the Prolog-based tax code interpreter. The team's infrastructure supports both academic research and startup partnerships in computational law.
Shiyu Chang is an Associate Professor in the Department of Computer Science at the University of California, Santa Barbara , focusing on machine learning with applications in natural language processing and computer vision . He previously worked as a research scientist at the MIT-IBM Watson AI Lab alongside Prof. Regina Barzilay and Prof. Tommi Jaakkola, and earned both his B.S. and Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign , advised by Prof. Thomas S. Huang. Education : PhD, University of Illinois at Urbana-Champaign BS, University of Illinois at Urbana-Champaign His research centers on enhancing AI systems through human-AI interaction , aiming to improve interpretability , transferability , and adversarial robustness in LLMs. Recent work includes LLM watermarking defense , uncertainty decomposition , and self-denoised smoothing for model robustness. His publications span premier venues like ICML , NeurIPS , CVPR , and ACL , with recurring themes in diffusion models , LLM optimization , and ethical AI (e.g., hallucination detection, unlearning frameworks). He actively mentors students, several of whom are marked as advisees (☆) in his publications.
Professor Tulika Mitra is the Dean of the School of Computing and Vice Provost (Special Projects) at the National University of Singapore (NUS). She holds the Provost’s Chair Professor in the Department of Computer Science and has been instrumental in shaping academic policies and strategic initiatives at NUS since joining in 2001. PhD in Computer Science, Stony Brook University (2000) M.E. in Computer Science, Indian Institute of Science (1997) B.E. in Computer Science, Jadavpur University (1995) Her research focuses on hardware-software co-design for energy-efficient computing systems, particularly in real-time embedded systems, heterogeneous architectures, and AI accelerators. She leads major research programs such as the NRF Competitive Research Programme on Low-Power Edge Accelerators and the MOE Tier-3 Programme on Green AI , collaborating with industry leaders like ARM, AMD, and Meta. Her recent publications highlight innovations in CGRA optimization , sparse attention mechanisms , photonic-digital hybrid architectures , and low-power ML inference . These works often integrate compiler techniques, architectural design, and real-time constraints for edge computing applications. Scientific Awards : ESWEEK Test-of-Time Award (2022), ACM SIGDA Distinguished Service Award, IEEE CEDA Outstanding Service Recognition Award, Teaching Excellence Award (2006), and multiple best paper recognitions. Education Leadership : Spearheaded the Computer Engineering (CEG) Programme at NUS, a joint initiative between Engineering and Computing. As a mentor , she has supervised over 25 PhD students , many now in prominent academic or industrial roles. Her research group eCO Lab focuses on embedded computing challenges, while her grant collaborations include projects on 5G base stations, reconfigurable architectures, and IoT-optimized SoCs.
Hadi Esmaeilzadeh is an Associate Professor at the University of California, San Diego in the Department of Computer Science and Engineering . He leads the Alternative Computing Technologies (ACT) Laboratory and serves as Associate Director of the Center for Machine Integrated Computing and Security (MICS) . Previously, he was an Assistant Professor at Georgia Institute of Technology. Ph.D., Computer Science and Engineering, University of Washington (2013) Research focuses on computer architecture , machine learning acceleration , and approximate computing His work has produced 15+ publications spanning IEEE Micro Top Picks , CACM Research Highlights , and ISCA . Key projects include: Tabla : Cross-stack ML acceleration framework DnnWeaver : Open-source DNN acceleration platform Major honors include: IEEE TCCA Young Computer Architect Award ISCA Hall of Fame Qualcomm Innovation Fellowship Georgia Tech PURA Award Teaching roles: CSE 141: Introduction to Computer Architecture CSE 240D: Accelerator Design for Deep Learning CSE 240A: Principles of Computer Architecture
Jonathan A. Kelner is a Professor of Applied Mathematics in the Department of Mathematics at the Massachusetts Institute of Technology (MIT) and a member of the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL). His research focuses on applying techniques from pure mathematics to solve fundamental problems in algorithms and complexity theory, with the goal of developing practical algorithms for real-world questions. Dr. Kelner received his undergraduate degree from Harvard University and his Ph.D. in Computer Science from MIT in 2006. Before joining the MIT faculty, he spent a year as a member of the Institute for Advanced Study. His educational background has provided a strong foundation for his interdisciplinary research spanning mathematics and computer science. His research interests include combinatorial optimization, mathematical programming, spectral graph theory, distributed computing, machine learning, computational geometry and topology, computational biology, signal processing, and random matrix theory. Kelner's work demonstrates how deep theoretical insights can lead to practical algorithmic improvements, particularly in graph algorithms and optimization problems. His approach often involves connecting seemingly disparate areas of mathematics to create novel algorithmic techniques. Analysis of his recent publications reveals a strong focus on spectral graph theory, optimization algorithms, and the Sum-of-Squares method. His work frequently addresses fundamental questions in theoretical computer science with practical implications for algorithm design. A notable trend in his research is the development of nearly-linear-time algorithms for various graph problems, which represents significant improvements over previous approaches. NSF CAREER Award Alfred P. Sloan Research Fellowship NEC Award for Research in Computers and Communication Sprowls Doctoral Dissertation Award Best Student Paper Award at STOC 2004 Best Paper Award at STOC 2011 Kokusai Denshin Denwa Junior Faculty Chair 2008 Harold E. Edgerton Faculty Achievement Award 2011 School of Science Award for Excellence in Undergraduate Education 2012 Professor Kelner has been actively involved in mentoring students and has received recognition for his teaching excellence, including the School of Science Award for Excellence in Undergraduate Education in 2012. His research has been supported by prestigious grants including the NSF CAREER Award. He has collaborated extensively with researchers across multiple institutions, often working with other leading figures in theoretical computer science to produce groundbreaking results in algorithm design. At MIT, Kelner is part of both the Mathematics Department and CSAIL, positioning him at the intersection of theoretical mathematics and practical computer science. This dual affiliation reflects the interdisciplinary nature of his work, which bridges pure mathematical theory with concrete algorithmic applications.
Virginia Smith is the Leonardo Associate Professor of Machine Learning at Carnegie Mellon University's School of Computer Science, with a courtesy appointment in the Electrical and Computer Engineering Department. She leads research addressing critical challenges in machine learning systems, particularly focusing on safety and efficiency. Her research interests span federated and collaborative learning, efficient training methods, data privacy, and AI safety. Recent work has explored topics such as model unlearning, LLM security, and resource-efficient distributed learning systems. She has made significant contributions to understanding how to make machine learning systems more robust, private, and efficient while maintaining performance. Professor Smith's publication record demonstrates a clear progression toward addressing practical challenges in deploying machine learning systems at scale. Her recent work shows strong emphasis on large language model safety, privacy-preserving techniques, and efficient distributed learning approaches. The research spans theoretical foundations to practical implementations, with numerous papers appearing in top-tier venues including NeurIPS, ICML, ICLR, and MLSys. AFOSR Young Investigator Award Sloan Research Fellowship 2023 Samsung AI Researcher of the Year Best Paper Award at ICML 2025 Exploration in AI Workshop Outstanding Paper Award at MLSys 2023 As an educator, Professor Smith mentors numerous PhD students and postdocs while teaching advanced machine learning courses at CMU. She serves as Program Chair for ICML 2025 and co-organizes a semester program on Federated and Collaborative Learning at the Simons Institute. Her research group maintains strong collaborations with industry partners including Amazon, where she has received research awards.
Professor Wayne Luk is a Professor of Computer Engineering at the Department of Computing, Faculty of Engineering, Imperial College London. He leads the Programming Languages and Systems Section and the Custom Computing Research Group, and directs the EPSRC Centre for Doctoral Training in High-performance Embedded and Distributed Systems and the Centre for Advanced Financial Engineering. He previously served as a Visiting Professor at Stanford University from 2006 to 2009. His research spans FPGA acceleration, quantum computing, deep learning optimization, and algorithm-hardware co-design, with affiliations to the CRUK Convergence Science Centre and the Engineering Secure Software Systems group. His research interests include computational modeling for particle physics, causal discovery in agent-based systems, and high-throughput digital electronics. Notable contributions include FPGA-accelerated algorithms for neural networks, quantum circuit simulation, and Bayesian optimization frameworks. His work emphasizes practical applications of reconfigurable hardware in fields like medical imaging, high-energy physics, and financial systems. Professor Luk is a Fellow of the Royal Academy of Engineering, IEEE, and BCS. His publications focus on advancing hardware-aware machine learning, FPGA-based acceleration techniques, and scalable design methodologies. His research bridges theoretical computer science with applied engineering, addressing challenges in real-time systems, embedded computing, and next-generation computing architectures. His academic leadership includes directing interdisciplinary centers and training programs, fostering collaboration across computing, engineering, and physics. Current projects explore quantum computing tools, causal inference systems, and high-performance graph neural networks for particle physics applications.
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.
Paola Cascante-Bonilla is an Assistant Professor in the Department of Computer Science at Stony Brook University, with expertise in computer vision, natural language processing, and embodied AI. Her research focuses on developing systems for compositional reasoning, common-sense inference, and trustworthy AI using vision-language models, while addressing cultural bias and explainability challenges.
Brandon Lucia is a Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University's College of Engineering. He holds the Kavčić-Moura Professorship and leads the Abstract research group. As CEO and co-founder of Efficient Computer Corp., he bridges academic research with commercial applications in energy-efficient computing. Dr. Lucia received his Ph.D. in Computer Science and Engineering from the University of Washington in 2013, following an MS from the same institution in 2010 and a BS in Computer Science from Tufts University in 2007. His research focuses on the intersection of computer architecture, computer systems, and programming languages, particularly in energy-constrained environments. His primary research interests include intermittent computing, energy harvesting computers, orbital edge computing, and parallel computing systems. Lucia's work addresses fundamental challenges in creating programmable, reliable computing devices that operate without batteries by harvesting energy from their environments, with applications in sensing, medical implants, and space systems. He also investigates software systems and architectures for making parallel computing correct, reliable, and efficient in the post-Moore's Law era. Lucia's publication record shows a clear trajectory toward orbital edge computing and nanosatellite systems, with recent work focusing on computational constellations, visual navigation for satellites, and energy-efficient processing in space. His research spans both theoretical foundations of intermittent computing and practical implementations in hardware and software. 2021 Sloan Research Fellowship 2018 NSF CAREER Award 2018 ASPLOS Best Paper Award IEEE MICRO Top Picks in Computer Architecture (2009, 2010, 2016) 2015 OOPSLA Best Paper Award 2019 IEEE TCCA Young Computer Architect Award 2022 Engineering Faculty Award As an advisor, Lucia has mentored numerous graduate students including Brad Denby, Zhuo Cheng, and Kyle McCleary, many of whom have become co-authors on his significant publications. His lab developed the world's first batteryless PocketQube nanosatellite (Tartan-Artibeus-1), which was deployed to low-Earth orbit aboard the SpaceX Transporter-3 Rocket. Lucia's research has received funding from sources including NSF, DARPA, Google, and VMware, supporting both fundamental research and practical implementations of energy-harvesting computing systems.
Berrak Sisman is an Assistant Professor in the Department of Electrical and Computer Engineering at Johns Hopkins University, affiliated with the Data Science and AI Institute and the Center for Language and Speech Processing (CLSP). She leads the Speech & Machine Learning Lab (SmILe Lab), focusing on AI-driven speech technologies. She received her PhD from the National University of Singapore in 2020 and was previously a tenure-track faculty member at the University of Texas at Dallas (2022–2024). Research Interests: Her work spans artificial intelligence, speech synthesis, voice conversion, emotion analysis in speech, medical speech applications, and secure speech technology. She develops neural models for expressive and adaptive speech processing. Publications: Her recent articles (2024–2025) emphasize speech emotion recognition, zero-shot prosody control, accent conversion, and disentangled representations in TTS, reflecting a focus on cross-modal learning, robustness, and real-world applications. Awards & Grants: NSF CAREER Award (2024) Amazon Faculty Research Award (2022) Singapore Ministry of Education Award (2021) A*STAR Singapore International Graduate Award (2016–2020) Leadership: She directs the SmILe Lab, recruiting PhD/Master’s students for projects in neural speech modeling. Her grants include NSF and Amazon funding for voice conversion and emotion synthesis research.
Tim Van de Cruys is a Senior Lecturer at the Faculty of Arts, KU Leuven, serving as Head of the Centre for Computational Linguistics (CCL). He maintains significant affiliations with LECTIO (KU Leuven Institute for the Study of the Transmission of Texts, Ideas and Images), Leuven.AI (KU Leuven Institute for Artificial Intelligence), and LILI (KU Leuven Interdisciplinary Language Institute). His work bridges computational linguistics, artificial intelligence, and humanities research with practical applications across multiple disciplines. Dr. Van de Cruys specializes in computational semantics and creative language generation, with particular expertise in applying NLP techniques to historical and classical texts. His research spans multiple domains including: Natural Language Processing for ancient languages (Latin, Ancient Greek) Computational approaches to lexical and compositional semantics Large language models and their applications in humanities research Creative language generation and human-AI collaboration Named entity recognition and disambiguation in historical contexts Non-autoregressive modeling for sequential generation tasks His recent publications demonstrate a strong focus on applying cutting-edge NLP techniques to humanities challenges, particularly in processing ancient languages. He frequently employs transformer models to address named entity recognition, word sense discrimination, and semantic analysis in low-resource language contexts. His work consistently bridges formal linguistic theory with practical computational applications, creating valuable tools for digital humanities scholars. As promotor and co-promotor on numerous research projects extending through 2029, Dr. Van de Cruys supervises PhD students working at the AI-humanities intersection. His current major projects include "Living Corpora" (exploring human-AI collaboration in digital humanities), "Stochastic processes and non-autoregressive models for sequential generation," and "NIKAW" (exploring knowledge networks from classical antiquity). These projects demonstrate his commitment to advancing both theoretical understanding and practical applications of computational linguistics. He teaches various courses including Computational Linguistics, Scripting Languages, Programming for Humanities, Computational Creativity, and AI for Humanities, training students to work at this critical interdisciplinary crossroads. His leadership of the Centre for Computational Linguistics positions him at the forefront of computational linguistics research in Belgium, where he continues to expand the boundaries of what's possible at the intersection of language, computation, and humanistic inquiry.
Anoop Sarkar is a Professor in the School of Computing Science at Simon Fraser University (SFU), leading the Natural Language Lab. His research focuses on multilingual natural language processing, machine learning applications in NLP, and machine reading with visualization techniques. He has held significant grants including NSERC Discovery Accelerator Supplements (2012–2023) and multiple Google/IBM Faculty Awards. His teaching includes advanced NLP courses and compiler design. Over 38 students have graduated under his supervision, with a strong emphasis on computational linguistics and machine translation. His research explores areas such as statistical machine translation, decipherment of ancient scripts, and semi-supervised learning. Key software contributions include the TroFi toolkit and metaphor dataset. He has served as area chair for EMNLP (2023) and co-chair of NAACL (2015). The Natural Language Lab hosts weekly meetings open to collaboration. His work bridges theory and application, addressing challenges in low-resource language processing. Recent publications (2023–2024) highlight advancements in entity linking, cognate alignment, and structured prediction. Grants span foundational and applied NLP research, supported by NSERC and industry partnerships. His advising spans 12 PhD and 26 MSc graduates, reflecting a sustained impact on the next generation of NLP researchers.
Kyle C. Hale is an Associate Professor at Oregon State University's School of Electrical Engineering and Computer Science (College of Engineering). He holds a Ph.D. and M.S. from Northwestern University (2016, 2013) and a B.S. in Computer Science from UT Austin (2010). Prior to joining Oregon State in 2024, he served as an Associate Professor at Illinois Tech in Chicago. His research spans operating systems, high-performance computing (HPC), virtualization, computer architecture, and system security. Current work focuses on specialized system software stacks for emerging computing paradigms like memory disaggregation and parallelism optimization. He leads the HExSA Lab and collaborates with the HiPCastor group. Scientific Awards: NSF CAREER Award (2023-2028) Illinois Tech College of Computing Excellence in Research (2023) Illinois Tech College of Computing Excellence in Teaching (2021) Illinois Tech Department of Computer Science Teacher of the Year (2020) EuroSys '22 Best Artifact Award Recent Research Trends: His publications emphasize compiler techniques for memory-disaggregated systems, optimizing parallel runtimes through hardware-software integration, virtualization at fine granularities, and accelerating machine learning workloads via system-level innovations. Keywords include HPC, virtualization, parallelism, and secure execution contexts. Teaching: Courses taught include Computer Architecture (CS/ECE 472), System Security (CSP 544), Operating Systems (CS 450), and advanced topics in serverless/edge computing. He actively recruits PhD students to the HExSA Lab.
