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.
Rebecca Schulman is an Associate Professor in the Department of Chemical and Biomolecular Engineering at the Whiting School of Engineering, Johns Hopkins University. She holds secondary appointments in Chemistry and Computer Science and is affiliated with multiple interdisciplinary institutes, including the Institute for NanoBioTechnology, the Hopkins Extreme Materials Institute, the Chemistry-Biology Interface Program, the Center for Cell Dynamics, and the Laboratory for Computational Sensing and Robotics. She currently co-directs the Passport to Future Technology Leadership program for PhD students. Research Interests: Schulman's research lies at the intersection of DNA nanotechnology, synthetic biology, and smart materials. Her group develops intelligent, adaptive biomolecular materials and nanostructures by integrating concepts from materials science, biochemistry, circuit design, and soft matter physics. The team focuses on engineering dynamic self-assembly processes using DNA to create reconfigurable materials, molecular circuits, and autonomous soft micro-robots. Key themes include self-healing nanostructures, feedback-regulated crystallization, programmable hydrogels, and synthetic genetic networks for materials control. Publication Trends: Her recent publications demonstrate a consistent focus on using DNA-based chemical reaction networks to program spatial and temporal behavior in materials. The work spans from fundamental mechanisms like catalytic polymerization and crystal growth regulation to applications in soft robotics, self-wiring circuits, and synthetic pattern formation. The research is highly interdisciplinary, combining synthetic biology with materials engineering to achieve life-like functionalities in non-living systems. Scientific Awards: AIMBE Fellowship Award Vannevar Bush Faculty Fellowship Award Hartwell Individual Biomolecular Research Award President’s Early Career Award in Science and Engineering (PECASE) DARPA Young Faculty Award DARPA Directors Fellowship NSF CAREER Award Turing Scholar Award DOE Early Career Award Advising and Grants: Schulman mentors graduate students and leads a vibrant research group focused on next-generation biomolecular engineering. Her work is supported by major federal grants, including the NSF CAREER, DOE Early Career, DARPA, and the Vannevar Bush Fellowship—a prestigious Department of Defense award for basic research. She is actively involved in training future leaders through programs like the Passport to Future Technology Leadership. Labs and Teams: The Schulman Lab at Johns Hopkins is a multidisciplinary team working on DNA-powered materials and molecular programming. The lab is embedded within several collaborative centers, enabling strong cross-departmental and cross-institutional research. Their work combines experimental biochemistry with theoretical modeling to design and implement complex molecular systems.
Prof. Hayden Kwok Hay SO is an Associate Professor at the University of Hong Kong (HKU), affiliated with the Department of Electrical and Electronic Engineering. He currently serves as Acting Director of the School of Innovation and previously co-directed the Computer Engineering Program. His research focuses on reconfigurable computing systems, FPGA-based architectures, and their applications in AIoT, medical imaging, and high-performance computing. He holds a B.S., M.S., and Ph.D. in Electrical Engineering and Computer Sciences from UC Berkeley (1998–2007). Prof. So has been recognized with awards such as the IEEE-HKN Teaching Award (2021), Croucher Innovation Award (2013), and multiple teaching excellence awards. He leads the Computer Architecture & System Research Lab (CASR) and co-founded the Joint Lab on Future Cities (JLFC). His work spans FPGA overlay architectures, graph processing systems, and hardware-software co-design for efficient computing. Key research contributions include advancements in FPGA-based reconfigurable systems, sparse dataflow architectures, and medical imaging accelerators. He has secured grants for projects like 'Advanced machine vision guided aquatic surface vehicles' and 'Efficient and Productive Parallel Data Processing in Hybrid FPGA-CPU Clusters.' Prof. So has advised numerous students and researchers, contributing to over 150 peer-reviewed publications. His current projects explore AI hardware acceleration, neuromorphic computing, and FPGA-driven solutions for big data challenges.
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.
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.
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.
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.
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).
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.
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.
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.
David Allcock is an Assistant Professor in the Department of Physics at the University of Oregon, part of the College of Arts and Sciences. His research focuses on ion trapping, quantum computing, and hybrid quantum systems, with an emphasis on manipulating atomic and molecular systems using electric and magnetic fields for quantum information applications. He leads the Ion Trapping Lab at UO, where he develops scalable quantum technologies and open-source control systems like ARTIQ and Sinara. His work bridges experimental physics with engineering, addressing challenges in qubit control, error mitigation, and large-scale quantum computer design. Education: MPhys from the University of Oxford (2007), D.Phil. in Physics from Oxford (2012). Prior to UO, he was a Lindemann Fellow at the National Institute of Standards and Technology (NIST) in Boulder, CO. His research includes innovations in trapped-ion qubit control, including laser-free entangling gates, scalable architectures, and applications in quantum sensing and dark matter detection. Key research themes include metastable qubit systems, photon scattering error mitigation, and the integration of superconducting detectors for state readout. He collaborates on open-source hardware-software stacks for quantum experiments and mentors students in quantum engineering through programs like the Quantum Technology Master’s Internship. Current projects explore hybrid quantum-classical interfaces and ultra-stable ion trap fabrication. His lab’s contributions span theoretical and experimental domains, with recent advances in geometric phase gates, microwave-driven control, and error-resilient qubit operations. The group also engages in interdisciplinary work linking quantum computing with precision measurement, such as SPUD (SPectroscopy for Ultralight Dark matter) and bosonic sensing tools.
