Jan Dreier is a Research Fellow at the Institute of Logic and Computation at Vienna University of Technology. His research centers on structural graph theory and algorithmic meta-theorems, particularly exploring the boundaries of tractability for model checking problems. Dreier's work bridges theoretical computer science and discrete mathematics, focusing on graph decompositions, parameterized complexity, and logical expressiveness. Key research themes include monadic stability in graph classes, applications of model theory to computer science, and efficient algorithms for logical queries on structured graphs. His publication record shows consistent focus on graph sparsity concepts and algorithmic applications of logic, with recent work expanding into approximation methods for counting queries. Research demonstrates sophisticated applications of combinatorial methods to fundamental problems in computational complexity.
Fabian Suchanek is a full professor at Institut Polytechnique de Paris, specifically affiliated with Télécom Paris. He leads research in the Data, Intelligence, and Graphs (DIG) team within the Computer Science department. His academic career focuses on bridging artificial intelligence with structured knowledge representations. Suchanek's research interests span artificial intelligence, knowledge bases, and natural language processing, with particular emphasis on knowledge graph construction , rule mining , knowledge-based language models , and explainable AI . His work demonstrates how structured knowledge can enhance machine learning systems, particularly large language models, by providing factual grounding and interpretability. The research group he leads develops practical systems that address real-world knowledge management challenges. His recent publications showcase a strong trajectory in knowledge-intensive AI, with notable contributions to knowledge graph completion, rule mining techniques, and neural approaches to knowledge base validation. The research demonstrates increasing integration between symbolic and neural approaches to AI. Best Student Paper Award at KR 2024 for work on contextual reasoning Best Demo Award of IJCAI 2024 for rule mining in knowledge graphs French Open Research Award for the YAGO project Best Paper Award of ESWC 2021 for Neural Knowledge Base Repairs Suchanek has secured significant research funding, evidenced by his active recruitment of PhD students for knowledge-based language model research. He has held visiting positions, including at Nanyang Technological University (June-September 2023), and is recognized internationally through keynote invitations such as the Singapore ACM SIGKDD Symposium 2023. He has deliberately stepped back from administrative duties at Institut Polytechnique de Paris to focus on research. His laboratory maintains strong industry connections through open-source software projects including the YAGO knowledge base, AMIE for rule mining, STACI for explainable AI, and several other tools that have become standard in knowledge representation research.
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.
Enamul Hoque Prince is an Associate Professor and Director of the School of Information Technology at York University. He leads the Intelligent Visualization Lab, funded by the Canada Foundation for Innovation (CFI) and Ontario Research Funds (ORF). He holds a PhD in Computer Science from the University of British Columbia and completed postdoctoral work at Stanford University. His research integrates information visualization, human-computer interaction (HCI), and natural language processing (NLP) to address information overload challenges. Dr. Prince's educational background includes a PhD from UBC, an MSc from Memorial University of Newfoundland, and a BSc from Chittagong University of Engineering & Technology. He has conducted research at institutions like Tableau Software and the Qatar Computing Research Institute and serves on committees for top conferences like ACL and IEEE Vis. His work is supported by grants from NSERC, CFI, and others. Research interests focus on NLP-driven visual analytics, user-adaptive visualization, and accessible interfaces. Notable projects include Evizeon (natural language interfaces for visual analytics), ConVisIT (topic modeling for online conversations), and CIDER (concept-based image search). Publications highlight trends in multimodal systems, chart comprehension, and accessibility. Key awards include the NSERC Discovery Grant (2019) and a Best Paper Honorable Mention at DIS 2021. He supervises graduate and undergraduate students in areas like visualization, NLP, and HCI. Labs and collaborations emphasize interdisciplinary approaches, with the Intelligent Visualization Lab advancing tools for data exploration and user-centered design. Teaching includes courses on design principles and information visualization.
Eric V. Mazumdar is an Assistant Professor at the California Institute of Technology (Caltech), jointly appointed in the departments of Computing and Mathematical Sciences and Economics. He holds a B.S. from MIT (2015) and a Ph.D. from UC Berkeley (2021), co-advised by Michael Jordan and Shankar Sastry. His research bridges machine learning and economics, focusing on deploying algorithms into societal systems through theoretical and practical lenses. Key areas include strategic classification, multi-agent reinforcement learning, and distributionally robust optimization, with applications in healthcare, online markets, and intelligent infrastructure. Education: B.S., Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 2015 Ph.D., Electrical Engineering and Computer Science, University of California, Berkeley, 2021 Research Interests: Mazumdar’s work emphasizes understanding learning algorithms in strategic environments, including min-max optimization, game theory, and multi-agent systems. He explores how algorithms interact with human and algorithmic agents in dynamic systems, with practical applications in healthcare delivery, e-commerce, and autonomous systems testing. Awards: NSF CAREER Award (2023) Simons Institute Research Fellowship in Learning in Games Grants & Funding: Supported by NSF, DARPA, Amazon, and other organizations. His NSF CAREER grant focuses on strategic interactions in societal-scale systems. Teaching: Courses include Networks: Structure & Economics (CMS/CS/EE/IDS 144) and Topics in Learning and Games (CMS/Ec 248). At UC Berkeley, he contributed to courses like Data, Inference, and Decisions (DS 102). Students & Postdocs: Current students: Lauren Conger, Tinashe Handina, Yizhou Zhang Postdocs: Zaiwei Chen, Laixi Shi, Kishan Panaganti (co-advised with Adam Wierman)
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.
John MacFarlane is a Professor of Philosophy at the University of California, Berkeley , with affiliations to the Group in Logic and the Methodology of Science and co-organizer roles in the Meaning Sciences Club and Townsend Center Working Group . His research spans philosophy of language, philosophical logic, metaphysics, epistemology, philosophy of mathematics, history of logic , and ancient philosophy , particularly Aristotle . He has held visiting positions at institutions like École des Hautes Études en Sciences Sociales (EHESS), Paris . Education : Ph.D. in Philosophy (2000, University of Pittsburgh), M.A. in Classics (1997) and Philosophy (1994), A.B. summa cum laude in Philosophy (1991, Harvard). Research Interests focus on semantic relativism , particularly assessment sensitivity as explored in his book Assessment Sensitivity: Relative Truth and Its Applications (Oxford, 2014). He investigates how epistemic modals and vagueness interact with truth evaluation. His work in philosophical logic includes a textbook Philosophical Logic: A Contemporary Introduction (Routledge, 2021). Secondary interests include ancient philosophy (Aristotle, Plato), formal logic , and fiddlosophy . Article Trends reveal contributions to relativism , epistemic modals , vagueness , and logicism . His recent work (2025) examines Plato’s Protagoras and belief utility , while 2022–2020 articles address semantic indecision and probabilistic knowledge . Earlier works (2008–2000) include foundational studies on Frege, Kant, and Aristotle . Scientific Awards include a 2023 Residential Fellowship at Wissenschaftskolleg, Berlin (declined), 2016–17 Fellow at IEA Paris , and 2015 American Academy of Arts and Sciences membership . He has received multiple Humanities Research Fellowships at Berkeley (2016, 2008, 2003) and Research Enabling Grants (2000–2009). Advising includes supervising 15+ PhD students in areas like logic, epistemology, and philosophy of language . Notable advisees include Richard Lawrence (2017) and Sophie Dandelet (2021). He also guided honors theses at Berkeley, such as Benjamin Logan’s work on epistemic modals (2018). Labs and Teams involve co-organizing the Townsend Center Working Group in History and Philosophy of Logic, Mathematics, and Science and contributing to the Group in Logic and Methodology of Science . His interdisciplinary approach integrates philosophy, logic, and computational tools , including creating Pandoc for document conversion.
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.
Peter Selinger is a Professor in the Department of Mathematics and Statistics at Dalhousie University , with a cross-appointment in Computer Science. He specializes in mathematical methods in computer science, particularly quantum computing and combinatorial game theory . His work on quantum programming languages like Quipper and foundational research in category theory has garnered international recognition. Education : Ph.D. in Mathematics (University of Pennsylvania, 1997), undergraduate studies in Mathematics (Technische Universität Darmstadt). Research Interests span quantum computing, category theory, and combinatorial game theory. He has pioneered formalisms for quantum programming languages, developed categorical models for quantum mechanics, and analyzed game-theoretic structures in games like Hex. His recent work includes linear dependent type theory , quantum circuit synthesis , and combinatorial game classification . Publications demonstrate expertise in quantum programming languages, categorical semantics, and game theory. Key trends include Hamiltonian simulation , Clifford+T circuits , and monotone game realization . Scientific Honors include the Killam Professorship (2017–2022), Faculty of Science Award for Excellence in Teaching (2023), and fellowships from the Alfred P. Sloan Foundation and German National Scholarship Foundation . Students he has supervised include PhD graduates Xiaoning Bian , Francisco Rios , and Neil J. Ross , along with MSc students like Fahimeh Bayeh and Seth Greylyn . He has advised 16 postdoctoral researchers.
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.
Dmitri Strukov is a Professor at the University of California, Santa Barbara in the Department of Electrical and Computer Engineering. His work spans material science, electrical engineering, and computer science, focusing on novel computing paradigms using emerging memory devices. Education: PhD in Electrical and Computer Engineering from SUNY Stony Brook, MS in Applied Physics and Mathematics from Moscow Institute of Physics and Technology. Research Interests include neuromorphic computing , non-volatile memory applications , and mixed-signal circuits for machine learning and hardware security. His group develops memristive crossbar arrays and 3D NAND flash for energy-efficient systems. Scientific Leadership features Fellow of IEEE and Distinguished Lecturer roles. His work has been recognized with best paper awards at ASPLOS’19 and Computing Frontiers’13. Students: Mentored PhD graduates in neurocomputing, security, and memristor design including Z. Fahimi, S. Larimian, M.R. Mahmoodi, and X. Guo. Grants: Funded by AFOSR, ARO, DARPA, NSF, and industry leaders like Google and Samsung. Labs: Utilizes UCSB’s nanofabrication center and advanced tools for memristor characterization.
Taina Bucher is a Professor at the Department of Media and Communication, University of Oslo, specializing in algorithmic studies, digital infrastructure, and human-machine communication. She leads the Screen Cultures research group and serves as Principal Investigator for HumAIn , a five-year humanities hub reimagining AI (2024-2029). Research Focus: Her work examines Algorithmic power and politics Cultural imaginaries of digital technology Temporalities of algorithmic media Feminist epistemologies in digital contexts Monitorial citizenship in platform societies Publications: Bucher has authored two monographs: Facebook (Polity Press, 2021) and IF…THEN: Algorithmic Power and Politics (Oxford University Press, 2018). Her recent articles explore facial recognition systems, algorithmic temporality, and digital divides. Academic Background: PhD in Media Studies (University of Oslo, 2012), MSc in Culture & Society (London School of Economics, 2007), with visiting scholar appointments at The New School, Ryerson University, and New York University. Teaching: She supervises and teaches topics including Digital infrastructure Algorithm studies Screen cultures Media theory Critical data studies Digitalization of public sectors Editorial Roles: Active on editorial boards for Journal of Communication , New Media & Society , and Information, Communication & Society .
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.
Brendan O'Connor is an Associate Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. His research focuses on computational social science and natural language processing (NLP), particularly exploring how social factors influence language technologies and using text analysis to understand societal trends. His work includes studies on racial bias in NLP, political event analysis, and social media linguistics. He holds a PhD in Machine Learning from Carnegie Mellon University (2014) and dual MS/BS in Symbolic Systems from Stanford University (2006). Education: PhD in Machine Learning, Carnegie Mellon University (2014) MS in Symbolic Systems, Stanford University (2006) BS in Symbolic Systems, Stanford University (2006) Research interests span AI ethics, social media analysis, and computational methods for studying language and society. Notably, he investigates racial disparities in NLP systems, linguistic variation in African American English, and event detection in news and social media. His work has been recognized with NSF CAREER and Google Faculty awards, and his research has been cited thousands of times. His lab, the Statistical Social Language Analysis Lab, develops tools for analyzing large-scale text data. He is affiliated with the Center for Data Science, Center for Intelligent Information Retrieval, and Computational Social Science Institute. Recent projects include analyzing global news coverage of critical events and developing frameworks for zero-shot argument explication. Awards and Honors: NSF CAREER Award Google Faculty Research Award Best Paper Award Advising and Grants: O'Connor has advised projects on social media polling representativeness and demographic analysis. His grants include collaborative research on sociopolitical event extraction and bias mitigation in AI systems. He has also contributed to platforms like Rookie for news archive exploration and ezCoref for coreference resolution. Labs/Teams: Leads the Statistical Social Language Analysis Lab and collaborates with the UMass NLP Group and Harvard Institute for Quantitative Social Science. His work bridges NLP with social science methodologies, emphasizing transparency in algorithms and causal inference using text data.
