Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor at the School of Computer Science, Georgia Institute of Technology, and an Associate Professor at the University of Toronto (on leave). He previously held a NUS Presidential Young Professorship at the National University of Singapore. His research focuses on automated reasoning, aiming to enable computing systems to handle uncertain real-world environments through scalable techniques integrating randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering. Core research areas: Automated Reasoning, Formal Methods, Approximate Model Counting, Probabilistic Inference, Constraint Solving His research group has achieved significant recognition in both individual awards and publications. Key trends in his recent work include advancing model counting algorithms, developing frameworks for probabilistic explanations, and improving scalability in formal verification and constraint satisfaction. His tools have consistently ranked top in international competitions, demonstrating practical impact in automated reasoning. 2019 NRF Fellowship for AI 2022 ACP Early Career Researcher Award 2020 IEEE Intelligent Systems AI's 10 to Watch Top placements in Model Counting, SAT, and CAV competitions He mentors a diverse group of PhD and Master's students and collaborates with institutions worldwide. His group's publications span premier conferences in AI, formal methods, and design automation, reflecting interdisciplinary contributions to theoretical and applied computer science.
Yin Tat Lee is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington, and a Senior Principal Researcher in Microsoft AI. His research spans convex optimization , convex geometry , graph algorithms , online algorithms , and differential privacy , with applications in machine learning and theoretical computer science.
Professor Ernest Foo is a distinguished academic at Griffith University's School of Information and Communication Technology, specializing in cybersecurity with a focus on industrial control systems and cryptographic protocols. With over 15 years of experience in computer networking, he has established himself as a leading expert in SCADA security and smart grid cybersecurity. His research has significant practical applications in critical infrastructure protection, and he has developed hands-on security training programs that have trained professionals from major Australian utilities and government agencies. Professor Foo's educational background includes: Bachelor of Engineering with Honours in Electronic and Computer Engineering from University of Queensland Doctor of Philosophy from Queensland University of Technology Professor Foo's research interests center around secure cryptographic protocols with specific applications in industrial control system security and cyber physical systems. His work spans SCADA security, smart grid protection, wireless sensor network security, and post-quantum cryptography. He has made significant contributions to understanding vulnerabilities in industrial protocols like Modbus and DNP3, and has pioneered the application of process mining and data mining techniques for attack detection in critical infrastructure systems. His research bridges theoretical security concepts with practical implementations in real-world industrial environments. Professor Foo's recent publications demonstrate a clear trajectory toward increasingly sophisticated security frameworks for critical infrastructure. His work shows a progression from foundational SCADA security research to advanced applications of artificial intelligence, machine learning, and formal methods in cybersecurity. A notable trend is the integration of zero trust principles with industrial control systems, alongside growing emphasis on post-quantum cryptographic solutions. His publications span high-impact journals and conferences in cybersecurity, with increasing focus on anomaly detection in cyber-physical systems and the application of graph-based machine learning techniques to network security challenges. Professor Foo's notable scientific achievements include: Best paper award at the 2nd International Cyber Resilience Conference for "Gap analysis of Intrusion Detection in Smart Grids" Professor Foo has secured significant research funding including an ARC Linkage grant with Powerlink Queensland focused on cyber security for electricity sub-stations. He currently leads multiple research projects including Westpac Micro-Credentials in Financial Crime Investigation, Digital Banking Micro-credentials with ANZ, and research on quantum-safe cryptography. As a dedicated educator, he serves as Program Director for multiple cybersecurity programs including the Master of Cyber Security, and has supervised numerous doctoral and masters students. His Cyber Security: Industrial Control System course, conducted annually from 2013-2018, featured innovative hands-on training with real-world participants from major Australian utilities. Professor Foo has been instrumental in establishing the SCADA security research laboratory with multiple vendor system miniatures running industrial PLCs. His work bridges theoretical security concepts with practical implementations, making significant contributions to the security of industrial control systems and critical infrastructure worldwide.
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.
Dr. Angela Siegel is an Assistant Professor and Assistant Dean, Academic Outreach in the Faculty of Computer Science at Dalhousie University, Halifax, Canada. She is actively involved in both academic leadership and research. Education: Ph.D. in Mathematics (Combinatorial Game Theory), Dalhousie University, 2011 M.Sc. in Mathematics, Dalhousie University, 2005 B.Sc. in Mathematics & Marine Geophysics, 1997 Her research focuses on combinatorial game theory, graph theory, discrete mathematics, and number theory, with a strong emphasis on computer science education and inclusive teaching . She investigates the challenges students face when transitioning into computer science programs, aiming to improve pedagogical approaches and support systems. Her work bridges theoretical mathematics and practical educational innovation. The recent publications highlight a dual focus: theoretical contributions to combinatorial games (e.g., partizan games, placement games, geography variants) and applied research in computing education, particularly student transition and inclusive practices. Her interdisciplinary work spans mathematics, computer science, and educational theory. Scientific Awards: Dr. Siegel has supervised and collaborated with students and researchers on topics including student transition into higher education computing, LEGO-based pedagogy, and workplace readiness. While no specific grants are listed, her repeated presentations and publications suggest active research funding and scholarly engagement. She has contributed to major conference proceedings and book volumes such as Games of No Chance . She is associated with research teams focused on combinatorial games and computer science education innovation, often collaborating with scholars like Richard Nowakowski, Neil McKay, and Mark Zarb. Her work in inclusive teaching and student support reflects a commitment to building accessible and equitable learning environments in computing.
Christoph H. Lampert is a Professor at the Institute of Science and Technology Austria (ISTA), leading the Machine Learning and Computer Vision (MLCV) Group. His research spans machine learning, computer vision, and trustworthy AI with emphasis on robustness and fairness. He serves as ELLIS Fellow and Unit Director for ISTA's ELLIS unit. His research program focuses on foundational challenges in machine learning including robustness against distribution shifts, fairness in algorithmic decision-making, and verification of neural networks. Key contributions include work on 1-Lipschitz networks for robust classification, multi-source learning frameworks, and federated learning architectures. The group maintains strong output in top-tier venues through theoretical and empirical approaches. Recent publications (2023-2025) demonstrate consistent focus on verification, robustness, and multi-source learning, with notable recognition including the DARPA Disruptive Ideas award for logic gate neural network verification. Work frequently bridges computer vision and machine learning theory, with applications in safety-critical systems. Scientific Awards: ELLIS Fellow DARPA Disruptive Ideas award at NeuS (2025) for "Logic Gate Neural Networks are Good for Verification" Professor Lampert has supervised 12+ PhD students including recent graduates Alex Peste (2023), Nikola Konstantinov (2022), and Mary Phuong (2021), with current advisees including Max Cairney-Leeming and Egor Zverev. His group secures consistent publication placements at NeurIPS, ICML, and ICLR while editing major volumes like "Advanced Structured Prediction" (MIT Press 2015). The MLCV group comprises 10+ members including postdocs and PhD students, operating within ISTA's ELLIS unit (approved 2019). The team maintains active collaborations across Europe through the ELLIS network and regularly hosts visiting researchers.
Marc V Fuccillo is an Associate Professor of Neuroscience at the Perelman School of Medicine, University of Pennsylvania, where he leads a research laboratory focused on understanding the neural circuit mechanisms underlying behavioral control. His work bridges molecular, synaptic, and behavioral approaches to investigate how striatal circuits regulate mouse behavior from simple motor patterns to complex goal-directed actions. Fuccillo holds dual appointments in the Neuroscience and Cell and Molecular Biology Graduate Groups at Penn and maintains an active laboratory investigating the synaptic and circuit basis of neuropsychiatric disorders. Education: B.A. in Molecular and Cellular Biology and Music Performance (Violin) from Brown University (1998) Ph.D. in Developmental Genetics from New York University School of Medicine (2007) M.D. from New York University School of Medicine (2008) Fuccillo's research centers on the synaptic and circuit mechanisms of behavioral control, with particular emphasis on striatal circuits. His laboratory employs a range of technologies including mouse genetics, in vitro electrophysiology, in vivo imaging, and quantitative behavioral analysis to explore how neural circuits of the striatum regulate behavior and how disruptions in these circuits contribute to neuropsychiatric disorders. His work has particularly focused on autism-associated abnormalities in behavioral control, examining how synaptic adhesion molecules like neuroligins and neurexins shape circuit function and behavior, with significant findings regarding D1 dopamine receptor positive medium spiny neurons in the nucleus accumbens. Analysis of Fuccillo's recent publications reveals a strong focus on striatal circuit function across multiple dimensions. His work spans molecular neuroscience (examining synaptic adhesion molecules), cellular physiology (studying specific neuron types in striatal circuits), systems neuroscience (mapping circuit connectivity), and behavioral neuroscience (quantifying motor learning and decision-making). A unifying theme is how disruptions in specific molecular pathways lead to circuit-level abnormalities that manifest as behavioral phenotypes relevant to neuropsychiatric disorders, with particular attention to autism, OCD, and schizophrenia models. Scientific Recognition: Publications in high-impact journals including Nature Neuroscience, Current Biology, Cell Reports, and Neuron Research supported by multiple NIH grants including NIMH F32, NIMH K01, and HHMI Gilliam Fellowship awards for lab members Fuccillo actively mentors a diverse group of trainees including postdoctoral fellows, graduate students, and undergraduates. His laboratory has produced numerous successful alumni who have gone on to faculty positions, medical residencies, and graduate programs at prestigious institutions. His mentoring approach emphasizes technical skill development across multiple neuroscience disciplines while fostering independent scientific thinking. Current research in his lab is supported by NIH funding focused on understanding the molecular architecture of striatal circuits and their role in behavioral control, with three major research directions exploring molecular logic of striatal circuits, circuit mechanisms of behavioral control, and striatal dysfunction in neuropsychiatric disease models. The Fuccillo Laboratory operates within the Department of Neuroscience at the University of Pennsylvania, with access to state-of-the-art facilities for molecular, electrophysiological, imaging, and behavioral neuroscience research. The lab maintains active collaborations with other neuroscience research groups at Penn and beyond, creating a rich intellectual environment for studying the neural basis of behavior. Current research directions include investigating whether there is a molecular logic to striatal circuit composition, how striatal circuits shape behavioral control, and what mouse models of autism, schizophrenia, and OCD can reveal about striatal circuit dysfunction in disease pathophysiology.
Marya Besharov is a Professor of Organisations and Impact at Saïd Business School, University of Oxford, and Academic Director of the Skoll Centre for Social Entrepreneurship. She holds a BA, MA, and PhD from Harvard University, alongside an MBA from Stanford University. Her work focuses on leadership, social impact, and hybrid organizations, advising global entities on balancing social and financial priorities. Education: PhD in Organizational Behavior, Harvard University MA in Sociology, Harvard University BA in Social Studies, Harvard University MBA, Stanford University Research Interests: Dr. Besharov’s research explores how organizations navigate competing goals, particularly in hybrid models like social enterprises. She investigates organizational identity, institutional logics, and leadership frameworks for systemic change. Her findings appear in Administrative Science Quarterly , Harvard Business Review , and Stanford Social Innovation Review . Engagement & Teaching: She leads executive education programs and workshops on leadership and systems change through the Skoll Centre. Her teaching emphasizes contingency-based frameworks for managing organizational complexity. Labs & Initiatives: Academic Director of the Skoll Centre for Social Entrepreneurship, a global hub for social impact education and research.
Ignacio Ojea Quintana serves as Assistant Professor at Ludwig Maximilian University of Munich's Faculty of Philosophy, Philosophy of Science and Religious Studies within the Chair of Philosophy of Science. He joined LMU in 2022 after a three-year research fellowship at the Australian National University's School of Philosophy. His academic foundation includes a PhD in Philosophy from Columbia University (2019), supervised by Philip Kitcher with focus on formal social epistemology, and prior Masters/BA degrees in Philosophical Logic from the University of Buenos Aires where he collaborated with the Buenos Aires Logic Group. Ojea Quintana's research employs formal methodologies to examine digital technologies' impact on knowledge organization across scientific and public spheres. His work intersects Social Epistemology , Philosophy of Data Science , and Autonomous Systems Ethics , with significant contributions to social media network analysis of controversial movements. Current projects analyze Twitter dynamics in racial justice movements, ethical constraints in AI decision systems, and consensus formation in scientific modeling. His 2021-2022 publications reveal an interdisciplinary trajectory bridging philosophy, computer science, and social sciences. Key trends include computational analysis of online discourse, formal modeling of group rationality under uncertainty, and ethical frameworks for AI systems. Works appear in high-impact venues including Nature Humanities and Social Sciences Communications and the AAAI/ACM Conference on AI, Ethics, and Society. Ojea Quintana maintains active collaborations with the "Humanising Machine Intelligence" initiative (formerly at ANU) and the Buenos Aires Logic Group. His research program demonstrates sustained engagement with technology's societal implications through formal modeling approaches and empirical digital trace analysis.
Dr. George Stamou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), serving as Director of the Artificial Intelligence and Learning Systems Laboratory (AILS). His expertise spans knowledge representation, machine learning, neural networks, and semantic technologies. He leads interdisciplinary initiatives such as the postgraduate program 'Data Science and Machine Learning' (2018–2022). Research Interests: Focuses on knowledge graphs, interpretable AI, semantic web applications, and multimodal learning. His work integrates formal logic systems (e.g., description logics) with modern deep learning techniques, addressing challenges in explainability, bias detection, and ethical AI applications. Publications: Over 150 articles in AI journals/conferences with an h-index of 34 (Google Scholar). Notable contributions include datasets like CHORDONOMICON (music analysis), GOSt-MT (gender bias in MT), and methodologies for counterfactual explanations in machine learning. Awards & Committees: Active in W3C and RuleML standardization bodies. Co-organized major AI conferences. Recognized for contributions to semantic interoperability and knowledge-based systems. Labs & Teams: Directs AILS-NTUA lab and collaborates with CISRI (Computer & Information Systems Research Institute). Engages in EU projects like CultureLabs (cultural heritage digitalization) andsmarty4covid (health data analysis).
Lorraine (Xiang) Li is an Assistant Professor in the Department of Computer Science at the University of Pittsburgh’s School of Computing and Information (SCI). Her research focuses on the intersection of natural language processing, commonsense reasoning, knowledge representation, and machine learning, particularly in designing probabilistic models and evaluation methods for implicit commonsense knowledge in language. Li holds a PhD from the University of Massachusetts, Amherst, and previously worked as a young investigator with the Mosaic team at AI2. She has an M.S. in Computer Science from the University of Chicago, where she conducted research at TTIC. Her work emphasizes advancing AI’s ability to reason contextually and generate robust, human-like understanding through probabilistic frameworks. Key research themes include bias detection in reasoning models, iterative model editing, domain adaptation with LLMs, and evaluating commonsense through probabilistic measures. Her recent publications explore challenges like confirmation bias in chain-of-thought reasoning and geographical robustness in object recognition. Li actively contributes to the NLP community, serving on program committees for ACL, EMNLP, NAACL, and ARR. Though no formal awards are listed, her prolific publication record reflects her impact in AI research. She currently leads research in procedural knowledge models (e.g., Plasma) and long-tail knowledge generation, advancing foundational AI methodologies.
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.
Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.
Marco Platzner is a Professor for Computer Engineering at Paderborn University , Germany. He serves as the Dean of Research for the Faculty of Computer Science, Electrical Engineering and Mathematics and heads the Department of Computer Science. Previously, he held research positions at ETH Zurich, Stanford University, GMD (now Fraunhofer IAIS), and Graz University of Technology. Education: Diploma and PhD in Telematics (Graz University of Technology, 1991 and 1996), Habilitation in Hardware-Software Co-Design (ETH Zurich, 2002) Research Interests focus on reconfigurable computing, approximate computing, self-* computing, and embedded systems. His work addresses hardware security, FPGA design, and sustainable AI in data centers. Current projects include energy-efficient AI through deep neural network approximation for FPGAs (EKI-App) and lifecycle sustainability of socio-technical systems (SAIL). Publication Trends show expertise in FPGA security, approximate circuit synthesis, robotics, and hardware acceleration. Collaborations span robotics (ROS 2 integration), AI (transformer optimization), and cybersecurity (Trojan detection). Scientific Awards: ACM SIGDA Hall of Fame (2020) Significant Paper Award (FPL 2015) Best Paper Awards at IEEE ISVLSI (2024), ARC (2018), IEEE ReConFig (2015), and others Weierstraß Prize for Teaching (2008) Leadership Roles include membership in the board of Paderborn Center for Parallel Computing (PC2) and the Jenny Aloni Centre for Early Career Researchers. He has contributed to EU FP7 FET project EPiCS and German priority programs on embedded systems and organic computing.
Dr. Daniel J. Preston is an Assistant Professor of Mechanical Engineering at Rice University, leading the Preston Innovation Laboratory (PI Lab). He holds a B.S. from the University of Alabama (2012), M.S. and Ph.D. from MIT (2014, 2017), and postdoctoral training at Harvard University (2017-2019). His research focuses on energy efficiency, soft materials, fluid mechanics, and robotics, with applications in wearable technologies and sustainable systems. Key achievements include the NSF CAREER Award (2022) and pioneering work on necrobotics using biotic materials. The PI Lab collaborates widely, with projects involving biomimetic surfaces, smart textiles, and fluidic control systems. Education: B.S. Mechanical Engineering, University of Alabama (2012) M.S./Ph.D. Mechanical Engineering, MIT (2014/2017) Research Interests: Energy : Thermal management, heat transfer optimization, and waste heat recovery. Materials : Soft actuators, surface coatings, and functional biomaterials. Fluids : Interfacial phenomena, droplet dynamics, and fluid-structure interactions. Notable Publications: Recent work includes advancements in wearable haptic devices ( Science Advances ), necrobotics ( Advanced Science ), and fluidic logic textiles ( PNAS ). Over 50 peer-reviewed articles span multidisciplinary topics from magnetic levitation to virus decontamination. Honors: In addition to the CAREER Award, Dr. Preston has received the NSF Graduate Research Fellowship, Tau Beta Pi Fellowship, and Wunsch Foundation Award. His lab fosters innovation through grants and industry partnerships. Advising & Grants: Supervises ~15 graduate and undergraduate students, including NSF GRFP recipients. Active in mentoring initiatives like the Randall Research Scholars Program and AATCC grants. Labs & Teams: The PI Lab collaborates with MIT’s DRL, Harvard’s Whitesides Group, and institutions globally. Core projects include smart wearables, energy harvesting fabrics, and autonomous soft robots.
