Find Academic Supervisors

• Eye Tracking Technology
• TV Customer Experience
• Process Mining
• +5 more

Michael Milliken serves as a Researcher at Ulster University's School of Computing, Belfast campus (Room BB-02-010, 2-24 York Street). His primary affiliation is with the Faculty of Computing, Engineering and the Built Environment. His research spans eye tracking technology, TV customer experience optimization, and intrusion detection systems. Key methodologies include discrete-time Markov chains for modeling user behavior, process mining for IPTV analytics, and ensemble learning for cybersecurity. His work intersects computer science, human-computer interaction, and multimedia systems with practical applications in personalized television interfaces and network security. His publication trends reveal consistent focus on user experience analytics (2018-2023), with recent expansion into DDoS intrusion detection (2023). The research demonstrates progression from foundational eye-tracking studies toward AI-driven content personalization and cybersecurity applications. Milliken holds a PhD awarded in July 2023 and a Bachelor's degree from July 2013. His h-index is 7 with 2 citations according to Pure/Scopus metrics. Current research activity shows sustained output with publications in 2018, 2022, and 2023.

• Computer Science
• Cybersecurity
• Internet of Things
• +5 more

Gang Tan is an Associate Professor at the Pennsylvania State University's College of Engineering, Department of Computer Science and Engineering. He also holds the James F. Will Career Development Professorship and is affiliated with the Institute for Computational and Data Sciences (ICDS). His research focuses on binary reverse engineering , cybersecurity , Internet of Things (IoT) security , machine learning fairness , and information flow security . He has led numerous NSF-funded projects, including work on precise binary analysis, IoT policy enforcement, and automated fairness repair in AI systems. Recent work trends include memory safety validation , pseudocode extraction , and control-flow integrity mechanisms. His 127+ research outputs reflect deep engagement with static program analysis , cache side-channel detection , and secure kernel-driver interfaces . Scientific Awards: James F. Will Career Development Professorship Gang Tan has secured multiple grants from the National Science Foundation (NSF) and U.S. Navy for projects like Sliver (information flow verification) and Semantics-Directed Binary Reverse Engineering . His work involves advising teams on IoT safety, and he has 19 active or completed grants since 2008.

• Cyber Security
• Privacy
• Human Factors
• +9 more

Professor Shujun Li is a distinguished academic at the University of Kent , where he has served as a Professor of Cyber Security since November 2017. He is also the Director of the Institute of Cyber Security for Society (iCSS) , a UK government-recognized Academic Centre of Excellence in Cyber Security Research (ACE-CSR), and leads the Cyber Security Research Group at Kent's School of Computing. His research spans interdisciplinary cyber security , focusing on human-centric approaches, privacy, digital forensics, multimedia computing, and AI applications. He actively collaborates across disciplines such as Electronic Engineering, Psychology, Sociology, Law, and Business. Previously held roles include Deputy Director of Surrey Centre for Cyber Security (2014–2017) at the University of Surrey. Key projects include EPSRC-funded initiatives on human-centric cyber security and privacy. His recent publications highlight expertise in areas like data privacy , deepfake analysis , password security , and MaaS (Mobility-as-a-Service) vulnerabilities , with contributions to journals such as IEEE Transactions on Dependable and Secure Computing and Frontiers in Big Data . Scientific Honors: Two Best Paper Awards ISO/IEC Certificate of Appreciation (2012) Fellow of BCS Senior Member of IEEE Member of ACM As a principal/co-supervisor, he has guided students including Mohamad Imad Mahaini , Nandita Pattnaik , and Ali Raza . He also serves on editorial boards and advisory groups like the Scientific Board of RISCS and the Steering Committee of ARES .

• Deep Learning
• Internet of Things (IoT) Security
• Software Defined Networking (SDN)
• +4 more

Adnan Akhunzada is a prolific researcher with extensive contributions to computer science, particularly in artificial intelligence, cybersecurity, and internet of things. His work spans deep learning architectures, software defined networks, and security frameworks for emerging technologies. Research Interests include: Deep learning for micro-expression and image analysis Quantum control systems with reinforcement learning AI-based phishing and malware detection Federated learning for drone services Cryptographic protocols for UAV communications Publication Trends show expertise in: Hybrid neural network architectures Cybersecurity for industrial IoT Privacy-preserving crowdsourcing Sign language recognition datasets 5G-assisted cognitive communication

• Cyber Sovereignty and Network Security
• Internet Testbeds
• Distributed Systems
• +8 more

