Dr. Damien Charrieras is an Associate Professor at the School of Creative Media , City University of Hong Kong, where he serves as Program Leader for the Master of Art in Creative Media and deputy program leader for the PhD in Creative Media. His work bridges cultural studies, new media theory, and the intersection of financial technologies with artistic practices through the ACIM Laboratory for Interventions in Speculative Finance . Doctoral research on digital artists' trajectories in Montreal FRQSC Postdoctoral Fellowship at McGill University Research spans game engine design , datafication of creativity , blockchain in art , and post-anthropocentric creative processes . With over HK$3.14M in grants as Principal Investigator, he explores situated digital creativity in urban contexts, critical worldbuilding pedagogy , and the mediation of technical systems in cultural production. His publications in Cities , Organized Sound , and Human Relations analyze the reconfiguration of artistic practices through software infrastructures and automation paradigms. Scientific awards include: FRQSC Postdoctoral Fellowship
Sainyam Galhotra is an Assistant Professor in the Department of Computer Science at Cornell University. His research focuses on developing data science tools for trustworthy analytics, integrating causal inference, data management, and machine learning to enhance robustness, explainability, and fairness in algorithmic systems. PhD: University of Massachusetts Amherst (2020), advised by Barna Saha B.Tech: Indian Institute of Technology Delhi (2014), advised by Amitabha Bagchi Postdoctoral Research: University of Chicago (Computing Innovation Fellow) His work spans artificial intelligence, causal inference, and responsible data science, emphasizing ethical algorithm design and reliable data integration. Recent publications highlight advancements in fair clustering, causal feature selection, and entity resolution frameworks. His research trends from 2023–2024 include contributions to spatio-temporal data correlation, community detection in geometric graphs, and distribution-aware dataset search. Key themes are fairness in machine learning, causal modeling, and scalable data management solutions. Computing Innovation Fellowship (2021) DAAD AInet Fellow (2021) ACM SIGMOD Entity Resolution Programming Contest Finalist (2021) Krithi Ramamritham Computer Science Scholarship (2019) BEST Paper Award in SIGSOFT FSE 2017 He actively seeks PhD or Master’s students interested in data science and trustworthy AI. Contact via email: sg@cs.cornell.edu .
Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.
Prof. Dr. Pinar Yolum Birbil is a leading researcher in Responsible AI at the Faculty of Science , Utrecht University . Her work bridges Artificial Intelligence , Privacy and Data Protection , and Software Agents , focusing on Human-Centered AI and Trustworthy Systems . She is part of the AI & Data Science and Responsible AI research groups. PhD in Computer Science, North Carolina State University (2003) MS in Computer Science, North Carolina State University (2000) BSc in Computer Engineering, Marmara University (1998) Her research explores Privacy Preservation in collaborative systems, Computational Theory of Mind for human-agent coordination, and Norm-Based AI Systems . Recent projects include the Hybrid Intelligence Center and tools like PANOLA for privacy support. She investigates how AI can balance user autonomy , ethical norms , and societal values in applications ranging from urban planning to healthcare. Her scientific publications (2023-2025) span topics like Explainable Privacy , Trust in Hybrid Teams , and AI for Diabetes Management , appearing in venues such as JAIR , AAMAS , and ACM TOIT . She emphasizes collaborative AI , with contributions to multiagent simulations and privacy-preserving mechanisms . Scientific Awards : NC State University Alumni Hall of Fame (2017) Woman Entrepreneur of the Year (Microsoft Turkey & KAGIDER, 2017) Bogazici University Academic Encouragement Award (multiple years) Best Paper Award at ESAW 2009 She supervises a dynamic research group with PhD students working on Hybrid Intelligence , Computational Ethics , and Privacy Modeling . Her projects often involve interdisciplinary collaboration with institutions like TNO and the Transforming Cities Hub .
Xing Gao is an Assistant Professor at the University of Delaware, affiliated with the Department of Computer and Information Sciences and jointly with the Department of Electrical and Computer Engineering. His office is located at 316B FinTech Innovation Hub on the STAR Campus. He holds a PhD from the College of William and Mary (2018) and a BS from Beijing Institute of Technology (2011). Research Interests: Cybersecurity in Software Supply Chain, Web 3, High-Performance Computing, Large Language Models, with a focus on Security, Cloud Computing, and Mobile Computing. Education: PhD | 2018 | College of William and Mary BS | 2011 | Beijing Institute of Technology His recent work explores cybersecurity vulnerabilities in cloud gaming services (CCS'22), container registries (USENIX-SEC'22), and software supply chains, with specialized attention to GPU cache attacks (USENIX-SEC'24) and Ethereum smart contracts (WWW'24). His research spans theoretical and applied aspects of system security, including CI/CD pipelines (CCS'24), SDN backdoors (INFOCOM'23), and hardware-level threats (ACSAC'21). Scientific Awards NSF CAREER Award (2024) NSF CRII Award (2020) NDSS Distinguished Poster Award (2016) He serves as Registration Chair for ACM/IEEE Symposium on Edge Computing (2023) and Publicity Co-Chair for IEEE Conference on Communications and Network Security (2022). He is actively involved as TPC Member in multiple top-tier conferences including USENIX Security (2026,2025), CCS (2026,2025,2024), and IEEE DSN (2024). He has also reviewed for journals like IEEE Transactions on Dependable and Secure Computing. Labs & Teams X-Lab at the University of Delaware, a research group focused on cybersecurity in emerging technologies.
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.
Máté Szabó is an Assistant Professor at the University of Debrecen , affiliated with the Faculty of Informatics and the Department of Information Technology . His email contact is szabo.mate@inf.unideb.hu . He works in areas such as Machine Learning , Smart Cities , and Mobile Computing . His research spans topics like microservice architecture for ensemble models, Markov modeling of traffic flows, and distributed machine learning on mobile platforms. He has explored neural models for conversational AI and gamification in programming education through Minecraft-based challenges. His work also addresses edge computing and data parallelism in mobile environments. His publications (2016–2024) reflect trends in machine learning deployment on Android platforms smart city traffic analytics gamified educational tools cognitive modeling of numerical understanding microservice-based model integration .
Andrew Miller is an Associate Professor in the Electrical and Computer Engineering department at the University of Illinois, specializing in Programming Languages, Formal Methods, Software Engineering, Security and Privacy, and Systems and Networking. His research focuses on blockchain technologies, cryptography, and secure systems. Professor Miller's research spans multiple critical areas in modern computer security. His work primarily focuses on blockchain technologies , where he has made significant contributions to understanding and improving the security, privacy, and performance of systems like Bitcoin and Ethereum. He has conducted empirical analyses of privacy in the Lightning Network and developed protocols for confidential smart contracts. His work in cryptography includes research on multiparty computation, zero-knowledge proofs, and formal methods for cryptographic protocol design. Miller also investigates security vulnerabilities in proof-of-stake systems and resource exhaustion attacks, contributing to the robustness of decentralized systems. His applied security research extends to privacy-preserving health applications, as evidenced by his work on the Safer Illinois platform for COVID-19 contact tracing. Miller's publication record demonstrates consistent contributions to top security and systems venues including IEEE Security & Privacy, ACM CCS, Financial Cryptography, and USENIX Security. His research shows a clear trajectory from foundational work in blockchain security to more applied systems addressing real-world privacy and security challenges. Recent work focuses on making multiparty computation services publicly auditable and developing decentralized identity solutions that maintain compatibility with existing systems. Distinguished Reviewer Award, IEEE Security & Privacy 2018 Professor Miller has advised students including Vivek Nair, who joined the prestigious Hertz Fellows program in 2022. He has taught various courses including Introduction to Algorithms & Models of Computation, Advanced Computer Security, Cryptography, Applied Cryptography, and Ideal Functionality in Cryptography. His research has received support through grants including the SaTC: CORE: Medium project on "Automated Support for Writing High-Assurance Smart Contracts" in 2018. Miller is actively involved in research groups focusing on blockchain security, cryptographic protocols, and privacy-preserving systems. His lab appears to collaborate extensively with researchers across multiple institutions, as evidenced by the diverse author lists on his publications. Current work seems to be focused on making decentralized systems more secure, privacy-preserving, and accessible for real-world applications.
Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
Chita R. Das is a Professor at Pennsylvania State University, known for extensive contributions in computer architecture, machine learning, and high-performance computing. Their research focuses on optimizing hardware-software co-design for edge computing, cloud infrastructure, and energy-efficient systems. Key areas include FPGA acceleration, GPU optimization, and serverless computing frameworks. Das collaborates frequently with institutions like AMD and Intel, addressing challenges in parallel computing and distributed systems. Their work bridges theoretical advancements with practical applications in recommendation systems, bioinformatics, and real-time video processing. Research interests span across hardware acceleration techniques, cloud resource management, and sustainable computing. Notable projects include adaptive training frameworks for intermittent power environments and neural-augmented game streaming for mobile platforms. Das's publications often address performance bottlenecks in modern architectures and propose novel solutions for latency and energy efficiency. Recent articles highlight innovations in serverless computing cost optimization, low-bandwidth VR streaming, and FPGA-based bioinformatics tools. Their contributions are characterized by interdisciplinary approaches combining computer architecture with machine learning and embedded systems.
Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.
Prof. Dr. Nicole Ondrusch is a Professor at Heilbronn University (HHN) within the Faculty of Computer Science. She specializes in teaching methodological fundamentals of software engineering, including ERP systems, Design Thinking, Change Management, and digital transformation. Her research focuses on educational concepts for computer science technologies and future-relevant skills. Key Roles and Projects: Member of BW-CAR doctoral center Organizer of Barcamp Heilbronn, an unconference teaching project fostering student teamwork Principal investigator in funded projects like DigiTrans (digital transformation education) and DEV:GAMES (educational game development) SAP Academic Board DACH spokesperson since 2021 Research Interests: Her work emphasizes innovative teaching methods such as Design Thinking, agile project implementation, and digital experimentation. She explores ethical AI education, interdisciplinary collaboration, and the societal impact of digital transformation. Nicole also develops practical teaching tools like virtual escape rooms and game-based learning frameworks. Grants & Partnerships: Funded by DAAD (DigiTrans), Stiftung Innovation, and others Collaborates with industry partners like SAP and local IT organizations (ConnectIT) Labs & Teams: She leads the Lab:D initiative, developing digital teaching platforms, and co-organizes the Barcamp, a student-led event integrating real-world project management and community building.
Emilio Frazzoli is a Full Professor at ETH Zurich’s Department of Mechanical and Process Engineering. He leads the Institute for Dynamic Systems and Control and the Center for Sustainable Future Mobility, focusing on autonomous systems, robotics, and socio-technical control frameworks. Current affiliations: ETH Zurich (Dynamic Systems and Control, Sustainable Future Mobility) Research: Autonomous mobility-on-demand, game theory for resource allocation, and safety verification in multi-agent systems His work bridges robotics, control theory, and economics, with projects like the open-source AMoDeus simulation framework for autonomous taxis and karma-based resource allocation systems. Recent publications emphasize trustworthy AI, reproducibility in autonomous vehicle control, and human-robot interaction challenges. Notable projects include nuReality (VR-based pedestrian interaction studies) and CARSI II (context-driven vehicle interfaces).
Conor Ryan is a Professor in the Department of Computer Science & Information Systems at the University of Limerick. He is a Science Foundation Ireland-funded Investigator since 2002 and a member of multiple research centres including Lero – the Irish Software Research Centre and the Limerick Digital Cancer Research Centre. His research focuses on Genetic Programming, Grammatical Evolution, and their applications in domains like healthcare analytics, digital circuit design, and financial modeling. He has authored over 250 publications, with recent work emphasizing automated feature selection in medical diagnostics, neural architecture search, and blockchain ecosystems. Teaching includes courses on Foundations of Computer Science and Computer Games Programming. Research interests span evolutionary computation, machine learning, and interdisciplinary applications. Collaborations involve global institutions, reflecting his work's impact across computer science, engineering, and healthcare. His research has addressed challenges in breast cancer diagnosis via genetic algorithms, cryptocurrency volatility prediction using random forests, and automated generation of digital circuits. Ongoing projects explore interpretability in AI, energy-efficient computing, and sustainable transport systems through predictive analytics. Professional memberships include roles in the Centre for Research Training in Foundations of Data Science and the Data-Driven Computer Engineering Research Centre, underscoring his commitment to interdisciplinary innovation.
Dr. Rasmus Ibsen-Jensen is a Lecturer in Computer Science at the University of Liverpool. Previously, he held a Postdoctoral position at IST Austria under Krishnendu Chatterjee and completed his PhD under Peter Bro Miltersen. Research Focus: Algorithmic game theory, strategy complexity in two-player zero-sum games, control flow graph algorithms, edit distance for automata, and theoretical biology applications. Teaching: Module Coordinator for second-year courses in database development (COMP207), C++ programming (COMP282), and industrial placement (COMP299). His work bridges computational game theory and formal verification, with recent publications exploring memory constraints in partial-information games, algebraic path properties in concurrent systems, and evolutionary spatial dynamics. While no scientific awards are explicitly mentioned in the provided text, his contributions to algorithmic complexity and interdisciplinary research (e.g., theoretical biology) highlight his academic impact.
