Shaun H. Cooper is a College Associate Professor in the Department of Computer Science at New Mexico State University (NMSU). He holds a Ph.D. in Computer Science from NMSU (2000), an M.S. from the University of Texas (1988), and a B.S. from the University of New Mexico (1984). His research focuses on networking, distributed computing, computer security, and ethics. He previously served as Chief Information Officer/Associate Vice President for NMSU’s Information and Communication Technologies division, managing over 100 staff and a $16M budget. Education: Ph.D. Computer Science (NMSU, 2000), M.S. Computer Science (UT Austin, 1988), B.S. Computer Science (UNM, 1984). Professional Roles: 25+ years at NMSU, including leadership in IT policy and infrastructure. Current duties include teaching undergraduate courses, student advising, and departmental mentorship. Dr. Cooper is active in the New Mexico Supercomputing Challenge and officiates high school football. His technical expertise spans Unix systems, visualization technologies, and network security. He has presented widely on topics such as computer ethics, LAN configurations, and distributed systems.
Ernst-Rüdiger Olderog is a full professor of computer science at the University of Oldenburg, affiliated with School II (Department of Computing Science). He holds a diploma in informatics (1979) and a Ph.D. in computer science (1981) from the University of Kiel. He conducted research at Oxford University (1981–1983) and obtained his habilitation in computer science (1989). He has held leadership roles, including the Leibniz Award (1994–1999), membership in Academia Europaea (since 2012), and directorship of the DFG Research Training Group SCARE. His research focuses on formal verification, concurrent and distributed systems, real-time systems, and Petri nets. Key contributions include books on verification (e.g., Verification of Sequential and Concurrent Programs ), real-time systems, and Petri nets. He has pioneered work on Petri games for distributed system synthesis and formal methods for traffic systems. His roles include Dean of Faculty II (2017–2019), editor of Acta Informatica , and chair of IFIP Working Group 2.2. His awards include the Leibniz Prize and membership in prestigious academic societies. His research combines theoretical foundations with practical applications in safety-critical systems, automated verification, and hybrid models.
Prof. Volker Skwarek is a Professor for Technical Informatics at the Department of Industrial Engineering and Management, Hamburg University of Applied Sciences. He leads the research group DLT³-Hamburg and heads the research and transfer center for digital business processes. His work focuses on cybersecurity in distributed systems, IoT security, and blockchain applications in industrial environments. He has held leadership roles including Deputy Head of the Department HWI and coordinates the graduate focus area 'Information Science'. Research interests include ultra-low-power IoT systems, self-sovereign identity frameworks, and secure blockchain-sensor integrations. Prof. Skwarek has authored over 30 peer-reviewed articles, 2 books, and multiple patents. He actively contributes to international standardization of blockchain technologies and serves on editorial boards for distributed ledger journals. His projects span smart grid security, decentralized energy trading systems, and forensic blockchain analysis. Notable projects include WaterGridSense 4.0 (smart grid resilience), LegalBlock (legal frameworks for smart contracts), and TrustedCamApp (secure video streaming in sensor networks). He emphasizes practical applications alongside theoretical advancements, collaborating closely with industry partners to address real-world challenges in digital security and automation. Prof. Skwarek holds national/international awards for research and education innovation. His teaching includes courses on technical informatics, programming in C, and cybersecurity fundamentals. He advocates for continuous professional development through academic-industry partnerships and standardization initiatives.
John Bowers is an Associate Professor of Computer Science at James Madison University (JMU), part of the College of Integrated Science & Engineering. He holds a Ph.D. in Computer Science from the University of Massachusetts Amherst (2015), an M.S. from the same institution (2012), and a B.S. in Computer Science and Mathematics from Florida State University (2008). His research focuses on computational geometry, origami algorithms, and discrete mathematics, with applications to 3D printing and structural design. He is co-director of the Ars Geometrica Lab, which explores geometric visualization and undergraduate research in computational geometry. Teaching responsibilities include courses in algorithms (CS 452), discrete mathematics (CS 327), and programming fundamentals. He advises first-year students and organizes the CS Research Seminar. Bowers emphasizes the liberal arts mission, advocating for interdisciplinary education to foster societal impact through knowledge preservation and innovation. His research lab collaborates with institutions like Oak Ridge National Labs on projects such as optimized 3D printing infill structures and geometric software tools like Koebe.py . Personal interests include cycling, rock climbing, violin, and Thomistic philosophy.
Professor Ji Meng Loh is a faculty member in the Department of Mathematical Sciences at New Jersey Institute of Technology (NJIT). His research focuses on spatial statistics, quantile regression, healthcare data analysis, and software testing methodologies. He has led multiple federally funded projects including 'Scalable Inference of Quantile Regression for Large-Scale Health Care Data' (2019-2022) and 'Spatial Inference with Application to Astronomy' (2005-2010). His work bridges theoretical statistics with applications in astronomy, biomedicine, and software engineering. Research Interests: Spatial point processes and bootstrap methods Statistical computing and machine learning Healthcare policy and data analysis Formal software testing and mutation analysis Astronomy data modeling Recent Research Trends: His 2020-2025 publications emphasize methodological advancements in: Mortality modeling with neural networks Biostatistical analysis of EEG data Formal verification of software loops Mutation testing metrics He has also contributed to healthcare decision-making frameworks and public health policy research. Grants & Collaboration: Co-PI on NSF-funded projects investigating local public goods allocation (2006-2012) and aerospace engineering cost modeling (2005-2013). Active collaborations span NJIT's departments of Computer Science, Public Health, and Biomedical Engineering. Professional Contributions: Developed novel statistical methods for analyzing spatial data in astronomy and public health contexts. His work on 'equivalent mutants' in software testing has influenced industry standards. Currently oversees statistical consulting initiatives for NJIT researchers.
William M. Farmer is a Professor in the Department of Computing and Software at McMaster University's Faculty of Engineering. His expertise spans logic, mechanized mathematics, mathematical knowledge management, and formal methods. He specializes in the Theory of Computation and contributes to the Digital & Smart Systems research cluster. Dr. Farmer teaches CAS 760: Logic for Practical Use (Theory), focusing on practical logic design and implementation. His research emphasizes formal systems, automated reasoning, and the integration of mathematical software with theory representation. He is affiliated with the IMPS (Interactive Mathematical Proof System) project and maintains a research website at imps.mcmaster.ca/wmfarmer. His work bridges theoretical foundations and practical applications, including formalizing mathematical knowledge, developing biform theories, and advancing tools like Chiron and Alonzo. Despite no listed awards or grants in the provided text, his contributions to formal methods have influenced computational logic and mathematical software systems.
Dr. Shengchao Qin is a Professor of Computer Science at Teesside University's School of Computing & Digital Technologies, specializing in formal methods and software verification. He holds a BSc and PhD from Peking University, with postdoctoral experience at the Singapore-MIT Alliance. As Associate Dean for Research & Innovation (2016-2019), he led strategic research initiatives. His research focuses on automated verification of software safety/security, program analysis, and cyber-physical systems. Major funded projects include EPSRC grants for resource analysis of embedded software (£403k) and inference mechanisms for separation logic domains (£213k). He actively contributes to academic service as Program Committee Chair for ICFEM/TASE conferences, steering committee member for formal methods symposiums, and editorial roles for IEEE Access and Science of Computer Programming. Collaborations span top institutions including National University of Singapore and Peking University. Research Supervision: Current PhD advisees: Chris Curry, Yang Liu, Colin Joy, Ndidi Ogbo Former supervisees: Zhang Zhang (PhD '20), Florin Craciun (Postdoc), Ryuta Arisaka (PhD '13)
Chris Curry is a Lecturer in Computer Science at Teesside University's Department of Computing & Games, affiliated with the Centre for Digital Innovation. His research focuses on formal methods systems, particularly shape analysis, memory safety, and bi-abductive inference for software engineering applications. Education: Masters in Computing (Security and Resilience), Newcastle University (2016) PhD in Computer Science, Teesside University (2022) Curry's work applies automated proof systems to software verification, emphasizing domain-specific bi-abductive reasoning and data structure analysis. He leads modules in software development, algorithms, and programming education, supervising undergraduate and Masters-level projects. Scientific Recognition: Fellow of The Higher Education Academy (2024–present) Research outputs include a 2019 IEEE conference contribution on bi-abductive inference frameworks, addressing shape properties and code-based verification challenges in complex computer systems.
Isaac Sheff is a Senior Research Scientist at Heliax and former Postdoctoral Researcher at the Max Planck Institute for Software Systems. His research focuses on distributed systems, consensus protocols, and formal verification, with applications to blockchain technology. He leads development of Typhon, a next-generation heterogeneous consensus protocol enabling fast finality and multi-chain atomic transactions. His work combines theoretical foundations with practical implementations in Haskell and Coq. Publications demonstrate his contributions to program logics (Iris, Melocoton), consensus algorithms (Heterogeneous Paxos), and distributed data structures (Charlotte). His research consistently bridges formal methods, distributed systems, and security. He has collaborated on projects including ProLoc and CoVault that develop privacy-preserving location proofs and secure analytics platforms using distributed systems principles.
Dr. Kathryn Woodcock is a Professor in the School of Occupational and Public Health at Toronto Metropolitan University. She directs the THRILL Lab, focusing on human factors in amusement ride safety and inclusive design. Her expertise spans accident analysis, safety inspection, and accessibility, with over 75 peer-reviewed publications. She teaches accident theory and safety evaluation in occupational health programs and coordinates the Invitational Thrill Design Competition for student teams. Education: PhD in Mechanical and Industrial Engineering (University of Toronto), MEng and BEng in Systems Design Engineering (University of Waterloo). Research Interests: Human factors in public spaces, amusement ride safety engineering, and accessibility for deaf and disabled populations. She emphasizes knowledge transfer through industry partnerships and standards development. Professional Contributions: Serves on ASTM Committee F24, TSSA Amusement Devices Advisory Council, and chairs the Journal of Themed Experience and Attractions Studies. Recognized with awards including the Ontario Medal for Good Citizenship and Safety Impact Award (2015). Advocacy: Promotes accessibility in themed attractions and supports deaf academics. Longest-serving Deaf professor in Canada and first Deaf woman to earn an engineering PhD in Canada.
Prof. Davor Dujak, PhD is a full-time Professor at the Department of Marketing, Faculty of Economics and Business in Osijek, University of Osijek. He has been employed since 2006 and serves as the Head of the Supply Chain Management Graduate Study Program (certified by the European Logistics Association) and Chairman of the Department of Marketing . His expertise spans supply chain design, logistics optimization, retail strategies, and digital transformation in business logistics. Education & Professional Experience: PhD in Business Logistics (university details not explicitly stated in text) Guest lectures at global institutions: Carlson School of Management (University of Minnesota), Poznan School of Logistics, and others. 2020–2021: Chief Specialist for Logistics Development at Łukasiewicz Research Network, Poland. 2009: Junior Faculty Development Program Scholarship at the University of Minnesota. Research Focus: Prof. Dujak’s work emphasizes retail supply chains , logistics innovation , and cross-sector supply chain resilience . Key areas include: Supply Chain 4.0 and Industry 4.0 technologies. Blockchain applications in logistics. Efficiency of distribution networks in retail and energy sectors. Consumer behavior in multichannel environments. Sustainability and crisis management in supply chains. Publications & Projects: Over 55 scientific papers, 3 authored books, and 7 edited volumes. He led three ERASMUS+ projects and participated in Horizon 2020 initiatives. His articles often explore digitalization, supply chain design, and pandemic responses. Awards & Recognition: No scientific awards explicitly listed, but his extensive editorial roles and global collaborations reflect significant academic influence. Advising & Grants: Mentored numerous students through graduate programs. Secured funding via EU projects (e.g., ERASMUS+) and national/international grants. Current focus includes virtual visiting professorships and business analytics training programs. Labs & Teams: Oversees the Supply Chain Management graduate program and chairs the Department of Marketing. Active in editorial boards of Logforum , Journal of Logistics and Sustainable Transport , and others. Leads the sub-sectoral working group “Commerce” at Croatia’s Ministry of Science and Education.
Constantinos Patsakis is an Associate Professor at the Department of Informatics, University of Piraeus, and an adjunct researcher at the Institute for the Management of Information Systems (IMIS) of Athena Research and Innovation Centre. He holds a Mathematics degree from the University of Athens, an M.Sc. in Information Security from Royal Holloway, University of London, and a PhD in Security from the University of Piraeus. Previously, he worked as a Researcher at the UNESCO Chair in Data Privacy at Rovira i Virgili University, a Research Fellow at Trinity College Dublin, and a Senior Researcher at the Luxembourg Institute of Science and Technology. His primary research areas include cryptography, security, privacy, data anonymization, malware analysis, and blockchain technology. With over 190 publications to his name, his work spans from theoretical security frameworks to practical applications in digital forensics and malware detection. He has contributed significantly to the development of datasets for security research, including the Malicious MS Office documents dataset, Social Live Streaming Service Grooming dataset, and the HYDRA dataset for Domain Generation Algorithm research. His recent publications (2024-2025) reveal a strong focus on emerging security challenges, with particular emphasis on LLM applications in security analysis, novel malware detection techniques, privacy-preserving protocols, and blockchain security. His work bridges academic research with practical security solutions, addressing both technical and human aspects of cybersecurity. As an editor for journals including Computers and Security, International Journal of Information Security, Scientific Reports, and Blockchain: Research and Applications, he plays a significant role in shaping the discourse in his field. He currently teaches undergraduate courses in Information & Code theory, Security Governance, Introduction to Computer Science, and Cryptography, as well as graduate courses in Digital Forensics & Malware Analysis, Cryptographic protocols, and Blockchain development. Principal Investigator for ALUNA (ISFP-2021-AG-CYBER) Coordinator for LAZARUS (HORIZON-CL3-2021-CS-01) Principal Investigator for Cut the Cord (ISFP-2020-AG-CYBER) Principal Investigator for HEROES (H2020-FCT-01-2020) His research group actively contributes to multiple EU-funded projects addressing critical cybersecurity challenges, with a particular focus on digital forensics, blockchain security, and privacy-preserving technologies. The team maintains strong collaborations with international institutions and industry partners, ensuring their research has real-world impact.
Cosimo Perini Brogi is an Assistant Professor (RTD-a) in Theoretical Computer Science at the IMT School for Advanced Studies Lucca, Italy. He is part of the SySMA (Systems' Security Modelling and Analysis) Research Unit and currently leads the SWOPS project under the NextGenerationEU fund. His academic journey includes a PhD in Mathematics (2022, University of Genoa) and a MA in Logic from the University of Florence (2018). His research focuses on proof theory, non-classical logics, and formal methods, particularly in verification of systems and automated reasoning. He has contributed to journals like Studia Logica and Journal of Automated Reasoning , and his work bridges computer science, mathematics, and philosophy. He is active in outreach through Archimede and MaddMaths! , promoting mathematics accessibility. Affiliations include EuroProofNet, The Proof Society, and the Italian Chapter of EATCS. He holds grants from PRIN 2017 and an academic-industrial grant from the University of Barcelona (2022). His current research explores dynamic epistemic verification and collective adaptive systems analysis.
Dr. Olga Tveretina is a Researcher in the Biocomputation Research Group within the Department of Computer Science at University of Hertfordshire's School of Physics, Engineering & Computer Science. She earned her PhD in Computer Science from Eindhoven University of Technology and MSc in Applied Mathematics from University of Tartu. Postdoctoral research included positions at University College Cork, Radboud University Nijmegen, and Karlsruhe Institute of Technology. Tveretina's research investigates decidability and complexity in hybrid dynamical systems, automated theorem proving, and constraint satisfaction frameworks. Current projects analyze reachability problems in low-dimensional systems and automatic differentiation algorithms. Her teaching covers computational models, algorithms, programming (Python/C++), and mathematical foundations for AI/robotics, emphasizing conceptual rigor and practical implementation.
James Lathrop is an Associate Professor in the Department of Computer Science at Iowa State University with affiliations in the Laboratory for Molecular Programming. His research focuses on molecular programming, chemical reaction networks, and formal verification methods applied to biological systems. He holds a Ph.D. in Computer Science (Iowa State University, 1997), M.S. in Computer Science (Iowa State, 1994), and prior degrees in Electrical Engineering. Education: Ph.D. Computer Science, Iowa State University, 1997 M.S. Computer Science, Iowa State University, 1994 M.S. Electrical and Computer Engineering, University of California Irvine, 1987 B.S. Electrical Engineering, California State University Long Beach, 1983 Research interests include developing programming languages for molecular systems, verification of biochemical processes, and fault localization in molecular computing. Recent work emphasizes imperative and functional approaches to chemical reaction network control, with applications in nanotechnology and systems biology. Publications from 2023-2024 demonstrate focus on verification techniques for chemical systems, molecular programming languages, and formal methods applied to biochemical networks. No scientific awards are explicitly listed in the provided information. Advising and grants details are not specified here. Active participation in the Laboratory for Molecular Programming reflects ongoing collaborative work in this domain.