Thomas Dreibholz is a Chief Research Engineer at Simula Metropolitan's Center for Resilient Networks and Applications. He specializes in cyber sovereignty, network security, and internet testbeds, with extensive work on distributed systems, cloud computing, and 5G networks. Affiliation: Simula Metropolitan, Oslo, Norway Research Focus: Multi-path transport protocols, network resilience, and privacy-preserving frameworks His research explores the intersection of network security, cloud/fog computing, and next-generation communication protocols. Recent work includes HiPerConTracer for network analysis, privacy-aware fog platforms , and multi-layered federated learning security . He contributes to testbed development, including the NorNet infrastructure for real-world multi-path transport research. Publications reflect expertise in multi-path TCP , 5G network optimization , and cloud/fog security . He has delivered invited talks at institutions like Hainan University and Princeton University, emphasizing open-source testbed deployment and educational outreach.

• Algebraic Cryptanalysis
• Post-Quantum Cryptography
• Symmetric Cryptography

Morten Øygarden is a Postdoctoral Fellow in the Department of Cryptography at Simula UiB, a joint research initiative between Simula Research Laboratory and the University of Bergen. His work bridges theoretical cryptography and practical security analysis within Norway's premier cryptographic research environment. His educational background culminates in a 2021 PhD from the University of Bergen with the thesis "Algebraic Cryptanalysis of Cryptographic Schemes with Extension Field Structure", establishing his expertise in algebraic methods for cryptanalysis. Øygarden's research focuses on Algebraic Cryptanalysis , Post-Quantum Cryptography , and Symmetric Cryptography , specializing in vulnerabilities of multivariate systems, code-based schemes, and ring-based primitives. He develops novel Gröbner basis techniques to break cryptographic assumptions underlying quantum-resistant candidates, with direct implications for NIST standardization processes. Analysis of his 2020-2024 publications reveals consistent innovation in algebraic attack methodologies, particularly against arithmetization-oriented primitives for zero-knowledge proofs and MPC-friendly ciphers. His work demonstrates exceptional depth in exploiting mathematical structures of symmetric primitives while advancing post-quantum security evaluations of multivariate and code-based systems. His publication record in top venues including CRYPTO, EUROCRYPT, and the Journal of Cryptology reflects significant contributions to cryptographic science, though specific awards or grant details are not documented in available sources.

Kerstin Lemke-RustView profile

Professor

• Cryptography
• Embedded Systems Security
• Blockchain Technology
• +4 more

Prof. Dr. Kerstin Lemke-Rust is a Professor at the Department of Computer Science at Bonn-Rhein-Sieg University of Applied Sciences (H-BRS) and a key member of the Institute for Cyber Security and Privacy (ICSP). Her affiliations include leadership roles in the Gesellschaft für Informatik (GI) and the International Organisation for Cryptologic Research (IACR). Her research spans: Cryptographic algorithm security (side-channel/fault analysis) Blockchain and IoT security Automotive cybersecurity Hardware vulnerability detection She teaches courses in IT Security, Applied Cryptography, and Embedded Systems across bachelor’s and master’s programs. Recent publications (2021-2025) focus on blockchain privacy, side-channel attacks, and hardware security, reflecting her emphasis on real-world cryptographic vulnerabilities. She leads research initiatives at ICSP and collaborates internationally on cybersecurity projects.

Adam ChlipalaView profile

Professor

• Programming Languages
• Formal Methods
• Computer Systems
• +5 more

Adam Chlipala is a Professor at the Massachusetts Institute of Technology working at the intersection of programming languages, formal methods, and computer systems. His research focuses on building practical verified systems with end-to-end machine-checked proofs, particularly using the Coq proof assistant. His educational background includes a Computer Science undergraduate degree from Carnegie Mellon University (2003) and a PhD in Computer Science from the University of California, Berkeley (2007). Following a postdoctoral position at Harvard University through 2011, he joined MIT as faculty. Chlipala's research spans multiple domains with strong emphasis on dependent types , verified compilation , and hardware-software co-verification . His work consistently bridges theoretical foundations with practical implementation, as evidenced by his development of the Ur/Web programming language and his focus on creating clean-slate hardware-software stacks with formal guarantees. Key research thrusts include cryptographic constant-time verification, side-channel security, and verified tensor compilation. His recent publications (2020-2025) reveal a clear trajectory toward increasingly complex verified systems, with growing emphasis on hardware-software integration, cryptographic implementations, and performance-critical applications. The work consistently leverages Coq for machine-checked proofs while addressing real-world constraints like timing channels and hardware interfaces. Chlipala is the author of the influential textbook Certified Programming with Dependent Types , which serves as a primary educational resource for Coq at numerous institutions worldwide. His professional activities include significant service to the PL community through program committees for major conferences including PLDI, POPL, ICFP, and CPP. He leads research initiatives connecting hardware and software verification, most notably through the DeepSpec project which aims to build fully verified computing stacks. His current work focuses on practical applications of dependent types for business applications through Ur/Web and verified cryptographic implementations.

