Brent Pym is an Associate Professor in the Department of Mathematics and Statistics at McGill University. His research focuses on the intersection of differential, algebraic, and noncommutative geometry, with a particular emphasis on Poisson varieties and deformation quantization. He has held academic positions at the University of Edinburgh, University of Oxford, and was a Postdoctoral Fellow at McGill and the University of Toronto. Education: BScE in Engineering Physics, Queen's University (2007) MSc in Mathematics, University of Toronto (2008) PhD in Mathematics, University of Toronto (2013) Research Interests: Pym studies Poisson structures, their quantizations, and connections to mathematical physics. His work involves classical/derived algebraic geometry, D-modules, moduli spaces, the Stokes phenomenon, and multiple zeta values. Recent projects include holonomic Poisson manifolds, log symplectic structures, and software for symbolic calculations in deformation quantization. Awards: Lichnerowicz Prize (2018) Advising & Grants: Pym has openings for graduate students (admission 2026) and undergraduate projects (2026–27). He develops the Star Products software package for symbolic calculations in Poisson brackets and quantization. His work is supported by research collaborations and institutional grants. Labs & Teams: Pym collaborates with researchers in geometry and mathematical physics, contributing to projects in noncommutative algebra and geometric quantization. His software tools enhance symbolic computation in these fields.
Kimon Fountoulakis is an Associate Professor at the University of Waterloo. His research focuses on Machine Learning on Graphs and Numerical Optimization, with a strong emphasis on algorithmic methods for graph-structured data. He holds a Ph.D. from The University of Edinburgh (2015), an M.Sc. from The University of Edinburgh (2010), and a B.Sc. from Athens University of Economics and Business (2009). His work spans theoretical foundations and practical applications in graph algorithms, optimization, and machine learning. Research interests include graph neural networks, local graph clustering algorithms, and algorithmic reasoning. His contributions address challenges in graph representation learning, message-passing architectures, and scalable optimization methods. Notable themes in his publications include improving counting abilities of vision-language models, analyzing graph convolutions, and developing flow-based clustering techniques with statistical guarantees. His work often bridges theory and practice, with applications in network analysis, pandemic containment strategies, and high-performance computing. While no specific grants or awards are listed, his research demonstrates significant contributions to graph-based machine learning and optimization. He maintains a research group at the University of Waterloo, with a focus on developing open-source tools and frameworks for graph algorithms. His lab’s work emphasizes local graph clustering methods and their scalability in real-world networks.
Aditya K. Jagannatham is a Professor in the Department of Electrical Engineering at the Indian Institute of Technology Kanpur (IIT Kanpur). With expertise in wireless communications and signal processing, he has established himself as a leading researcher in 5G/6G technologies, MIMO systems, and cognitive radio networks. His educational background includes: PhD in Electrical and Computer Engineering from UC San Diego (2007) M.S. in Electrical and Computer Engineering from UC San Diego (2004) B.Tech. in Electrical Engineering from IIT Bombay (2001) Professor Jagannatham's research primarily focuses on next-generation wireless communication systems, with special emphasis on 5G and 6G technologies. His work spans OTFS modulation, Terahertz communications, Visible Light Communication (VLC), Intelligent Reflecting Surface (IRS) technology, Massive MIMO, mmWave MIMO, Non-Orthogonal Multiple Access (NOMA), and Filter-Bank Multi-Carrier (FBMC) systems. His research integrates theoretical analysis with practical implementation challenges, addressing critical issues in modern wireless networks. His recent publications demonstrate a strong trend toward advanced signal processing techniques for next-generation wireless systems, particularly focusing on Sparse Bayesian Learning approaches for channel estimation, cooperative communication systems with energy harvesting capabilities, and millimeter wave MIMO technologies. His work bridges theoretical communication theory with practical implementation challenges in emerging wireless standards. Professor Jagannatham has received numerous prestigious awards and fellowships: Arun Kumar Endowed Chair Professorship (2019) Qualcomm Innovation Fellowship (2018) P.K. Kelkar Young Faculty Research Fellowship for excellence in research (2015-2018) IEEE Signal Processing Society travel grant to attend ICASSP 2015 Gopal Das Bhandari Memorial Distinguished Teacher Award (2012-13) Cal(IT)2 fellowship for graduate study at UC San Diego As an educator, Professor Jagannatham has received commendation letters from the Director of IIT Kanpur for excellence in teaching courses including EE624 Information and Coding Theory, EE670 Wireless Communications, and EE320 Principles of Communication Systems. His research has attracted significant funding, though specific grant details are not provided in the available information. He likely supervises graduate students working on cutting-edge wireless communication research. Professor Jagannatham is based in the Advanced Centre for Electronic Systems (ACES) at IIT Kanpur, where he leads research in wireless communications. His work appears to be closely connected with the Center for Developing Intelligent Systems (CDIS) and other research centers at IIT Kanpur focused on next-generation communication technologies.
Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.
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.
Julian McAuley is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego's Jacobs School of Engineering. His research spans recommender systems, machine learning, natural language processing, music information retrieval, and multimodal learning. He maintains an active research group with numerous PhD students and postdocs working on cutting-edge AI problems. His research interests focus on developing advanced algorithms for personalized recommendation systems, with particular emphasis on sequential recommendation, multimodal learning, and integrating large language models with traditional recommendation approaches. His work bridges the gap between theoretical machine learning and practical applications across multiple domains including e-commerce, music, and healthcare. McAuley has published extensively in top-tier conferences including NeurIPS, ICML, KDD, SIGIR, and ACL, with his most recent work exploring the intersection of large language models and recommendation systems. His publications reveal a strong trend toward multimodal approaches that combine text, vision, and audio for more comprehensive understanding and recommendation. He has received significant research funding from major technology companies including Google, Amazon, Facebook, Adobe, and Samsung, as well as government agencies like the National Science Foundation and Department of Defense. His work has practical applications across multiple industries, with a focus on improving user experience through better personalization. McAuley advises numerous PhD students who have gone on to successful careers at leading technology companies and academic institutions. His former students include Wang-Cheng Kang and Jianmo Ni at Google DeepMind, Chris Donahue and Zachary Lipton as assistant professors at CMU, and Ruining He at Google Deepmind.
Jessica Lin is an Associate Professor in the Department of Computer Science at George Mason University, with a focus on data mining and time series analysis. She has published extensively on topics including motif discovery, anomaly detection, clustering, and symbolic representation of time series data. Ph.D., M.S., and B.S. in Computer Science from UC Riverside (2005, 2002, 1999) Her research spans efficient algorithms for mining massive time series datasets, extending to multimedia data like images and texts. She has developed tools such as GrammarViz and SAX for pattern visualization and symbolic analysis. Recent publications highlight advancements in variable-length motif discovery, interpretable classification frameworks, and anomaly detection. Her work appears in top conferences like AAAI, ICDM, and SDM, as well as journals including Knowledge and Information Systems and Data Mining and Knowledge Discovery . Dr. Lin has advised numerous Ph.D. students, many of whom have taken academic or industry positions. She has served on editorial boards and program committees for conferences such as KDD, ICDM, and ECML-PKDD.
William Yang Wang serves as the Mellichamp Professor of Artificial Intelligence at the University of California, Santa Barbara (2019-present). He directs the UCSB Center for Responsible Machine Learning, the Mind and Machine Intelligence Initiative, and the UCSB NLP Group. His research focuses on theoretical foundations and practical algorithms for AI, particularly in NLP, LLMs, and neuro-symbolic reasoning. PhD in Computer Science from Carnegie Mellon University Active in AI theory and applications (2016-present) Research interests span multiple AI domains, with special emphasis on NLP and responsible machine learning. He has pioneered datasets like HybridQA, TabFact, and VaTeX, enabling advancements in multi-hop QA, fact verification, and video-language tasks. His work combines statistical relational learning with modern deep learning paradigms. Recent publications center around multimodal reasoning, knowledge graph integration, and responsible AI development. He has received numerous accolades including the IEEE SPS Pierre-Simon Laplace Award (2024) and NSF CAREER Award (2021). Karen Sparck Jones Award (2022) DARPA Young Faculty Award (2018) IBM Faculty Award Mentoring 15+ PhD and postdoc researchers who now hold positions at Microsoft Research, Amazon, Meta GenAI, and academic institutions like Arizona and Rutgers. His lab maintains active collaborations with industry partners through initiatives like ChipAgents.ai, which he founded as CEO.
Josef Urban is a leading researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) , Czech Technical University in Prague, heading the ERC Consolidator project AI4REASON . Previously, he held positions as a postdoc at Radboud University Nijmegen and assistant professor at Charles University in Prague, where he co-founded the Prague Automated Reasoning Group. Education Ph.D. in Computer Science (2004), Charles University, Prague M.S. in Mathematics (1998), Charles University, Prague B.S. in Economics (1995), Charles University, Prague Research Interests Urban specializes in automated reasoning over large formalized knowledge bases, combining deductive theorem proving and inductive machine learning . His work aims to realize "strong AI" through formalized mathematics, particularly using systems like Mizar and the AI/TP Challenges . He advocates for computer-verifiable mathematics as a foundation for AI progress. Article Trends Urban's publications focus on integrating machine learning with automated theorem proving in systems like ENIGMA and BliStr . Key trends include semantic guidance for ATPs, premise selection in formal libraries, and automated proof compression via concept invention. Scientific Contributions Head of ERC Consolidator project AI4REASON Marie-Curie Fellow at University of Miami Co-founder of Prague Automated Reasoning Group Editor for Formalized Mathematics Advising and Grants Urban has advised numerous PhD and MSc students including Daniel Kuehlwein, Krystof Hoder, and Yutaka Nagashima. He has secured grants like the ERC Consolidator Grant and Marie-Curie Fellowship . Labs and Collaborations Urban leads the AI4REASON team at CIIRC and collaborates with the Foundations Group at Radboud University. He contributes to projects like Mizar TWiki and XML-based API for Mizar , aiming to create a semantic AI ecosystem for formal knowledge.
Ardalan Amiri Sani is an Associate Professor in the Computer Science Department at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information & Computer Sciences. He leads the Trustworthy Systems Lab (TrussLab), focusing on secure and reliable mobile systems, operating systems, and virtualization. His research bridges mobile computing, security, and OS design, addressing challenges in I/O devices, kernel hardening, and verifiable provenance. Education: Ph.D. and M.Sc. from Rice University (ECE), B.Sc. from Sharif University of Technology. Awards include the NSF CAREER Award, Google ASPIRE Award, and UCI Dean's Mid-Career Research Award. He has advised numerous graduate and undergraduate students, many of whom now work in academia and industry. Research highlights include Tabellion (secure legal contracts on mobile devices), ProvCam (verifiable video provenance), and work on minimizing smartphone TCBs via hardware isolation. His grants include NSF funding for OS kernel security and NSA support for provenance systems. Education: Ph.D., Electrical and Computer Engineering, Rice University, 2014 B.Sc., Electrical Engineering, Sharif University of Technology Grants: $500K NSF Award (with UCR) for OS kernel security (2020) NSF SaTC Award for GPU security in browsers Google ASPIRE Award for Android system call filtering Labs/Teams: Trustworthy Systems Lab (TrussLab), collaborating with industry partners like Intel and Broadcom.
Stefan Helmreich is the Elting E. Morison Professor of Anthropology at MIT, where his research examines how scientists conceptualize fundamental phenomena—especially waves—across oceanography, biology, acoustics, and computing. His interdisciplinary work bridges anthropology, science studies, and media theory. Core research themes include: Cultural and scientific constructions of ocean waves Marine microbial ecologies and alien oceans Sound studies and transduction theories Multispecies ethnography Scientific visualization practices Helmreich's publications demonstrate consistent engagement with wave phenomena as both physical forces and cultural symbols, exploring how scientific representations of waves shape environmental understanding. His award-winning books trace connections between marine science, cosmology, and media technologies. He has received numerous prestigious awards including a Guggenheim Fellowship and multiple book prizes from anthropological associations. Helmreich maintains creative collaborations through projects like 'Wave Count'—a musical exploration of wave representations across genres.
Ian Horrocks is a Professor of Computer Science at the University of Oxford and a Fellow of Oriel College. His research focuses on knowledge representation, description logics, automated reasoning, and semantic web technologies. He has held academic positions at the University of Manchester (2003–2007) and served as Chief Scientist at Cerebra Inc. (2001–2006). Horrocks earned his BSc (1st class), MSc, and PhD in Computer Science from the University of Manchester (1981–1997). His work includes foundational contributions to ontology languages (e.g., OWL) and reasoning systems such as HermiT and ELK. He has supervised over twenty doctoral students and postdoctoral researchers. His honors include Fellowships from the Royal Society (2011), ECCAI (2009), and the British Computer Society (2005). He serves as Editor-in-Chief of the Transactions on Graph Data and Knowledge and leads initiatives in semantic web standards and knowledge graph applications. Key Roles: Editor-in-Chief (Journal of Web Semantics), Co-Chair (W3C OWL Working Group) Grants: EPSRC Senior Research Fellowship (2005), numerous international collaborations Labs: Oxford Semantic Technologies, involvement in projects like RDFox and PAGOdA
Jiajun Wu is an Assistant Professor of Computer Science and, by courtesy, of Psychology at Stanford University. He holds multiple affiliations including membership in Bio-X, Faculty Affiliate status at the Institute for Human-Centered Artificial Intelligence (HAI), and membership in both the Wu Tsai Human Performance Alliance and Wu Tsai Neurosciences Institute. Dr. Wu earned his Ph.D. and S.M. in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology before joining Stanford. Dr. Wu's research program focuses on creating AI systems that understand and interact with the physical world through the integration of computer vision, machine learning, robotics, and cognitive science. His work emphasizes physics-based modeling combined with deep learning to develop systems capable of perceiving, reasoning about, and predicting physical interactions. Key research areas include 3D scene understanding, neurosymbolic AI approaches, multimodal perception (combining vision, sound, and language), and embodied intelligence for robotics applications. His lab develops novel frameworks that bridge the gap between neural networks and symbolic reasoning to create more interpretable and robust AI systems. Analysis of Dr. Wu's recent publications reveals a strong trajectory toward integrated multimodal understanding for embodied AI. His work increasingly combines vision, sound, and language processing with physical reasoning to create systems that can interact meaningfully with the physical world. There's a clear progression from foundational computer vision research toward practical robotics applications, with significant emphasis on foundation models for robotics, sim2real transfer techniques, and creating comprehensive datasets for embodied AI research. Dr. Wu's exceptional contributions have been recognized with numerous prestigious awards including the NSF CAREER award (2024), Young Investigator Programs from ONR (2024) and AFOSR (2023), the Okawa research grant (2024), and being named to IEEE Intelligent Systems' 'AI's 10 to Watch' (2024). He has received multiple best paper awards at leading conferences including ICRA (2024), SIGGRAPH Asia (2023), and CoRL (2023). Dr. Wu actively mentors a large cohort of students across multiple levels, serving as primary advisor for doctoral candidates, master's students, and numerous independent researchers. His research is supported by substantial funding from major technology companies including Google, Meta, Amazon, Samsung, and J.P. Morgan, as well as government agencies like NSF, ONR, and AFOSR, reflecting the significance and impact of his work in physical AI and multimodal perception systems. Dr. Wu leads a dynamic research group at Stanford that collaborates extensively with the Wu Tsai Neurosciences Institute and Institute for Human-Centered AI. Current projects include developing neurosymbolic models for computer graphics, creating multisensory datasets like OBJECTFOLDER 2.0 for sim2real transfer in robotics, and building foundation models for embodied intelligence that can understand and manipulate objects with human-like physical intuition.
Jose Israel Rodriguez is an Associate Professor in the Department of Mathematics at the University of Wisconsin-Madison. His research bridges applied algebraic geometry and algebraic statistics, focusing on nonlinear algebra, maximum likelihood estimation, monodromy, and polynomial systems in engineering and science applications. Primary Affiliation: Department of Mathematics , UW-Madison Additional Affiliations: Department of Electrical & Computer Engineering , Institute for Foundations of Data Science Research Interests : Applied algebraic geometry for nonlinear eigenvalue problems and kinematics Algebraic statistics in nearest point problems and likelihood geometry Numerical methods for monodromy, Galois groups, and polynomial optimization Teaching and Mentorship : Co-organized the Collaborative Undergraduate Research Laboratory (CURL) for Spring 2020 Advises PhD students Julia Lindberg and Zinan Wang , with Bernd Sturmfels as his own PhD advisor Developed software tools like Multiregeneration and Decomposable Sparse Polynomial Systems Academic Contributions : Authored over 20 peer-reviewed publications in journals like SIAM Journal on Applied Algebra and Geometry, Foundations of Computational Mathematics, and Journal of Symbolic Computation Organized international conferences including Monodromy and Galois Groups in Enumerative Geometry and SIAM AG19 Active member of the SIAM community and developer of the Matroids Day seminar
Yangruibo Ding is an incoming Assistant Professor in the Department of Computer Science at the University of California, Los Angeles (UCLA), and currently serves as a Postdoctoral Scientist at AWS Agentic AI. He has held significant research positions at Google DeepMind, Amazon AWS AI Labs, and IBM Research, establishing himself as a leading researcher in software engineering with a focus on large language models for code. His research focuses on developing large language models (LLMs) and agentic systems for software engineering. He specializes in training LLMs with advanced symbolic reasoning capabilities for debugging, testing, program analysis, and verification. His work aims to build efficient, collaborative agentic systems for complex software development and maintenance tasks, with particular emphasis on code generation, vulnerability detection, and execution-aware pre-training techniques. Dr. Ding's publication record reveals a strong trajectory toward enhancing code intelligence through comprehensive semantics reasoning and self-refinement approaches. His research spans multiple dimensions of software engineering including code completion, vulnerability detection, model evaluation, and cross-file context understanding, with applications across various programming languages and development environments. Dr. Ding has received numerous prestigious awards recognizing his contributions to the field: IBM Ph.D. Fellowship Award (2022-2024) ACM SIGSOFT Distinguished Paper Award (2023) IEEE TSE Best Paper Award Runner-up (2022) Ph.D. Service Award, Columbia CS (2025) NSF Student Travel Award for ESEC/FSE'23 (2023) ACM SIGSOFT CAPS Travel Grant (2023) NSF Travel Award for ICSE'22 (2022) As he establishes his research group at UCLA, Dr. Ding is actively seeking students with strong coding skills and experience in large language models, program analysis, verification, or security. He serves on program committees for major conferences including ICSE (2026), ASE (2024, 2025), and ESEC/FSE Artifacts Track (2023), and regularly reviews for top-tier conferences and journals in AI and software engineering. His research is conducted through collaborations with leading industry teams including AWS Agentic AI, Google DeepMind's Learning4Code team, and IBM Research's AI for Code team, creating a robust network of industry-academia partnerships that drive innovation in software engineering research.
