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.
Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.
Björn Brandenburg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His work focuses on real-time systems, scheduling algorithms, and operating system design, with a particular emphasis on predictable resource allocation and performance guarantees in multiprocessor and cyber-physical environments. His research interests include real-time response-time analysis (e.g., PROSA ), locking protocols for multiprocessor systems, side-channel mitigation in cloud environments, and the verification of real-time scheduling policies. He has contributed to foundational studies on deadline failure probabilities, self-suspending tasks, and predictable real-time Linux implementations. Scientific awards include recognition for outstanding papers on TimerShield (2017) Offline Equivalence (2017) . His work intersects with practical systems like LITMUSRT and ROS 2, aiming to bridge theoretical guarantees with real-world applications in safety-critical and distributed real-time systems.
Mithuna S. Thottethodi is a Professor and Interim Associate Head of Teaching and Learning at the Elmore Family School of Electrical and Computer Engineering at Purdue University. He holds a B.Tech. from the Indian Institute of Technology, Kharagpur (1996), and a Ph.D. in Computer Science from Duke University (2002). His research focuses on computer architecture, interconnection networks, distributed systems, and security, with notable work on sparse tensor accelerators and processing-near-memory architectures. His work has been funded by the NSF, AT&T, and SK Hynix. Research interests include security, interconnection networks in multicores, storage performance optimization, and memory hierarchies. Notable contributions span hardware accelerators for machine learning, secure speculative execution, and datacenter network congestion control. He has advised over 20 graduate students, many of whom have joined top tech firms like Google, Microsoft, and Intel. Awards: NSF CAREER Award (2007) Wilfred Hesselberth Teaching Excellence Award (2021) Multiple Eta Kappa Nu Outstanding Professor Awards Teaching includes undergraduate courses like EE 437 (Computer Design) and graduate courses such as ECE 666 (Advanced Computer Architecture). He also advises VIP and EPICS student teams.
Chee-Wooi Ten is a tenured Professor in the Department of Electrical and Computer Engineering at Michigan Technological University, where he has served since 2010 and achieved tenure in 2016. He concurrently holds an Affiliated Professor appointment in Applied Computing and directs both the PSERC Site and ICC CPS Center. His institutional roles emphasize cyber-physical security integration within power infrastructure. His educational background includes: PhD in Electrical Engineering from University College Dublin (2009) MSc in Electrical Engineering from Iowa State University (2001) BSc in Electrical Engineering from Iowa State University (1999) Ten's research pioneers cyber-informed security engineering strategies for bulk power systems, focusing on quantifying rare events through system risk models and data science. His work bridges power grid interactions with robotics and transportation systems to advance decarbonization and electrification. Key methodologies include validating cyber-physical security frameworks against steady-state and dynamic grid approaches, with emphasis on attack/defense combinatorics and smart home technologies. This transdisciplinary approach supports the fourth industrial revolution's resilience requirements. His publication trends reveal strong focus on risk-aggregated substation testbeds using generative adversarial networks, cyber insurance models for power systems, and cascading failure analysis from switching attacks. Recent works increasingly integrate machine learning with physics-based modeling to address cybersecurity threats in inverter-based resource integration and distribution emergency operations. Ten has secured over $6.5M in active funding including: $2M DOE grant (MTU portion $105,000) for CyDERMS Center on DERs/Microgrids cybersecurity $704,409 CyManII award for secure digitalization in smart manufacturing $1.05M DOE ARPA-E grant for decarbonized freight transportation modeling NSF CyberCorps Scholarship for Service program ($3.38M) His grants consistently address risk management through data-driven and physics-based modeling, with industry partnerships through PSERC and utility collaborations. As ICC CPS Center Director, he leads research on cyber-physical security testbeds and coordinates the PSERC Summer Transformation School. His team develops validation frameworks for NERC CIP compliance while addressing practical pain points in OT cybersecurity for grid operators.
Mehmet Esat Belviranli is an Assistant Professor in the Computer Science Department at the Colorado School of Mines, where he directs the High Performance Systems and Software Lab (HyperSys). His research focuses on increasing resource utilization in heterogeneous architectures through runtime systems, scheduling algorithms, and performance modeling, with publications in top venues including MICRO, PPoPP, and SC. Education: Ph.D. in Computer Science, University of California, Riverside (2016) M.S. in Computer Science, Bilkent University (2009) B.S. in Computer Science, Bilkent University (2006) Belviranli's research spans heterogeneous architectures, runtime systems, performance modeling, parallel programming, autonomous computing, deep learning acceleration, cyber-physical systems, and edge-cloud platforms. His work develops analytical models and programming abstractions to address resource management, scheduling, and security challenges in diversely heterogeneous systems, with applications in edge computing, autonomous systems, and machine learning acceleration. Recent projects emphasize real-world constraints and security implications. His publication trends reveal increasing focus on edge-cloud resource management (e.g., HARNESS), security vulnerabilities in heterogeneous systems (e.g., MC3), and deep learning acceleration under resource constraints. Key themes include memory contention modeling, scheduling for cyber-physical systems, and concurrent DNN execution, reflecting a shift toward practical deployment in security-sensitive edge environments. Scientific Awards: U.S. Air Force Research Lab Summer Faculty Fellowship Award (2022) U.S. Air Force Research Lab Summer Faculty Fellowship Award (2021) Oak Ridge National Laboratory Significant Event Award (2019) Best Paper Finalist, IEEE HPEC 2018 Outstanding Paper Award, DATE 2024 Belviranli mentors Ph.D. students Ismet Dagli (MLCommons Rising Star 2024, CGO'24 SRC finalist) and Justin Davis (DATE'24 Outstanding Paper Award winner). He has secured $2M+ in funding from NSF, DoE, and SRC, including an NSF-SaTC grant on mobile security (2024), a DoE grant on superconductive systems (2023), and an NSF FuSe grant on graphene nanoribbons (2023), often leading multi-institutional teams from Rochester, Virginia, Arizona, and Minnesota. The HyperSys Lab develops ecosystems for high-performance heterogeneous systems, with recent projects including HARNESS for edge-cloud resource management and MC3 for mobile SoC security. The lab has received equipment donations from Google Coral.ai and Xilinx, and collaborates with national labs on security challenges and next-generation semiconductor technologies.
Michael Goldsmith is a Senior Research Fellow at the Department of Computer Science and Worcester College, University of Oxford. He holds multiple leadership positions including Director of the Oxford Martin Programme on AI Threat Detection, Associate Director of the Cyber Security Centre, and Co-Director of the Centre for Doctoral Training in Cybersecurity. His research bridges formal methods, concurrency theory, and practical cybersecurity applications. Goldsmith's research focuses on cybersecurity analytics including threat detection, risk management, and trust frameworks. He pioneered automated cryptoprotocol analysis and investigates multidisciplinary projects spanning mathematical models to socio-technical systems. His core interests include formal verification, AI threat landscapes, privacy architectures, and security protocol design. Analysis of his recent publications reveals strong emphasis on practical cybersecurity challenges: 63% focus on threat detection (especially insider threats), 22% on trust/risk frameworks, and 15% on formal methods applications. His work consistently integrates technical security mechanisms with human factors and organizational contexts. He currently advises Ahmed Salman and has supervised 10+ students including Mary Bispham, Rodrigo Carvalho, and Elizabeth Phillips. His research teams collaborate on projects funded by Technology Strategy Board, government agencies, and industry partners. Goldsmith leads the Oxford Martin Programme on AI Threat Detection and co-directs the Centre for Doctoral Training in Cybersecurity. His research group develops tools for security visualization (CyberVis), trust metrics, and identity management frameworks.
Gene Cooperman is a Professor at the Khoury College of Computer Sciences at Northeastern University, with an affiliation in the College of Engineering. His research focuses on high-performance computing (HPC), transparent checkpoint-restart systems, and model checking. He leads the High Performance Computing Laboratory, where he explores checkpointing technologies like DMTCP, MANA for MPI, and CRAC for CUDA, aiming to enhance HPC workflows on supercomputers such as NERSC's Perlmutter. His work bridges distributed computing, parallel algorithms, and system software to address challenges in fault tolerance, scalability, and resource management. Cooperman has advised 10 PhD students and co-authored over 125 refereed publications, contributing to projects like Geant4-MultiThreaded and Roomy for disk-based computation. His teaching includes courses on computer systems and HPC seminars. Education: Background in computational algebra and parallel computing, transitioning to HPC systems and checkpointing. Research Themes: Transparent checkpointing, MPI agnostic solutions, CUDA integration, and HPC resource optimization. Recent articles emphasize MPI checkpointing, reversible debugging (FReD), and CUDA support, reflecting trends in distributed and GPU-accelerated systems. His grants include NSF, NERSC/DOE, and MemVerge funding. Cooperman collaborates with institutions like CERN and NERSC, advancing applications in particle physics simulations and supercomputing. Current students include Aayushi Gautam, Jiajun Cao, Rohan Garg, and Twinkle Jain.
Dr. Peter L. Latchman serves as a Professor in the Department of Health and Movement Sciences at Southern Connecticut State University. He holds a Doctorate in Applied Physiology from Columbia University and is an Overseas Fellow of the Royal Society of Medicine. His academic career spans decades of research in autonomic cardiovascular regulation with applications to diverse populations including Young adults post-COVID-19 infection Ethnic disparities in baroreflex sensitivity Autonomic dysfunction in obese children Central hemodynamic analysis Recent scholarship focuses on autonomic modulation patterns and their implications for cardiovascular health, while his teaching portfolio encompasses both graduate and undergraduate courses in exercise physiology, cardiac rehabilitation, and medical terminology. Dr. Latchman has delivered presentations at international symposia on topics including Baroreflex sensitivity in African American populations Effects of aerobic capacity on autonomic recovery Vascular physiological assessment techniques Scientific contributions include Overseas Fellowship, Royal Society of Medicine $10,000 grant for cardiovascular assessment in autistic children (2023) He maintains active research collaborations with institutions such as East China Normal University and Hong Kong Baptist University.
Stanislaw Jarecki is an Associate Professor of Computer Science at the Donald Bren School of Information and Computer Sciences (ICS) at the University of California, Irvine (UCI). He joined UCI in 2003 after earning his Ph.D. in Computer Science from MIT in 2001 under Prof. Shafi Goldwasser. His research focuses on applied and distributed cryptography, with significant contributions to threshold cryptography, secure computation, and password-authenticated key exchange (PAKE) protocols such as OPAQUE, which secures 2 billion WhatsApp users. He also worked at Intertrust’s StarLab and Stanford’s applied cryptography group under Prof. Dan Boneh. Education: Ph.D., Massachusetts Institute of Technology, 2001. Research Interests: Distributed cryptography, secure multi-party computation, privacy-preserving protocols, threshold security, blockchain applications, and efficient cryptographic primitives. His work emphasizes practical solutions for real-world systems, including protocols resilient to server compromises and scalable encryption methods. Awards: 2023 IACR Fellow for contributions to distributed cryptography and efficient secure computation. Advising and Grants: Jarecki’s research has been supported by grants including NSF SaTC programs. He advises students on cryptographic protocol design and security mechanisms. His work on OPAQUE and CHIC protocols exemplifies his focus on bridging theoretical cryptography with practical implementation. Labs/Teams: Leads a research group focused on applied cryptography and security within ICS at UCI, collaborating on projects like secure computation, privacy-preserving data processing, and cryptographic protocol development.
Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH
Joseph Sifakis is a CNRS Research Director and founder of Verimag Laboratory in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since 2008 and has been instrumental in advancing concurrent systems specification and verification. Education: Electrical Engineering (Technical University of Athens), Computer Science (University of Grenoble) Research interests focus on component-based design , real-time systems , and correct-by-construction techniques . He pioneered the development of the BIP framework and contributed to model checking, a cornerstone of industrial system verification. Recent publications emphasize component-based modeling, formal verification, and distributed system design, reflecting his work's impact on embedded systems and critical applications like aerospace and telecommunications. Scientific awards include: Turing Award (2007) CNRS Silver Medal (2001) Test-of-Time Award (2012) Multiple honorary doctorates (2008-2011) Member of prestigious academies Industry collaborations span Airbus, ST Microelectronics, and the European Space Agency, with applications in aeronautics, telecommunications, and industrial software standards. He leads the ARTIST2 Network of Excellence and directs the CARNOT Institute 'Intelligent Software and Systems'.
David Basin is a Full Professor at the Department of Computer Science, ETH Zurich, and heads the Information Security Group. He has held academic positions since 2003, including roles at the University of Freiburg (1997–2002) and the Max-Planck-Institut für Informatik (1992–1997). His research focuses on Information Security, including methods and tools for secure systems, formal verification, and cryptographic protocols. He is Editor-in-Chief of the ACM Transactions on Privacy and Security and Springer's Information Security and Cryptography book series. Basin founded the Zurich Information Security Center (ZISC) in 2003 and led it until 2011. Education: B.Sc. in Mathematics (Reed College, 1984), Ph.D. (Cornell University, 1989), and Habilitation (University of Saarbrücken, 1996). Research interests span formal methods for security protocol verification, privacy-preserving systems, and cryptographic implementations. He has contributed to foundational work on security protocols, including the Tamarin verification framework. His work addresses real-world systems like payment protocols (EMV), DNS security, and database isolation guarantees. Awards: ACM Fellow (2018) for contributions to Information Security and Formal Methods, IEEE Fellow. He has organized numerous conferences, including IEEE S&P, Euro S&P, and ACM CCS. Labs/Teams: Leads the Information Security Group at ETH Zurich and co-founded Anapaya Systems, a startup focused on network security solutions. His team develops tools like VeriMon (formally verified monitoring) and Tamarin for protocol analysis.
Mingsheng Ying is a Distinguished Professor and Research Director of the Centre for Quantum Computation and Intelligent Systems (QCIS) at the Faculty of Engineering and Information Technology, University of Technology Sydney, Australia. He also holds the position of Cheung Kong Professor at the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing, China. Professor Ying graduated from the Department of Mathematics, Fuzhou Teachers College, Jiangxi, China, in 1981. His primary research interests span quantum computation (particularly quantum programming and model-checking quantum systems), programming theory and formal methods, and the foundations of artificial intelligence (focusing on logic and uncertainty). As an author of the books "Foundations of Quantum Programming" (Elsevier - Morgan Kaufmann 2016) and "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs" (Springer-Verlag, 2001), he has published over 100 papers in top international journals and conferences. His recent research publications demonstrate a strong focus on quantum programming languages, verification techniques for quantum systems, and the theoretical foundations of quantum computation. The trend in his work shows increasing emphasis on formal verification methods for quantum systems, particularly model-checking techniques for quantum Markov chains and quantum processes. His research bridges theoretical computer science with quantum information theory, creating frameworks for reliable quantum software development. Editorial Board, Artificial Intelligence, Elsevier, Amsterdam Editorial Board, Fuzzy Sets and Systems, Elsevier, Amsterdam Vice President, International Fuzzy Systems Association (elected in 2005) Program Chair, IFSA 2005, World Congress of International Fuzzy Systems Association Chairman, Chinese Association of Fuzzy Systems and Mathematics Professor Ying has secured significant research funding including multiple Australian Research Council Discovery Projects such as "Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems" (2013-2015) and "Process algebra approach to distributed quantum computation and secure quantum communication" (2011-2013). His work has also received funding from the National Natural Science Foundation of China and Tsinghua University. At QCIS, he leads research in quantum software theory and methodology, with applications in quantum cryptography and secure communication.
Jeremy Gibbons is a Professor of Computing at the University of Oxford, affiliated with the Department of Computer Science within the Faculty of Computer Science. He serves as Director of the Professional Programmes, overseeing part-time postgraduate degrees in Software Engineering. His roles include Chair of the Faculty of Computer Science (2012–2016), Director of the Software Engineering Programme, and Fellow of Kellogg College. Gibbons' research focuses on programming methodologies, particularly functional and object-oriented languages, with an emphasis on program calculation, design patterns, and bidirectional transformations. He leads the Algebra of Programming research group and is Editor-in-Chief of the Journal of Functional Programming and The Art, Science, and Engineering of Programming . Education includes a D.Phil. from Oxford University. His work spans formal methods, domain-specific modeling for clinical trials (e.g., CancerGrid project), and semantic frameworks for software systems. He has advised numerous students and contributed to open-access initiatives in publishing. Key collaborations include roles in ACM SIGPLAN and IFIP Working Groups 2.1 and 2.11. Research interests emphasize foundational aspects like profunctor optics, categorical programming, and algorithm design. Notable projects include datatype-generic programming and metadata-driven engineering for clinical trials. His work bridges theoretical computer science with practical applications in software architecture and system design.
