Patricio Vela is a Professor at the School of Electrical and Computer Engineering , Georgia Institute of Technology , specializing in geometric perspectives for control theory and computer vision. His research focuses on computer vision integration for semi-autonomous systems, nonlinear control of robotic systems, and biologically inspired mechanics. Education: B.S. (1998) and Ph.D. (2003) from Caltech Research Areas: Autonomy, Robotics, Computer Vision, Control Theory Key Contributions: Geometry-based control systems, visual navigation frameworks, SLAM benchmarking Recent publications highlight advances in vision-based motion planning , 6D pose tracking , and safe navigation policies for autonomous robots. His work bridges geometric mechanics with deep learning for robust perception and control in dynamic environments. Awards: HENAAC Most Promising Engineer (2005) Contact: pvela@gatech.edu | Office: TSRB 441 | Phone: 404.894.8749
Renée J. Miller is a Professor and Canada Excellence Research Chair in Data Intelligence at the Cheriton School of Computer Science, University of Waterloo. Her research focuses on data integration, data management, and open data systems. She holds a PhD in Computer Science from the University of Wisconsin-Madison and bachelor’s degrees in Mathematics and Cognitive Science from MIT. Her work addresses challenges in data preparation, integration, and curation, aiming to reduce the burden on data scientists. She co-authored foundational papers on data exchange and schema mapping, earning the ICDT Test-of-Time Award (2013) and the Alonzo Church Award (2020). Miller has led major initiatives like the NSERC Business Intelligence Network and the International Very Large Data Base Foundation. Her grants include NSERC Accelerator Awards and funding from IBM, SAP, and Microsoft. Notable students include Ariel Fuxman (SIGMOD Dissertation Award winner) and Oktie Hassanzadeh (IBM PhD Fellow). Her research group, the Miller Lab, develops tools like Clio for schema mapping and systems for data lake exploration (RONIN, JOSIE).
Dr. Feng Cheng is a Senior Researcher and head of the IT Security Engineering (Sec-Eng) Team at the Hasso Plattner Institute (HPI), Germany, and serves as the Representative of the Chair "Internet Technologies and Systems" at the Digital Engineering Faculty, University of Potsdam. He holds a PhD from the University of Potsdam, an MEng from Beijing University of Technology, and a BEng from Beijing University of Aeronautics and Astronautics. His research is centered on data-driven security engineering, security analytics, network security, cloud security, firewall, IDS/IPS, attack modeling, and penetration testing. Dr. Cheng's research interests span a broad range of cybersecurity domains, with a strong emphasis on security analytics , data-driven threat detection , cloud and network security , and authentication . His work integrates advanced data engineering and machine learning techniques to enhance security operations, including intrusion detection, threat intelligence, and security information and event management (SIEM). Key application areas include IoT security, mobile security, and web security. The recent publications of Dr. Cheng and his team reflect a significant trend towards leveraging big data analytics , machine learning , and graph-based methods for cybersecurity. Their work focuses on developing frameworks for blockchain-based public key infrastructures, advanced SIEM analytics, malware detection using NLP, and chaos engineering for cloud security. This demonstrates a strong commitment to creating practical, scalable, and intelligent solutions for modern security challenges in complex, distributed environments. Dr. Cheng is actively involved in the academic community as a member of ACM and IEEE, a program committee member for numerous international conferences, and an organizer of workshops on cloud computing and cybersecurity. He has also served on editorial boards for international journals. He supervises a large group of PhD, master's, and bachelor's students, guiding research on topics such as security analytics, cyber threat intelligence, digital credentials, and behavioral authentication. He leads the Sec-Eng team, which conducts research on a diverse portfolio including the Security Analytics Lab, HPI-VDB (vulnerability database), Lock-Keeper (physical separation technology), and the Security Lab Generator for scenario-driven security training.
Sebastian U. Stich is a tenured faculty member at the CISPA Helmholtz Center for Information Security , where he has been since December 2021. He is also a member of the European Lab for Learning and Intelligent Systems (ELLIS) since June 2020. His research focuses on optimization methods for machine learning, collaborative learning algorithms, privacy and security in distributed systems, and theoretical foundations of deep learning. Stich received his PhD in Theoretical Computer Science from ETH Zurich (2014), following a Master's in Mathematics at the same institution (2010-2014). Prior to CISPA, he worked as a research scientist at EPFL (2016-2021) and held positions at ETH Zurich and ICTEAM/CORE. He has been awarded the ERC Consolidator Grant 2024 , Google Research Scholar Award (2023), and Meta Privacy-Enhancing Technologies Research Award (2022). His team includes Dr. Anton Rodomanov (since 2023), Dr. Rotem Mulayoff (since 2024), Xiaowen Jiang (2023), Yuan Gao (2023), and notable alumni like Anastasia Koloskova (defended 2023). Stich actively organizes workshops (e.g., NeurIPS OPT 2024) and serves on editorial boards ( Journal of Optimization Theory and Applications , Transactions on Machine Learning Research ). He teaches advanced courses in optimization at Saarland University and has held visiting positions at MIT. Key scientific contributions include: Developing ProgFed for progressive federated learning (2021) Creating ProxSkip to accelerate communication in federated settings (2022) Formalizing SCAFFOLD with control variates for FL (2020) Introducing RelaySum mechanism for decentralized learning (2021) Proposing Lookahead-Minmax for GAN training (2021) His work addresses fundamental challenges in: Decentralized optimization theory Communication-efficient algorithms Privacy-preserving model training Handling heterogeneous data distributions Stochastic gradient dynamics Second-order optimization methods
Gustavo Valverde Mora is a Lecturer at ETH Zurich's Power Systems Laboratory in the Department of Information Technology and Electrical Engineering. His research focuses on distributed energy resources, smart grid technologies, and power system control, with expertise in behind-the-meter DER integration and hosting capacity analysis. His recent work addresses key challenges in renewable energy integration, including voltage control coordination between transmission and distribution networks, data-driven local control schemes for active distribution grids, and unsupervised load disaggregation techniques using smart meter data. He has developed novel methods for DER modeling, GIS-based system analysis, and distribution network planning. Recognized with multiple awards including the 2022 Costa Rican National Technology Award, he actively contributes to IEEE Task Forces on DER integration. His research demonstrates strong emphasis on practical grid applications, combining theoretical power systems knowledge with advanced data analytics. Dr. Valverde teaches Power System Analysis (227-0526-00L) and maintains collaborations with utilities worldwide on renewable integration challenges.
Stefania Dumbrava is an Associate Professor of Computer Science at ENSIIE (École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise) and a permanent member of the ACMES team in the SAMOVAR laboratory at Télécom SudParis, Institut Polytechnique de Paris. She is also actively involved in the Property Graph Schema Working Group and the European Research Network on Formal Proofs (EuroProofNet). Education PhD in Computer Science, Université Paris-Sud (2016) MSc in Computer Science, Jacobs University Bremen (2012) BSc in Mathematics, Jacobs University Bremen (2010) Research Interests Dumbrava's research lies at the intersection of formal methods and data management . She designs and verifies algorithms and systems for graph databases , with emphasis on property graphs , schema discovery , query optimization , and distributed graph processing . Recently, her work focuses on certifying large-scale distributed graph systems under the ANR JCJC VERDI project (2025–2029). Awards & Honors SIGMOD Best Paper Award 2023 – “PG-Schema: Schemas for Property Graphs” SIGMOD Research Highlight Award 2023 – “Threshold Queries” VLDB 2022 Best Regular Research Paper Runner-Up – “Threshold Queries in Theory and in the Wild” SIGMOD 2025 Distinguished Reviewer Award ICDE 2025 Best Program Committee Member Award EASST Best Software Science Paper Award, ICGT 2025 Students & Grants Dumbrava has supervised numerous research interns and is actively recruiting PhD students for her ANR VERDI project on verified foundations of large-scale distributed graph systems. She has also served on six PhD thesis committees as examiner since 2021. Labs & Teams She leads the ACMES research group within the SAMOVAR laboratory (Télécom SudParis, Institut Polytechnique de Paris), where her team develops formally verified graph-database engines and tools such as GRASP, VerDILog, and DatalogCert.
Yuchen Liu is an Assistant Professor in the Department of Computer Science and Department of Electrical & Computer Engineering (by courtesy) at North Carolina State University. He earned his Ph.D. in Electrical and Computer Engineering from Georgia Institute of Technology. His research spans networking, machine learning, and cybersecurity, focusing on wireless systems, digital twins, and networked agentic systems. Research areas: Networking (3D UAV networks, mmWave/THz communication, cybersecurity), Machine Learning (generative AI, LLMs, reinforcement learning), Digital Twins (synchronization optimization, edge caching), Software Development (differentiable simulators, open-source testbeds) His recent publications emphasize neurosymbolic AI, diffusion models for wireless systems, and multi-agent approaches to spectrum sensing. Articles highlight applications in UAV networks, vehicular security, satellite localization, and federated learning defenses. Honors include NSF CAREER (2025), NVIDIA Academic Grant (2025), NCSU Carla Savage Award (2025), and multiple IEEE/ACM Best Paper Awards. Current projects are supported by NSF CNS (#2312138), NSF SaTC (#2350075), and NSF NAIRR Pilot Demonstration (#2506757) grants.
Prof. Martin Boeker is a Professor of Medical Informatics at the Technical University of Munich (TUM), affiliated with the TUM School of Medicine and Health. His work focuses on advancing healthcare through AI-driven solutions, interoperability frameworks, and precision medicine initiatives. Key projects include the German Medical Text Corpus (GeMTeX) and the MIRACUM DIFUTURE Alignment Hub. Expertise: Medical Informatics, AI in Healthcare, Federated Learning, Health Data Integration Key Contributions: FHIR-based systems, clinical decision support, patient-centered outcomes research Leadership: Director of the Institute for AI and Informatics in Medicine at TUM Hospital Right of the Isar Research emphasizes bridging clinical practice and data science through projects like modular health crawlers, automated guideline adherence monitoring, and cross-institutional medical NLP solutions. His work spans oncology informatics, rare disease management, and pandemic response data ecosystems. Recent articles highlight innovations in digital twins for precision oncology, federated analysis in oncology, and German-language medical NLP challenges. He collaborates internationally on EHR standardization and healthcare interoperability, contributing to the Medical Informatics Initiative (MII) and pandemic evidence ecosystems. Grants and collaborations involve the German Federal Ministry of Education and Research, European initiatives, and industry partnerships. Educational efforts focus on training future medical informatics professionals through MII competency programs.
Mark Steedman is Professor of Cognitive Science at the University of Edinburgh's School of Informatics, with adjunct appointment at University of Pennsylvania. His research spans computational linguistics, AI, and cognitive science, focusing on Combinatory Categorial Grammar (CCG) and its applications. His research examines: Combinatory Categorial Grammar parsing and semantics Language model capabilities and limitations Cross-linguistic semantic inference Brain modeling of language processing Recent publications analyze hallucination sources in large language models, cross-linguistic entailment graphs, and brain-computer parallels in structure-building. He develops computational models integrating symbolic and distributional approaches to semantics. Honors include ACL Lifetime Achievement Award (2018) and George E. Davis Medal (2001). He serves on editorial boards of major linguistics journals and has authored influential books including 'The Syntactic Process' and 'Taking Scope'.
Anil Madhavapeddy serves as Professor of Planetary Computing at the University of Cambridge's Department of Computer Science and Technology and directs the Cambridge Centre for Carbon Credits (4C). A Fellow of Pembroke College, he integrates systems research with environmental conservation through the Computer Laboratory's Environment and Energy Group. His career spans industry leadership (NetApp, Citrix, Intel), academic appointments (Cambridge, Imperial, UCLA), and entrepreneurial ventures (XenSource, Unikernel Systems, Docker). Madhavapeddy earned his PhD at Cambridge's Computer Laboratory in 2006. His research bridges computational systems and planetary-scale environmental challenges, with deep expertise in open-source development (OCaml, Xen, Docker, OpenBSD) and technology strategy advising for organizations including Zededa, Tezos Foundation, and Tarides. His work centers on environmental computing and climate informatics, leveraging distributed systems and functional programming to develop sensing infrastructure for conservation. Recent projects focus on carbon credit systems, AI-driven biodiversity monitoring, and sustainable computing architectures that minimize ecological footprints while maximizing analytical capability. Analysis of his 2025 publications reveals a concentrated effort on AI-integrated conservation tools, privacy-preserving carbon accounting, and energy-efficient computing. Key themes include spatial networking for ecological data, LLM-enhanced evidence retrieval in conservation science, and novel metrics for extinction risk assessment—demonstrating computational innovation applied to urgent planetary boundaries. No scientific awards were documented in the source material. Madhavapeddy advises multiple technology firms on strategic development while leading the Cambridge Centre for Carbon Credits, though specific grant funding details remain unreported. He actively contributes to the Environment and Energy Group at Cambridge's Computer Laboratory and directs the interdisciplinary Cambridge Centre for Carbon Credits (4C). His open-source leadership spans critical infrastructure projects including OCaml, Xen, and Docker, fostering collaborative development communities that underpin modern cloud and container technologies.
Robert Dick is a Professor in the Department of Electrical Engineering and Computer Science at the University of Michigan, part of the College of Engineering. He previously held roles as Associate Professor at Northwestern University and Visiting Professor at Tsinghua University. He earned his Ph.D. from Princeton University and a Bachelor's degree from Clarkson University. His research focuses on Embedded Systems, Learning Dynamics, Efficient Machine Learning, Privacy, and Censorship Resistance. Key themes include defining problems with correct costs/constraints, broadening access to information technology, mitigating negative tech impacts, and solving inference problems with limited resources. He leads the Embedded Systems Graduate Program and is a member of the Michigan Integrated Circuits Laboratory (MICL). His work spans thermal management, energy-efficient computing, and low-power wireless networks. Notable contributions include innovations in embedded system design, machine vision frameworks, and sensor networks. Courses taught include EECS 507 (Embedded Systems Research), EECS 373 (Embedded System Design), and ENGR 100 (Autonomous Systems). His recent publications emphasize AI model analysis, energy-efficient networks, and environmental sensing. Projects include MemX (attention-aware wearable tech) and LoRa-based LPWAN protocols. Dick co-founded Stryd, a company commercializing embedded systems innovations.
Ke Wang is a Professor in the School of Computing Science at Simon Fraser University . His research focuses on Data Mining , Database Systems , Data Privacy , and Graph and Network Data . He holds a Ph.D. and M.Sc. from the Georgia Institute of Technology (1986 and 1984, respectively). Teaching includes courses like Database Systems II , Introduction to Data Mining , and Special Topics in Databases . He has advised numerous students and alumni, many of whom now work in tech, academia, and industry. Notable awards include the 2013 Faculty of Applied Sciences Research Excellence Award and the ECIR 2019 Best System Paper . His work emphasizes privacy-preserving techniques and has led to contributions like the Introduction to Privacy-Preserving Data Publishing textbook. He has served as a conference chair for major data mining events like SDM 2015/2016 and holds editorial roles in journals like ACM TKDD. His lab, the Database and Data Mining Laboratory , focuses on actionable solutions for real-world data challenges.
Pontus Johnson is a Professor at the KTH Royal Institute of Technology in Stockholm, Sweden. He leads the Center for Cyber Defense and Information Security (collaborating with Swedish Armed Forces, FRA, MSB, FOI, FHS) and serves as vice director of Cybercampus Sweden since 2024. His research focuses on cybersecurity , enterprise architecture analysis , and probabilistic threat modeling , particularly through his development of the Meta Attack Language (MAL) for simulating cyber attacks on networked systems. Education: MSc in Computer Science, Lund Institute of Technology (1997) PhD in Computer Science, KTH (2002) Docent title, KTH (2007) Leadership Roles: Director, Center for Cyber Defense and Information Security (2013–present) Vice Director, Cybercampus Sweden (2024–present) Board Member, Swedish Research Council (2025–present) Deputy Chair, Swedish Royal Academy of Engineering Sciences (IVA) Board (2024–present) His work spans cybersecurity research , attack simulation methodologies , and enterprise architecture frameworks . He has developed tools like securiCAD (acquired by Google) and pwnPr3d for probabilistic threat modeling. His 15 most recent publications highlight advancements in graph-based attack simulations , automated security assessments , and AI applications in cyber defense . Scientific recognition includes: Listed among Tech Awards Sweden's 50 Most Influential People in Swedish Tech (2022, 2023) Discovery of vulnerability in the Universal Turing Machine (2021) He supervises 16 PhD students and alumni (2005–2024), including Simon Gökstorp , Jakob Nyberg , and Sotirios Katsikeas . His academic service includes over 50 program committee roles and leadership positions in international conferences. He contributes to both academic and public domains through media appearances (SVT, Aftonbladet), courses in ethical hacking , and industry collaboration via his role at Google (20% of his time). His research group Software Systems Architecture and Security (SSAS) focuses on predictive security frameworks and system-of-systems analysis.
Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.
Tim Van de Cruys is a Senior Lecturer at the Faculty of Arts, KU Leuven, serving as Head of the Centre for Computational Linguistics (CCL). He maintains significant affiliations with LECTIO (KU Leuven Institute for the Study of the Transmission of Texts, Ideas and Images), Leuven.AI (KU Leuven Institute for Artificial Intelligence), and LILI (KU Leuven Interdisciplinary Language Institute). His work bridges computational linguistics, artificial intelligence, and humanities research with practical applications across multiple disciplines. Dr. Van de Cruys specializes in computational semantics and creative language generation, with particular expertise in applying NLP techniques to historical and classical texts. His research spans multiple domains including: Natural Language Processing for ancient languages (Latin, Ancient Greek) Computational approaches to lexical and compositional semantics Large language models and their applications in humanities research Creative language generation and human-AI collaboration Named entity recognition and disambiguation in historical contexts Non-autoregressive modeling for sequential generation tasks His recent publications demonstrate a strong focus on applying cutting-edge NLP techniques to humanities challenges, particularly in processing ancient languages. He frequently employs transformer models to address named entity recognition, word sense discrimination, and semantic analysis in low-resource language contexts. His work consistently bridges formal linguistic theory with practical computational applications, creating valuable tools for digital humanities scholars. As promotor and co-promotor on numerous research projects extending through 2029, Dr. Van de Cruys supervises PhD students working at the AI-humanities intersection. His current major projects include "Living Corpora" (exploring human-AI collaboration in digital humanities), "Stochastic processes and non-autoregressive models for sequential generation," and "NIKAW" (exploring knowledge networks from classical antiquity). These projects demonstrate his commitment to advancing both theoretical understanding and practical applications of computational linguistics. He teaches various courses including Computational Linguistics, Scripting Languages, Programming for Humanities, Computational Creativity, and AI for Humanities, training students to work at this critical interdisciplinary crossroads. His leadership of the Centre for Computational Linguistics positions him at the forefront of computational linguistics research in Belgium, where he continues to expand the boundaries of what's possible at the intersection of language, computation, and humanistic inquiry.
