Guillaume Allais is Lecturer in Computer Science at the University of Strathclyde, specializing in type-safe programming abstractions and formal verification. His research develops mathematically structured programming paradigms. Core research themes: Type-and-scope safe metaprogramming techniques Verified compiler pipelines for functional languages Dependently-typed algebraic simplification Recent publications advance staged compilation techniques and generic programming for serialized data. He contributes to the Idris 2 compiler and serves on ICFP program committees. Open-source projects include Agda libraries for syntax representation and verified core language implementations.
Cătălin Hrițcu is a tenured faculty member and head of the Formally Verified Security group at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. His work bridges programming languages, formal verification, and systems security, with a strong focus on developing foundational methods for secure compilation and verified systems. His research interests include formal methods for security, programming languages, and the design and verification of security-critical systems. Specifically, he works on secure compilation, compartmentalization, memory safety, information flow control, security protocols, program verification, proof assistants (especially F*), dependent types, formal semantics, mechanized metatheory, and property-based testing. His research group develops techniques to ensure that high-assurance verified code remains secure when interacting with untrusted or weakly-typed components. The recent publications show a consistent focus on foundational verification of security properties, particularly in the context of the F* language and secure compilation. Key themes include secure interoperability between verified and unverified code, end-to-end verification of cryptographic implementations, and formal proofs of compiler correctness. His work often combines deep theoretical insight with practical implementation, targeting real-world systems like CHERI and high-speed cryptography. Scientific awards include: ERC Starting Grant on formally secure compilation Hrițcu has advised numerous students and researchers, though specific names are not listed in the source. He has led significant research grants, notably the ERC Starting Grant, which supports foundational work in secure compilation. His leadership extends to major conferences where he has served as program chair, steering committee chair, and organizing committee member across POPL, ICFP, CPP, and PriSC. He leads the Formally Verified Security group at MPI-SP, which focuses on building and verifying secure systems using formal methods. The group actively contributes to the F* verification system and works on projects involving secure compilation chains, reference monitors, and tagged architectures.
Robbert Krebbers is an Associate Professor in the Department of Software Science at Radboud University Nijmegen, Netherlands. His research focuses on advancing program verification techniques for complex programming paradigms such as concurrency, higher-order functions, and modular code, with applications to systems languages like C, Rust, and Scala. He develops rigorous mathematical foundations and practical verification tools, primarily using the Coq proof assistant. His most significant research contribution is as co-designer and co-leader of Iris , a highly influential framework for concurrent separation logic in Coq. Iris has been widely adopted in verification projects worldwide. Before returning to Radboud, he served as an Assistant Professor at Delft University of Technology and completed a postdoctoral fellowship at Aarhus University. He earned his PhD cum laude from Radboud University between 2011 and 2015. His research interests include: Semantics Separation logic Theorem proving Coq Program verification Concurrent and higher-order programming His recent publications (2020–2025) show a consistent focus on mechanized verification, linearizability, session types, deadlock freedom, and foundational enhancements to Iris and separation logic. These works appear in top-tier venues like POPL, PLDI, ICFP, and OOPSLA, with several receiving distinguished paper or artifact awards. Notable scientific awards include: POPL 2023 Distinguished Paper Award (DimSum) POPL 2022 Distinguished Paper Award (Simuliris) PLDI 2021 Distinguished Paper and Artifact Awards (RefinedC) CPP 2021 Distinguished Paper Award (Machine-Checked Semantic Session Typing) ECOOP 2017 Distinguished Paper Award 2023 Alonzo Church Award (as part of Iris team) He has advised PhD students such as Ike Mulder and Jules Jacobs. He actively contributes to the academic community as a program committee member, steering committee member, and organizer for major conferences including POPL, PLDI, ICFP, and CPP. His work is supported by major grants such as ERC Consolidator Grant (RustBelt) and Villum Investigator Grant (CPV). He is a core member of the Logic and Semantics Group and the Iris research project, which involves collaborations across institutions globally. His personal website is https://robbertkrebbers.nl .
Doug Tudhope is a Professor at the University of South Wales, affiliated with the Faculty of Computing, Engineering and Science and the Computing, Cybersecurity, Mathematics and Informatics Research and Innovation Group. His work bridges computer science, information science, and digital heritage, focusing on knowledge organization and semantic technologies. BSc (Hons) in Computer Science, University of Edinburgh (1976) PhD in Computer Science, University of Wales, Swansea (1981) His primary research interests lie in Knowledge Organization Systems (KOS), including thesauri, ontologies, taxonomies, and classifications, and their application in semantically indexed hypermedia systems for improved information retrieval. He investigates how controlled vocabularies can provide lightweight semantics for online services and linked data, particularly in digital heritage and archaeology. Recent work explores KOS-based Named Entity Recognition and Natural Language Processing for semi-automatic indexing of archaeological datasets and reports. The recent publications demonstrate a strong trend toward applying semantic technologies and KOS to real-world challenges in archaeology and digital curation. His work emphasizes automatic indexing, vocabulary mapping, temporal data normalization, and improved search interfaces for complex cultural datasets. These efforts highlight interdisciplinary collaboration and practical implementations of semantic standards. He was Editor of The New Review of Hypermedia and Multimedia from 1997 to 2022 and contributed to the development of the ISO 25964 thesaurus standard as a member of the ISO TC46/SC9/SC8 working group. He has also co-organized the NKOS workshops and co-edited special journal issues in this domain. Doug Tudhope has supervised multiple research students, as indicated by his profile listing five supervised works. His research has been supported through projects associated with the Hypermedia Research Group, though specific grants are not detailed in the text. He has an extensive publication record of 116 research outputs, with continued active contributions into 2024. He is a key member of the Hypermedia Research Group, which focuses on semantic technologies, KOS, and their applications in digital heritage and information retrieval. The group has fostered collaborations in archaeology, library science, and multimedia systems, contributing to international standards and interdisciplinary research initiatives.
Anders Blomdell is a Professor in the Department of Control Engineering at the Faculty of Engineering, Lund University. His work bridges theoretical control systems with practical applications in real-time, embedded, and cloud-based environments. He is actively involved in research projects focusing on autonomous systems, industrial automation, and networked control. His research interests include Control Systems , Real-Time and Embedded Systems , Networked Control , Industrial Automation , Robotics , and Cloud-Controlled Systems . These areas reflect his focus on scalable, adaptive, and secure control solutions for complex, interconnected systems. The recent publications highlight a strong trend toward event-based control , large-scale optimization , autonomous adaptation , and secure cloud integration . His work often combines control theory with computer science, particularly in distributed and real-time settings, showing a consistent effort to address challenges in latency, scalability, and robustness. Scientific Awards: Advising and Grants: While specific students are not listed, Anders Blomdell leads and participates in major research initiatives such as WASP, ELLIIT, and the Nordic University Hub on Industrial Internet of Things (HI2OT). These projects involve significant funding and collaboration with industry and academia, indicating active mentorship and leadership in training next-generation researchers. Labs and Teams: He is associated with RobotLab LTH and contributes to the development of tools like TrueTime and LabComm , which are widely used in real-time and networked control research. His work supports both academic and industrial innovation in automation and intelligent systems.
Catalin Hritcu is a Tenured Faculty member at the Max-Planck-Institut für Sicherheit und Privatsphäre (MPI-SP), where he leads the Formal Security Verification group. He is also an APL Professor at the Faculty of Computer Science and a member of the Horst Görtz Institute for IT Security. His research lies at the intersection of programming languages, formal methods, and cybersecurity, with a strong emphasis on building verifiably secure systems. His research focuses on formal methods for security , including secure compilation, compartmentalization, memory safety, and information flow control. He also works extensively on programming languages , particularly program verification, proof assistants, dependent types, formal semantics, and property-based testing. His applied work involves the design and verification of security-critical systems , such as compilation chains, reference monitors, tagged architectures, and high-assurance cryptography. The 15 most recent articles reflect a consistent trajectory toward machine-checked secure compilation, with a focus on mitigating undefined behavior in C through compartmentalization. His work bridges theory and practice, using formal semantics and proof assistants like F* to verify real-world systems. Key themes include software fault isolation, tagged architectures, capability machines, and scalable verification techniques for realistic languages. Scientific awards include: ERC Starting Grant for formally secure compilation Distinguished Paper Award at CSF 2019 Distinguished Paper Award at CSF 2021 Catalin Hritcu has held leadership roles in major academic venues: he is Chair of the Steering Committee of the Certified Programs and Proofs (CPP) conference, founder of the Principles of Secure Compilation (PriSC) workshop, and has served as Track PC Chair for CCS 2024, PC and Conference Chair for CPP 2020–2021, and General Chair of EuroS&P 2017. He has received competitive research grants such as the ERC Starting Grant, which supports high-risk, high-reward research in secure compilation. He leads the Formal Security Verification group at MPI-SP, which conducts cutting-edge research in secure compilation and formal verification. The group actively contributes to the development of verification tools like F* and SECOMP, and collaborates with leading institutions including Inria, Microsoft Research, and academic partners in Europe and the US.
Erich Schikuta is an associate professor at the University of Vienna's Faculty of Computer Science and heads the Research Group Workflow Systems and Technology. He has held multiple administrative roles, including Vice Dean and Curricular Commission Head. His research focuses on Cloud Computing, Parallel/Distributed Systems, Neural Networks, and Database Systems, with over 200 peer-reviewed publications. Education: Studied Computer Science, Business Informatics, and Mathematics at the University of Technology Vienna and University of Vienna. Holds titles including Dipl.-Ing., Dr., and Berufstitel Universitätsprofessor (2009). Research interests emphasize Utility Computing, Cloud Resource Optimization, and Neural Network Simulation. Notable contributions include ranking 25th globally in Cloud Computing productivity and developing frameworks like N2Sky for neural network-as-a-service. Key awards include the 2011 Best Paper Award and 2010 Best Teacher Award. Active in international collaborations, he serves as a European Commission evaluator (FP5-FP7/H2020) and chairs program committees. Labs/Teams: Leads the Research Group Workflow Systems and Technology. Involved in projects like BIG-Business (Grid Infrastructure) and 'Änderung in kollab.Prozessen' (2011-2016).
José María Gutiérrez Martínez is an Associate Professor in the Department of Computer Science at the University of Alcalá. He is part of the PMI (Intelligent Mobile Platforms) research group, focusing on mobile computing, AI, and educational technology. His work integrates interdisciplinary approaches, including IoT, gamification, and healthcare IT. He holds a Doctorate from the University of Alcalá with a thesis on intelligent agents for internet-based learning systems (2006). His academic contributions span over 50 publications since 2017, addressing challenges in accessibility, mobile applications, and sustainable technologies. Research interests include: 1) Developing accessible mobile applications for diverse users, 2) AI-driven solutions for healthcare and education, 3) Optimizing lighting systems for energy efficiency, and 4) Gamification strategies in university environments. Recent projects include ESCOGPT (AI-powered search tools) and μDevOps (cybersecurity microservices). His work bridges theory and practice through collaborations with industry partners. Ongoing efforts focus on applying machine learning to environmental conservation and improving workplace ergonomics via IoT systems.
Salvador Sánchez Alonso is a Professor at the Department of Computer Languages and Systems, Universidad de Alcalá. He holds a PhD from Universidad Politécnica de Madrid (2005) under Dr. Miguel Ángel Sicilia Urbán. His research focuses on blockchain technology, cybersecurity, linked data, healthcare informatics, and educational technology. He actively contributes to the I4 research group (Intelligence, Innovation, Internet, and Information), exploring topics like privacy-preserving systems, social network analysis, and open data principles. His work bridges theoretical advancements with practical applications, such as predictive modeling for healthcare innovation, quality assessment of educational resources, and decentralized identity systems. Recent publications highlight innovations in quantum software measurement, KlimaDAO analysis, and ethical AI traceability. He has also explored the impact of political events on social networks and hospital resource management through predictive analytics. Key contributions include frameworks for metadata quality in digital repositories, interlinking educational data with the Web of Data, and applying blockchain for secure metadata deployment. His research often intersects interdisciplinary domains, emphasizing social data visualization and user-centric repository design.
Dr. Paris Fokaides is an Associate Professor at the Department of Mechanical Engineering, Frederick University’s School of Engineering. He leads the Sustainable Energy Research Group (SERG), focusing on sustainable energy technologies, energy assessment of the built environment, and alignment with UN Sustainable Development Goals (SDGs). His work emphasizes renewable energy integration, smart building design, and energy efficiency in Mediterranean climates. Research interests include: Energy-efficient building technologies Smart cities and digital twins Climate change adaptation strategies Circular economy applications in construction He has pioneered Industry 4.0 applications in building energy performance, waste-to-energy solutions, and solar energy optimization for industrial sectors. Key contributions include developing the Smart Readiness Indicator (SRI) framework and advancing energy policies for nearly-zero energy buildings (nZEB). His interdisciplinary approach bridges engineering, environmental science, and public policy to address global sustainability challenges. Publications focus on digital twin technologies, energy policy analysis, and building sustainability assessments. Current projects explore AI-driven energy audits, urban climate adaptation plans, and lifecycle assessments for bio-based materials.
Victor Raskin is a Distinguished Professor of English and Linguistics at Purdue University with a career spanning multiple continents and disciplines. He serves as Editor-at-Large for HUMOR: International Journal of Humor Research and is a Charter Member of Purdue's CERIAS advisory board. Education 1970: Ph.D. in Structural, Computational, and Mathematical Linguistics (Moscow State University) 1966: M.A./M.S. summa cum laude in Structural and Computational Linguistics (Moscow State University) 1964: B.A./B.S. in Structural and Computational Linguistics (Moscow State University) His research integrates linguistic theory with practical applications in natural language processing , focusing on ontological semantics and computational meaning representation . He has pioneered interdisciplinary approaches connecting humor theory with formal linguistic frameworks. Key publication trends show consistent contributions to computational semantics since the mid-1990s, with notable work on lexical knowledge acquisition , language-based security systems , and philosophical foundations of linguistics . His 2004 collaboration on ontological semantics established a comprehensive framework for NLP systems.
Gunter Mussbacher is an Associate Professor in the Department of Electrical & Computer Engineering at McGill University, where he has held the William Dawson Scholar position since 2017 and the INRIA International Chair since 2021. His research focuses on requirements engineering, model-driven development, and sustainability engineering. He has contributed significantly to standards like the User Requirements Notation (URN) and has led initiatives in standardization through ITU-T roles. Education: Ph.D. in Computer Science (2010, University of Ottawa), MSc (1999, Simon Fraser University), and undergraduate studies at Technische Universität Graz. Professional activities include organizing major conferences like RE 2022 (Program Co-Chair), ICT4S 2023 (General Co-Chair), and serving on steering committees for RE conferences and MoDRE workshops. Research Interests: Goal-oriented requirements engineering, aspect-oriented modeling, sustainability in software systems, and human values in technology. His work emphasizes practical applications in crisis management, regulatory compliance, and model-driven tools like jUCMNav and TouchCORE. Awards include the Most Effective Reviewer Award at RE 2019 and Best Paper at ICMT 2018. He has authored over 100 publications in top venues like IEEE RE, MODELS, and ACM/IEEE conferences. Current activities include advancing AI-driven modeling tools and promoting sustainability in software engineering.
Melvin G. McInnis, MD, FRCPsych is the Thomas B and Nancy Upjohn Woodworth Professor of Bipolar Disorder and Depression, holding joint appointments as Professor of Psychiatry and Professor of Learning Health Sciences at the University of Michigan Medical School. He also serves as Program Director of Bipolar Psychiatry and Center Member at the Center for Computational Medicine and Bioinformatics and Eisenberg Family Depression Center. His research focuses on bipolar disorder pathophysiology, genetic mechanisms, and clinical informatics innovations. Key areas of investigation include mood disorder biomarkers, lithium responsiveness, and computational approaches to psychiatric knowledge integration. Recent work has explored the intersection of circadian rhythms, genetic factors, and clinical outcomes in bipolar populations. McInnis leads the Prechter Bipolar Research Program, investigating how personality traits and polygenic risks influence disease progression. His interdisciplinary collaborations span psychiatry, neurobiology, and bioinformatics, with notable contributions to understanding SARS-CoV-2's impact on lithium toxicity in bipolar patients. McInnis actively mentors trainees and directs translational research initiatives aimed at improving mood disorder diagnosis and treatment. Research achievements include developing novel mood instability prediction methods and advancing ontology-driven psychiatric data systems. His work bridges clinical practice with cutting-edge genomic and neuroimaging technologies to address unmet needs in severe mental health conditions.
Georgios Bouloukakis is an Assistant Professor at the Department of Electrical and Computer Engineering, University of Patras, Greece. Previously, he was an Associate Professor at Télécom SudParis/IP Paris (2020-2025) and held a postdoctoral position at University of California, Irvine (2017-2020). He completed his PhD in Computer Science at Sorbonne University/INRIA Paris in 2017, focusing on IoT middleware and QoS analysis. His research spans IoT middleware, edge computing, distributed systems, and smart spaces. He has coordinated 1 EU project as Scientific Coordinator and led 4 EU projects as Principal Investigator. Education: PhD in Computer Science (2017) - Sorbonne/UPMC, INRIA Paris MSc in Computer Science (2012) - University of Crete BSc in Informatics & Telecommunications (2009) - University of Peloponnese Research Interests: - IoT middleware design - Edge computing frameworks - QoS-aware distributed systems - Smart space interoperability - Cybersecurity in IoT - Urban IoT planning Notable Achievements: Best Paper Awards at SEAMS 2025, PerCom 2022, ICIOT 2018 Recipient of INRIA@SiliconValley Postdoctoral Fellowship (2018-2019) Over 100 peer-reviewed publications and 5 major middleware prototypes (e.g., SmartParcels, SemIoTic, PrioDeX) Labs/Teams: Interactive Technologies Lab at University of Patras, previously contributed to INRIA's MiMove and ARLES teams.
Erik Sundvall is an Adjunct Associate Professor at the Department of Biomedical Engineering (IMT), Linköping University, Sweden. He is affiliated with the Division of Biomedical Engineering (MT), a national center for research and innovation in biomedical engineering. His work is primarily focused on health informatics, especially electronic health records and openEHR standards. Research Interests: Erik Sundvall's research lies at the intersection of healthcare and information technology. He investigates methods for improving the accessibility, reliability, and performance of electronic health record systems. His work emphasizes openEHR-based modeling, querying large-scale clinical data using distributed systems like Hadoop, and developing benchmark datasets such as ORBDA to evaluate EHR server performance. These efforts contribute to safer, more interoperable, and scalable digital health infrastructures. The recent publications reflect a consistent focus on health informatics, particularly in advancing openEHR adoption, optimizing query mechanisms, and advocating for strategic investment in e-health at national and international levels. His collaborative work spans technical innovation and policy-oriented discourse. Scientific Contributions: Developed ORBDA, a benchmark dataset for evaluating EHR server performance. Explored Dewey-encoded querying of openEHR models using Hadoop for scalability. Contributed to educational strategies for learning openEHR standards. Advocated for international collaboration and national investment in e-health. Advising and Grants: While no formal students or grants are listed in the provided materials, his active research output and leadership in publications suggest involvement in research projects and potential supervision within the biomedical engineering domain at Linköping University. Further details on funding sources or mentored students are not available in the current text. Labs and Teams: Erik Sundvall is part of the Division of Biomedical Engineering (MT) at Linköping University, which functions as a national hub for research, PhD training, and innovation in biomedical engineering. His work likely involves collaboration within interdisciplinary teams focused on health informatics and digital healthcare solutions.
