Sjouke Mauw is a full professor in "Security and Trust of Software Systems" at the University of Luxembourg , leading the Department of Computer Science and the SaToSS research group. His work bridges formal methods with real-world security and trust challenges. Current affiliation: University of Luxembourg (Faculty of Science, Technology and Communication) Previous roles: Associate Professor at Eindhoven University of Technology, Senior Researcher at CWI Research Focus Security protocols and their formal verification Attack trees and defense trees for structured threat analysis Privacy in voting systems and digital exchange Trust management frameworks and risk assessment RFID and e-voting security Cyber-physical socio-technical systems Recent Article Trends (2023-2025) include applications of deep learning to privacy risks, formal verification of distance-bounding protocols, and anomaly detection in resource-constrained environments like cubesats. These works span machine learning, cryptography, and aerospace engineering. Academic Contributions include over 50 refereed publications, supervision of 15+ PhD students, and leadership in European research projects (e.g., Meteor, Concur). He has developed formal methods for security protocols, attack-defense trees, and GNSS signal integrity frameworks.
Babak D. Beheshti, Ph.D., is Professor and Dean of the College of Engineering and Computing Sciences at New York Institute of Technology, where he has served since 1986. His 35-year tenure includes roles as faculty member, Academic Senate President, Associate Dean, and Dean. Under his leadership, the college introduced its first PhD programs (Computer Science and Engineering), new bachelor's/master's degrees, and climbed to #49 in U.S. News undergraduate engineering rankings. He established industry partnerships with NASA, IBM, and cybersecurity firms, and launched a co-op program for computer science/IT students. His research focuses on: Wireless sensor networks and IoT security Cryptographic frameworks for resource-constrained devices Cybersecurity penetration testing methodologies Adaptive algorithms for anomaly detection Honors include: IEEE MGA Leadership Award (2014) IEEE Millennium Medal IEEE LI Educator Award (2013) IEEE Region 1 Technical Innovation Award (2008) Ellis College Teaching Excellence Award (2007) He drives experiential learning through industry co-ops and serves on boards for IEEE, LISTnet, and manufacturing/transportation consortia.
Prof. Marc Jansen is a Professor at Hochschule Ruhr West (Germany) and Associate Professor at Linnaeus University (Sweden). He directs the Laboratory for Distributed Systems Architecture at HRW, with cross-border academic appointments bridging German and Swedish institutions. His industrial background includes leadership roles in SAP systems management for North Rhine-Westphalia's state IT services. His research specializes in: Blockchain & Cryptocurrencies : Protocol design, node security, and decentralized authentication Distributed Systems : Cloud infrastructure optimization and mobile application frameworks Cybersecurity : Web application firewalls and 2FA mechanisms Computational Education : Pedagogical approaches to technical concepts Recent publications (2017-2018) demonstrate strong focus on blockchain security innovations and cryptocurrency system improvements, alongside contributions to computational thinking education. His work consistently addresses scalability and vulnerability challenges in decentralized networks. He teaches advanced courses including Blockchain und Kryptowährungen , Verteilte Systeme (Distributed Systems), and Kryptographie (Cryptography), with laboratory instruction in cloud computing and mobile systems development.
Klaus von Gleissenthall is a tenured Assistant Professor in Computer Science at Vrije Universiteit Amsterdam, affiliated with the Theory Group and VUSec security lab. He holds a joint appointment with CWI's Computer Security group. Previously, he was a post-doc at UCSD and completed his PhD at TUM under a Microsoft Research scholarship. His research integrates programming languages , security , and systems to develop formally verified, low-overhead solutions for hardware/software correctness. Key focus areas include: Side-channel attack mitigation via leakage contracts Refinement-type systems for hardware verification Byzantine fault tolerance in distributed systems Publications demonstrate strong emphasis on hardware security (45% of recent papers), formal methods (30%), and distributed systems (25%), with consistent appearances in top-tier venues (S&P, CCS, OOPSLA). Awards & Honors: ERC Starting Grant (€1.5M, 2024) Intel Hardware Security Award Honorable Mention (2020, 2024) Distinguished Paper Awards: CCS'23, OOPSLA'23, POPL'21 He advises four PhD students and two post-docs, supported by his ERC grant. Current projects include refinement types for hardware and pre-silicon leak detection. His lab collaborates with VUSec and CWI, focusing on scalable verification tools like LLVM Blade and methodologies for constant-time execution guarantees.
Clément QUINTON is an Associate Professor at the University of Lille, affiliated with both Inria and the CRIStAL laboratory (Centre de Recherche en Informatique, Signal et Automatique de Lille). He is an elected member of the laboratory council and maintains offices in both the Inria building (Room B312) and the M3 building (Room 224) at the Cité Scientifique campus. Dr. QUINTON is a member of the Spirals research team and holds the HDR (Habilitation à Diriger des Recherches), a French academic qualification that allows him to supervise PhD students. Dr. QUINTON's research spans several areas within computer science, with a primary focus on parallel computing, polyhedral models, and hardware acceleration. His work bridges theoretical computer science with practical applications in embedded systems and biomedical monitoring. He has made significant contributions to the fields of: Polyhedral compilation and loop optimization techniques High-level synthesis for FPGA-based hardware acceleration Systolic array design and parallel architectures Disruption-tolerant wireless sensor networks for biomedical applications Sustainable software engineering and cloud configuration Application of Large Language Models to software development Analysis of Dr. QUINTON's publication history reveals a consistent research trajectory that began with foundational work in parallel algorithms and systolic arrays, evolving toward more contemporary applications involving FPGA acceleration, polyhedral compilation, and biomedical sensor networks. His recent work shows increasing interest in sustainable computing, cloud architectures, and the application of Large Language Models to software engineering challenges. This evolution demonstrates his ability to adapt theoretical computer science concepts to address emerging technological challenges. Dr. QUINTON has supervised numerous PhD students whose research aligns with his expertise: Virginie Amand: Sustainable software services using large-scale models Alexandre Bonvoisin: Frugal software architectures for cloud-native microservices Tristan Coignion: Energy impact of Large Language Models for code Edouard Guegain: Software optimization through configuration (defended September 2023) Brell Péclard Sanwouo Chekam: Automatic detection and correction of side-channel vulnerabilities in cryptographic libraries Nada Zine: Complex and self-adaptive software systems Maxime Huyghe: Sustainable software services development based on Language Models (LLM) As a member of the Spirals research team at Inria and CRIStAL, Dr. QUINTON contributes to a collaborative environment focused on software engineering, system architecture, and sustainable computing. His work bridges theoretical computer science with practical applications in healthcare monitoring, cloud computing, and energy-efficient software development.