Byron CookView profile

Professor

• Verification
• Automated Reasoning
• Program analysis
• +8 more

Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services. He leads Amazon's Automated Reasoning Group (ARG) and has driven the broad adoption of formal methods across AWS services. His career spans academia and industry, with significant contributions to program verification and automated reasoning. His research focuses on verification, automated reasoning, program analysis, computer/network security, programming languages, theorem proving, logic, and applications to hardware design, operating systems, and biological systems. Cook's work bridges theoretical foundations with practical applications in cloud security and system reliability, particularly through his leadership in applying formal methods to AWS infrastructure. Cook's recent publications demonstrate a strong focus on applying automated reasoning to cloud security challenges, particularly around access control policies, network reachability, and cryptographic implementations. His work shows a clear trajectory from theoretical program verification toward practical security applications in large-scale cloud environments, with emphasis on making formal methods accessible to developers through "one-click" verification tools. Scientific Awards: FREng (Fellow of the Royal Academy of Engineering) As an academic advisor, Cook has mentored numerous PhD students and interns who have gone on to significant careers in programming languages and verification research. His work at Amazon has secured substantial research funding for developing and deploying automated reasoning tools across AWS services. Cook founded and leads Amazon's Automated Reasoning Group (ARG), which develops tools like IAM Access Analyzer, Tiros, Zelkova, and T2. Previously, he managed the Programming Principles and Tools (PPT) group at Microsoft Research Cambridge, where he co-founded projects including TERMINATOR, SLAyer, and the Bio Model Analyzer (BMA).

Sidi Mohamed BeillahiView profile

Lecturer

• Formal Verification
• Programming Languages
• Smart Contracts
• +4 more

