Sanghamitra Dutta is an Assistant Professor at the University of Maryland, College Park researching trustworthy machine learning systems for social good, focusing on explainability, efficiency, robustness, and ethics in AI through mathematical frameworks. Education: Ph.D. from Carnegie Mellon University Research Interests: Dr. Dutta's work centers on Trustworthy Machine Learning with core emphases on Explainable AI , Fairness in AI , Robust Machine Learning , and Privacy-Preserving Machine Learning . She develops solutions using Information Theory , Probability Theory , Causal Inference , and Optimization to address reliability challenges, extending to Efficient Machine Learning (model compression) and Distributed Machine Learning (coded computing). Scientific Awards and Honors: NSF Career Award JPMorgan Faculty Award Northrop Grumman Seed Grant Simons Institute Fellowship (Causality Program, 2022) K&L Gates Presidential Fellowship in Ethics and Computational Technologies A G Milnes Outstanding Thesis Award Grants and Research Support: Her group receives funding from an NSF Career Award, JPMorgan Faculty Award, and Northrop Grumman Seed Grant. Research has been adopted by JPMorgan for fair lending model review and featured in New Scientist. Advising and Team: Actively recruiting graduate students through the UMD Graduate Program; prospective students must mention her name in applications while current students should contact directly with transcripts.
Agustinus Kristiadi is an Assistant Professor in the Department of Computer Science at Western University, London, Ontario, Canada. He is also a Faculty Affiliate at the Vector Institute. His research focuses on probabilistic machine learning, uncertainty quantification, and decision-making under uncertainty in foundational models like deep neural networks and large language models, with applications in scientific domains such as chemistry and biology. His recent work on efficient reward-guided text generation in large language models has been accepted to ICML 2025 and COLM 2025. His research has been recognized through a Best PhD Thesis Award and multiple spotlight papers at leading machine learning conferences. He actively contributes to the scientific community through mentoring underrepresented students and open-source development. Agustinus is currently hiring funded PhD and MSc students to work on large-scale probabilistic models, decision-making under uncertainty, and AI for Science applications. Prospective students must demonstrate mathematical maturity, programming proficiency, and reliability.
Jason Eisner is a Professor in the Department of Computer Science at Johns Hopkins University's Whiting School of Engineering, with a secondary joint appointment in Cognitive Science. He is affiliated with the Center for Language and Speech Processing (CLSP), the Human Language Technology Center of Excellence, and leads JHU's cross-departmental machine learning group. His research focuses on developing probabilistic modeling, inference, and learning techniques for linguistic structure. Eisner has authored over 100 papers in computational linguistics, particularly in parsing, grammar induction, machine translation, computational phonology, computational morphology, and weighted finite-state methods. He is the lead designer of Dyna, a declarative programming language for AI research that allows concise programs backed by efficiency tricks. Eisner's work centers on novel methods in NLP and machine learning, with emphasis on probabilistic modeling and inference in complex, structured settings. His research program combines computer science with statistics and linguistics to create statistical models that capture linguistic structure and develop efficient algorithms for applying these models to data with minimal supervision or through large pre-trained models. As an ACL Fellow, Eisner has made significant contributions to the field. His recent work (2023-2025) shows a strong focus on large language models, semantic parsing, controlled text generation, model interpretability, and privacy-preserving techniques, continuing his long-standing interest in the intersection of probabilistic modeling and linguistic structure. ACL Fellow He teaches courses including Natural Language Processing (601.465/665), Machine Learning: Linguistic and Sequence Modeling (601.765), Declarative Methods (601.325/425/625), and Selected Topics in Natural Language Processing (601.865). His advising focuses on research students through the Argo research group, with emphasis on fundamental research questions in NLP rather than immediate applied engineering.
Sean Welleck is an Assistant Professor at Carnegie Mellon University's School of Computer Science, Language Technologies Institute, leading the L3 Lab. His research focuses on bridging informal and formal reasoning with AI, spanning machine learning for mathematics and code, inference algorithms, and AI agents. PhD in Computer Science from New York University (advised by Kyunghyun Cho) Postdoctoral work at University of Washington (advised by Yejin Choi) His work explores AI-driven formal methods for mathematics and code generation, test-time compute scaling, and algorithms enabling AI improvement over time. Recent publications analyze reasoning evaluation, premise selection, and automated proof optimization in systems like Lean. Key article trends include neural theorem proving, code generation, and inference-time compute optimization. Awards: NVIDIA AI Labs Pioneering Research Awards (2017, 2018), NAACL 2025 Best Paper. Current advisees include PhD students Pranjal Aggarwal, Weihua Du (co-advised with Yiming Yang), Andre He (co-advised with Daniel Fried), and Seungone Kim (co-advised with Graham Neubig). He co-organizes workshops like Autoformalization for the Working Mathematician (ICERM 2025) and VerifAI: AI Verification in the Wild (ICLR 2025), and teaches Advanced NLP at CMU.
Dr. Bin Tang is a Professor in the Department of Computer Science at California State University, Dominguez Hills. He holds a Ph.D. in Computer Science from Stony Brook University (2007) and dual M.S. degrees in Computer Science and Materials Science from the same institution. His research focuses on algorithmic solutions for data placement in networks, with applications in robotic sensor systems and cloud data centers. He has led multiple NSF-funded projects including 'Edge-Based Approach to Robust Multi-Robot Systems' and 'Optimal Resource Allocation in Policy-Driven Data Centers'. Dr. Tang mentors students in research competitions and has supervised numerous graduate theses. He teaches courses in operating systems, algorithms, computer networks, and cloud computing.
Xianguo Li is a Professor in the Department of Mechanical and Mechatronics Engineering at the University of Waterloo, Canada. He holds prestigious fellowships including Fellow of the Canadian Academy of Engineering (FCAE), Fellow of the Engineering Institute of Canada (FEIC), and Fellow of the Canadian Society for Mechanical Engineering (CSME). His primary research focuses on thermal fluid science, energy systems, and fuel cell technology, with a strong emphasis on green energy solutions. **Education**: 1989: Doctorate in Mechanical Engineering, Northwestern University, USA 1986: Master's in Mechanical Engineering, Northwestern University, USA 1982: Bachelor's in Thermal Energy Engineering, Tianjin University, China **Research Interests**: His work spans fuel cells, spray dynamics, fluid dynamics, heat and mass transfer, power generation, and renewable energy systems. He leads the Fuel Cell and Green Energy Lab, advancing innovations in energy storage, propulsion systems, and sustainable technologies. **Awards**: Outstanding Performance Award (University of Waterloo, 2007) Frank Walk Service Award (2001) Best Paper Award (2003) Recipient of the Simpson Fellowship (1988) **Advising & Grants**: He supervises graduate students and research associates in projects funded by NSERC, Auto 21, CFI, and industry partners. His lab collaborates on fuel cell durability, thermal management, and green energy policy initiatives. **Editorial Roles**: Founding Editor-in-Chief of the International Journal of Green Energy , Field Chief Editor of Frontiers in Thermal Engineering , and serves on dozens of editorial boards. He chairs major conferences like the International Green Energy Conference and the World Fuel Cell Conference series.
Justin Sheffield is a Professor of hydrology and remote sensing and Head of the School of Geography and Environmental Science at the University of Southampton, UK. He holds a BSc in Mathematics with Oceanography (1989), MSc in Engineering Mathematics (1992), and PhD in Hydroclimatology (2008). His research focuses on large-scale hydrology, climate variability, hydrological extremes, and applications to natural hazards mitigation, with emphasis on water and food security in developing regions. Key research interests include drought monitoring/prediction, climate change impacts, and remote sensing integration. He leads projects like APP3793 (heat-related health risks) and EO-Africa (agricultural water management). Awards include the Prince Sultan Prize (2014), Plinius Medal (2013), and Robert E. Horton Lecturer (2019). His work spans global collaborations, including projects with the FAO and ESA, and he advises on PhD students. Notable publications address drought indices, crop yield modeling, and climate adaptation strategies.
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.
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.
Levent Burak Kara is a Professor in the Department of Mechanical Engineering at Carnegie Mellon University (CMU), with a courtesy appointment in the Robotics Institute. He is a leading researcher in AI-driven computational design, additive manufacturing, and intelligent engineering systems, leading the Visual Design and Engineering Lab (VDEL) at CMU. Education: B.S., Mechanical Engineering, Middle East Technical University (1998) M.S., Mechanical Engineering, Carnegie Mellon University (2000) Ph.D., Mechanical Engineering, Carnegie Mellon University (2005) His research focuses on integrating machine learning, optimization, and geometric modeling to revolutionize engineering design and manufacturing. Key areas include topology optimization, CAD intelligence, digital twins, generative design, bioengineering, and electronic design automation. His work enables automation of traditionally labor-intensive design processes using deep learning and reinforcement learning. His recent publications reveal a strong trend toward physics-informed surrogate modeling, real-time simulation, manufacturability prediction, and AI-driven automation in mechanical, biomedical, and electronic systems. These works frequently appear in top journals such as Journal of Mechanical Design and Journal of Applied Mechanics , and at premier conferences like NeurIPS and DAC. Scientific Awards: National Science Foundation CAREER Award ASME Design Automation Society Young Investigator Award Google AI for Social Good Impact Scholar Kara advises several Ph.D. students and has secured significant funding from federal agencies such as the NSF and the U.S. Army Research Laboratory, as well as collaborations with industrial leaders including Cadence Design Systems and NVIDIA. His research is also supported by CMU’s NextManufacturing Center and the Critical Technology Initiative. He is actively involved in developing intelligent design systems that leverage AI to automate product design, optimize manufacturing processes, and improve medical diagnostics, particularly in oral cancer screening and organ preservation. His lab, VDEL, is a hub for innovation in AI-enabled engineering.
Dr Bahareh Zaghari (MSc, PhD, CEng, FHEA) is a Lecturer in the Electrical Power Engineering group at the University of Southampton's School of Electronics and Computer Science. Her research focuses on electrified aircraft systems, sensors with machine learning applications, electrical power systems, and nonlinear dynamics modeling. Current projects include acoustic sensing for temperature/flow measurement Co-design of electrical machines for aircraft electrification Research activities span hybrid-electric aircraft design (FutPrint50 Horizon project), fully electric aircraft development (EnabEl Innovate UK), and smart sensing systems for aerospace components. Industrial collaborations include KISTLER, iNetic, PALL Aerospace, Safran, ARUP, Embraer, and BAE Systems. Conference coordinator for IEEE Transportation Electrification Council's Electrified Aircraft committee Chair of IEEE/AIAA Electrified Aircraft Technology Symposium (2023) Panel moderator at AIAA Propulsion and Energy (2021) Her work demonstrates innovative applications of acoustic transducers in harsh environments, with contributions to temperature mapping, fault analysis, and energy harvesting systems. She currently supervises PhD student Shikhar Singh.
Dr. Gavin Mount is a researcher at UNSW Canberra , specializing in non-traditional security studies , ethnic conflict , and the sociopolitical implications of emerging technologies . His work bridges theoretical analysis with practical applications in conflict transformation and defense studies. Research Focus: Global politics of ethnic conflict, hybrid peace/war frameworks, and socio-political impacts of drone technology. Teaching: Courses like Ethnic Conflict in World Politics and Law, Force and Legitimacy , with a focus on military education and strategic studies. Publications: Recent work includes contributions to Thinking Swarms (2025) and Hybridity on the Ground in Peacebuilding and Development (2018). Grants: Leads the Curricula Integration of Student Wellbeing Resources project under HERDSA. Key Themes across his research include the intersection of technology and conflict, evolving defense paradigms, and pedagogical innovations in security studies.
Jan Oliver Borchers is a full professor of computer science and head of the Media Computing Group at RWTH Aachen University, where he holds the endowed Chair in Media Informatics and Human-Computer Interaction (Computer Science 10). He established his research group in 2003 and pioneered modern HCI academic research and teaching in Germany, becoming a leading lab in terms of archival publications at CHI, the top international conference in HCI. Before joining RWTH, he held faculty positions at Stanford University and ETH Zurich. His research focuses on Human-Computer Interaction with particular interest in new user interfaces for soft robotics, textile user interfaces, 3D printing and personal fabrication, augmented reality, wearable and tangible computing, interfaces for software development, deceptive patterns, and interactive guides and exhibits. He opened Germany's first Fab Lab in 2009 and has been instrumental in advancing digital fabrication and maker culture in academia. His work bridges theoretical HCI research with practical applications, as evidenced by his consulting for major companies including AirBus, Apple, ARD, Bayer, Children's Museum Boston, Daimler, Handelsblatt, OTIS, Scout24, TEDx, and Deutsche Telekom. His recent publications show a strong focus on deceptive patterns in UI design, textile interfaces, and the intersection of AI with human interaction. The research demonstrates consistent innovation in tactile interaction techniques, with numerous honorable mentions at top conferences like CHI. His lab has produced significant contributions to eyes-free interaction, textile computing, and the ethical implications of dark patterns, particularly regarding children's experiences with deceptive designs. IDC 2025 Best Work in Progress for research on children's assessment of deceptive designs CHI'25 Student Games Competition Winner for The Deceptive Dungeon RWTH-Wissenschaftsnacht 2024 Best Science Slam for Usability: 4 Prinzipien guter User Interfaces Multiple CHI Honorable Mentions spanning from 2008-2021 Best Note and Best Demo awards at ITS and UIST conferences Borchers has served in numerous leadership roles including heading the Computer Science Department's Examination Board (2015-2025), coordinating the department's public relations since 2010, and organizing the weekly Faculty Lunch since 2003. He is an active member of the ACM, SIGCHI, SIGCHI Germany, and GI, and introduced the Interactivity format to the CHI conference in 2005. His PhD thesis, A Pattern Approach to Interaction Design, became the first book to bring design patterns to HCI. The Media Computing Group under his leadership has developed significant expertise in physical computing, textile interfaces, and fabrication technologies, with a strong emphasis on both theoretical contributions and practical applications. His lab continues to push boundaries in interactive technologies while maintaining a strong ethical stance on user experience, particularly regarding deceptive design patterns.
Margaret P. Chapman is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Toronto's Faculty of Applied Science and Engineering. She leads the DATA Lab (Decision Analysis for Trustworthy Autonomy), focusing on risk-averse and stochastic control theory with applications to environmental and human health. Education: B.S. and M.S. in Mechanical Engineering from Stanford University (2012, 2014), Ph.D. in Electrical Engineering and Computer Sciences from UC Berkeley (2020, advised by Claire Tomlin) Her research bridges robust and stochastic optimal control via risk measure theory, emphasizing safety-critical applications in healthcare and sustainable cities. Key challenges include scalable risk-sensitive control methods, integrating physics-based and data-driven models for safety analysis, and promoting technologies that enhance planetary and human well-being. Recent publications focus on risk-averse autonomous systems, CVaR-based safety analysis, and multi-time-scale modeling for cancer treatment. She has advised students in both graduate and undergraduate research roles, including NSERC awardees and thesis participants. Awards: US National Science Foundation Graduate Research Fellowship, Berkeley Fellowship, Terman Engineering Scholastic Award, Leon O. Chua Award She teaches courses like ECE 557 (Linear Control Theory) and ECE 1643 (Risk-Averse Control with Learning). Her invited talks span institutions such as MIT, Princeton, and Georgia Tech, highlighting risk-sensitive analysis and control for trustworthy autonomy.
Leslie Ann Goldberg is a Senior Research Fellow at St Edmund Hall and Professor of Computer Science at the University of Oxford. She currently serves as Head of the Department of Computer Science (on sabbatical 2025-26) and focuses on foundational problems in Algorithms and Complexity Theory , particularly randomised algorithms for network communication, machine learning, and statistical physics models. Her research includes solving Aldous' 1987 conjecture on backoff protocol instability (with John Lapinskas), developing rigorous mathematical analysis frameworks for algorithmic efficiency, and advancing approximate counting techniques via Markov Chain Monte Carlo methods (with Andreas Galanis and collaborators). Key projects involve graph homomorphisms , Moran process dynamics , and #BIS complexity class analysis. Recent publications (2023-2024) span topics like Sybil defense mechanisms, low-temperature sampling on random graphs, and parameterised subgraph counting modulo 2. Her work demonstrates cross-disciplinary impact in computational biology, statistical physics, and database theory. Scientific Awards include Best Paper Prizes at ICALP 2016, ICALP 2010, and IPEC 2017. She supervises PhD student Paulina Smolarova and collaborates extensively with researchers in Oxford and beyond.