Sidi Mohamed Beillahi is a Lecturer in the Department of Computer Science at the University of Toronto's Faculty of Arts and Science. He teaches courses including Principles of Programming Languages (CSC324H1S) and Algorithms and Data Structures (ECE345H1F). Previously, he served as a Teaching Assistant at both University of Paris and Concordia University for courses ranging from Automata Theory to Hardware Functional Verification. Dr. Beillahi's research focuses on developing formal verification and programming languages techniques to ensure the correctness of software systems, particularly distributed systems, concurrent programs, blockchain, and smart contracts. His work bridges theoretical computer science with practical security applications in decentralized finance. His publication record shows a clear progression from quantum circuit verification during his Master's to blockchain and smart contract security in his doctoral and postdoctoral work. Recent publications demonstrate expertise in authenticated data structures for blockchain storage, flash loan attack analysis, and formal verification of decentralized applications. Scientific Awards: ACM SIGSOFT Distinguished Paper Award (ICSE '24) ICBC Distinguished Paper Award (ICBC '22) Dr. Beillahi has advised multiple research projects in blockchain security and verification, often collaborating with Professor Fan Long and Professor Andreas Veneris at the University of Toronto. His research has been supported by prestigious fellowships including an NSERC Postdoctoral Fellowship and a Mitacs Accelerate Fellowship.

Fernando Magno Quintão PereiraView profile

Associate Professor

• Compilers
• Code Generation
• Compiler Optimizations
• +3 more

Fernando Magno Quintão Pereira is an Associate Professor at the Federal University of Minas Gerais (UFMG), Brazil, specializing in compiler design and program analysis. His academic journey began with a Ph.D. from UCLA in 2008 under Jens Palsberg's supervision, establishing his foundation in compiler research. His research focuses on compilers , with core expertise in code generation , compiler optimizations , and static program analyses . Recent work explores quantum compilation, binary analysis, and security-aware compilation techniques. His publications reveal consistent contributions to major conferences including PLDI, CGO, and SPLASH, with emphasis on practical optimization frameworks and theoretical compiler advancements. Analysis of his 15 most recent publications (2020-2026) shows dominant themes in binary optimization (e.g., AnghaBench), security-aware compilation (e.g., Memory-Safe Elimination of Side Channels), and emerging architecture support (e.g., Quantum Computing Compilation). His work bridges theoretical compiler principles with real-world systems challenges. He actively contributes to the academic community through: Program committees for PLDI (2020-2025), CGO (2021-2026), and SPLASH conferences Leadership roles including CGO Finance Chair (2026) and PLDI Diversity & Inclusion Co-Chair (2023-2024) Organizing JENSFEST 2024 and serving on multiple conference steering committees Pereira maintains an active research group evidenced by continuous publication output and conference leadership, with his personal website ( homepages.dcc.ufmg.br/~fernando/ ) serving as a hub for his academic activities.

• Secure Energy Informatics
• Internet of Things
• Blockchain Technology
• +4 more

Andreas Unterweger is a Senior Lecturer and Head of the Department of Networking & Cyber Security at the Center for Secure Energy Informatics. He leads research initiatives focused on integrating digital technologies with energy systems, including IoT, blockchain, and data privacy solutions for smart grids. Research Interests: His work spans secure energy informatics, privacy-preserving technologies for renewable energy communities, IoT-enabled energy services, and machine learning applications for industrial and socio-demographic energy data analysis. Key domains include smart meter analytics, electric vehicle ecosystems, and blockchain-based prosumer networks. Awards: Christian-Doppler Award for contributions to natural sciences (2019) Science Award (2015) Projects & Leadership: He directs the Center for Secure Energy Informatics and manages projects like: Digital Energy Twin (2019–2023): Developing real-time industrial energy management systems. ProChain (2018–2019): Blockchain integration for prosumer energy networks. WhichWay (2022–2023): IoT middleware for energy services.

• Blockchain
• Decentralized Systems
• Federated Learning
• +3 more

J.A. Pouwelse is a Professor at the Data-Intensive Systems department within the Electrical Engineering, Mathematics and Computer Science school at Delft University of Technology . With 125 research outputs and 4 supervised works, his work focuses on Blockchain , Decentralized Systems , Federated Learning , and Peer-to-Peer Networks , particularly for Web3 applications. His recent publications analyze topics such as: Decentralized adaptive ranking Serverless federated learning Green smart contracts Search index optimization Zero-trust frameworks Notable recognition includes the LCN Best Paper Award 2021 . Research spans decentralized infrastructure design, privacy preservation, and scalable system implementation.

• Cyber Security
• Wireless Sensor Networks
• Internet-of-Things
• +5 more

Professor Hadi Larijani serves as a full Professor in Cyber Security and Networks within the School of Computing, Engineering and Built Environment at Glasgow Caledonian University. His research portfolio spans secure wireless communications, Internet-of-Things security, and neural network applications in networking systems, contributing significantly to UN Sustainable Development Goals through technological innovation. His primary research interests include: Wireless Sensor Network Security Intrusion Detection Systems Long Range Wide Area Networks (LoRaWAN) 6G Communication Security EEG Sensing and Medical Device Validation Digital Twin Frameworks for Logistics Professor Larijani's recent publication trends (2024-2025) show strong focus on practical security implementations for emerging technologies, with significant work in EEG validation systems, logistics optimization, antenna design, and VPN protocol analysis. His research bridges theoretical security frameworks with real-world applications across healthcare, agriculture, and transportation sectors. Notable research activities include: Principal Investigator for Market Assessment of Wearable Smart Wireless EEG Headset Co-Investigator for Secure 6G Enabled Realtime Joint Communication and Sensing Testbed Co-Investigator for Ghanaian tomato irrigation improvement project Co-Principal Investigator for British Academy Researcher at Risk - Ukraine Professor Larijani supervises research students with three documented supervised works, and maintains active collaborations across multiple institutions as evidenced by multi-author publications and international projects. His research group appears focused on practical security implementations for next-generation communication systems and IoT applications.

Christof PaarView profile

Professor

• Cryptography
• Hardware Security
• Embedded Systems Security
• +7 more

Professor Christof Paar is a Research Professor at Ruhr University Bochum, Faculty of Computer Science, where he leads the Embedded Security group. His work bridges theoretical cryptography with practical implementation security for embedded systems, with a strong emphasis on real-world security challenges. Professor Paar's research focuses on multiple critical areas of security including hardware security, side-channel attacks, hardware trojans, physical-layer security, wireless security, and reverse engineering. His work is characterized by a strong practical orientation, often demonstrating real-world vulnerabilities and developing practical countermeasures. He has made significant contributions to understanding and improving the security of cryptographic implementations in resource-constrained environments. His publication record shows a consistent output of high-quality research, with particular emphasis in recent years on physical-layer security, wireless security, hardware reverse engineering, and hardware trojan detection. His work spans both theoretical contributions to cryptographic engineering and practical demonstrations of security vulnerabilities in real systems. Professor Paar's educational impact is substantial, having co-authored the widely used textbook 'Understanding Cryptography' and offering numerous courses at both undergraduate and graduate levels. His group actively engages students through Bachelor and Master projects, providing hands-on experience with cutting-edge security research topics. His lab, the Embedded Security group, appears to maintain an active research program with multiple ongoing projects in hardware and embedded systems security. The group collaborates internationally and publishes regularly in top security venues, maintaining a strong presence in the cryptographic engineering community.