Find Academic Supervisors

Zakaria AlomariView profile

Assistant Professor

• Cloud Computing
• Software Defined Networking
• Network Security
• +5 more

Zakaria Alomari is an Assistant Professor of Computer Science at the Vancouver campus of New York Institute of Technology. He joined NYIT in 2023 after earning his Ph.D. in Software Engineering from the University of Quebec in Montreal (2022) and an M.Sc. in Software Engineering from Concordia University (2017). His research focuses on AI/ML applications in networking, cloud computing, and future Internet architectures. He explores challenges like service function chain survivability, cloud pricing mechanisms, and network security solutions. Zakaria’s educational background includes: Ph.D. in Software Engineering, University of Quebec, Montreal, Canada (2022) M.Sc. in Software Engineering, Concordia University, Montreal, Canada (2017) His research interests span Cloud Computing , Software Defined Networking , Network Performance Evaluation , Resource Management , and Network Security . He investigates how AI-driven methods can enhance security and efficiency in distributed systems, including anomaly detection and IoT encryption. His work addresses scalability issues in NFV environments and future network architectures like FlexNGIA, aiming to resolve performance and reliability bottlenecks. Recent publications highlight trends in leveraging machine learning for cybersecurity (e.g., DDoS detection, IoT IDS), cloud compliance frameworks, and NFV optimization. He also explores public health sentiment analysis via social media data. Current projects include the FlexNGIA initiative to redefine future Internet architectures. Zakaria has no noted scientific awards or accolades. He teaches advanced courses such as Data Centre Security (INCS 775), Cryptography (INCS 741), and Project I (INCS 870) at NYIT. His advising and grants focus on guiding students through these technical domains and advancing research in emerging network technologies. His work contributes to interdisciplinary teams tackling challenges in cloud security, NFV resilience, and AI-driven network solutions.

Kyle CroninView profile

Associate Professor

• Cybersecurity Education
• Network Security
• Enterprise Computing
• +3 more

Dr. Kyle Cronin is an Associate Professor and Coordinator for Academic Computing & PhD in Cyber Defense at Dakota State University's Beacom College of Computer & Cyber Sciences. He oversees the Center of Academic Excellence in Cyber Defense (CAE-CD) and directs DSU’s Information Assurance Lab, a cloud-based hands-on learning environment. As director of GenCyber@DSU, the nation's largest residential GenCyber camp, he engages hundreds of high school students annually. His research focuses on K-12 cybersecurity education, enterprise computing, and cellular communications. Education: D.Sc., Capitol Technology University (MD) M.S. & B.S., Dakota State University Research Interests: Dr. Cronin emphasizes experiential learning through lab environments and outreach initiatives. His work bridges theoretical concepts with practical applications in networking security, wireless protocols, and cloud infrastructure. He advocates for diversity in cybersecurity pipelines through K12 programs and residential camps. Grants & Funding: As PI/co-PI, he secured over $11M in grants, including $3.5M from NSA for CAE Innovation and $5.5M from NSF for CyberCorps SFS. Notable projects include GenCyber camps ($335K-750K annually) and infrastructure grants for cellular education ($200K+). Labs & Initiatives: Leads the Information Assurance Lab supporting all computing programs and organizes DakotaCon, a major cybersecurity conference with sponsorships exceeding $37K annually.

Zhiyuan YanView profile

Professor

• Coding Theory
• Wireless Communications
• VLSI Design
• +4 more

Zhiyuan Yan is a Professor and Associate Chair in the Department of Electrical and Computer Engineering at Lehigh University. He holds a B.E. from Tsinghua University and M.S./Ph.D. degrees from the University of Illinois at Urbana-Champaign. His research focuses on coding theory, VLSI design, wireless communications, and embedded systems. He is a Senior Member of the IEEE and received the NSF CAREER Award in 2011. Educational Background: B.E., Electrical Engineering, Tsinghua University M.S., Electrical Engineering, University of Illinois at Urbana-Champaign Ph.D., Electrical Engineering, University of Illinois at Urbana-Champaign Research Interests: His work spans coding theory (including polar codes and LDPC codes), VLSI implementations for communication systems, and cybersecurity through physical unclonable functions (PUF). He explores neuromorphic computing, memristive neural networks, and hardware-efficient error correction techniques. His contributions include efficient decoder architectures and distributed storage solutions. Scientific Awards: 2011: NSF CAREER Award Advising & Grants: While specific student names aren't listed, his research has been supported by multiple grants. His lab focuses on collaborative projects between academia and industry, emphasizing practical implementations of theoretical advancements. Lab & Teams: His research team develops cutting-edge VLSI systems, neural network accelerators, and secure communication protocols. Collaborations include work on memristive hardware and neuromorphic computing architectures.

Xunhua WangView profile

Professor

• Applied Cryptography
• Blockchain Technology
• Biometric Security
• +6 more

Xunhua (Steve) Wang is a Professor of Computer Science at James Madison University (JMU), affiliated with the College of Integrated Science & Engineering. He holds a PhD in Information Technology from George Mason University, an M.E. in Computer Engineering from the University of Science and Technology of China (USTC), and a B.S. in Information Science with a minor in Automation Control from USTC. His research focuses on applied cryptography, network security, and software engineering. Key areas include blockchain (Bitcoin/Ethereum), biometric security, security protocols, malware encoding, and code authorship tracing. He has developed an object-oriented framework for threshold cryptography and contributed to implementations of elliptic-curve cryptography and a Secure Socket Layer (SSL) proxy. No specific scientific awards are listed, though his Erdős number is noted as 3. He teaches courses such as Cryptography, Advanced Network Security, and Discrete Structures. His professional affiliations include roles at JMU’s Department of Computer Science and involvement with the Mahatma Gandhi Center. Research projects include threshold cryptography frameworks, MCV-based GUI frameworks, and collaborations with scholars like Dr. Yvo Desmedt and Dr. David Rine. His Erdős number reflects his academic contributions to theoretical computer science.

Hausi A. MüllerView profile

Professor

• Quantum Computing
• Self-Adaptive Systems
• Cyber-Physical Systems
• +3 more

Hausi A. Müller is a Professor at the Department of Computer Science , University of Victoria , and serves as Associate Dean of Research in the Faculty of Engineering. He holds leadership roles in IEEE, including Vice President of the IEEE Computer Society Technical & Conferences Activities Board (T&C) and 2024-25 Chair of the IEEE Quantum Technical Community (QTC) . Research focuses on Quantum Computing , Self-Adaptive Systems , and Cyber-Physical Systems Key projects include NSERC CREATE grants for Quantum Computing and Dependable IoT systems Developed foundational frameworks like DYNAMICO and SmarterContext for context-aware systems Scientific Awards include: 2011 IBM Canada CAS Research Project of the Year Award CASCON 2012 Best Paper Award ACM Senior Member (2016) Fellow of the Canadian Academy of Engineering (FCAE) and IEEE (LMIEEE) His quantum computing research explores hybrid quantum-classical algorithms, educational frameworks like QNotation , and bioinformatics applications such as RNA folding via QUBO models. Current work emphasizes practical quantum applications and proactive AIOps using digital twins.

Ilias S. KotsireasView profile

Professor

• Computer Algebra
• Combinatorics
• Optimization Algorithms
• +6 more

Dr. Ilias S. Kotsireas is a Professor in the Department of Computer Science and Physics at Wilfrid Laurier University (WLU), Canada. He serves as Director of the CARGO (Computer Algebra Research Group) lab and Editor-in-Chief of the Journal of Algebraic Combinatorics . His research focuses on computational mathematics, combinatorics, optimization algorithms, and symbolic computation. Kotsireas is a Fellow of the Institute of Combinatorics and its Applications (ICA, 2004) and has held leadership roles in organizations like ACM SIGSAM and the ACA Working Group. He maintains adjunct appointments at the Athena Research Center (Greece) and the University of Waterloo, and is a Principal Scientist at ORCCA (Ontario Research Centre for Computer Algebra). His work integrates computer algebra systems with SAT solvers to address complex combinatorial problems, such as Hadamard matrices and Golay pairs. Recent research explores neurosymbolic frameworks, blockchain economics, and machine learning applications in algebraic geometry. Education: Advanced degrees in Mathematics/Computer Science (not explicitly listed, inferred from roles). Research Interests: Computer algebra systems, combinatorial search, algorithm portfolios, cryptographic protocols, and computational neuroscience applications. His contributions span theoretical advancements (e.g., Legendre pair algorithms) and practical tools (e.g., Maple-based software). Kotsireas collaborates internationally, organizing conferences like ACA and publishing in venues such as Journal of Symbolic Computation and SpringerPlus . His lab, CARGO, emphasizes supercomputing and interdisciplinary projects. Awards: Fellow of the Institute of Combinatorics and its Applications (ICA), 2004 Labs & Teams: Leads the CARGO lab and affiliated with ORCCA, focusing on computational algebra and high-performance computing.

Jia JiaView profile

Lecturer

• Cybersecurity
• Cryptography
• Blockchain Technology
• +5 more

Dr. Jia Jia is a Lecturer in International Business and Strategy at Plymouth Business School (Faculty of Arts, Humanities and Business), University of Plymouth. Her research focuses on cybersecurity, cryptography, blockchain technology, and federated learning. She has held previous academic roles at UCL School of Management and Royal Holloway University of London. Her work bridges business strategy with technological advancements, particularly in secure digital systems and AI-driven cybersecurity solutions. Teaching Responsibilities include courses such as International Business Strategy, Asia-Pacific Business Management, and Capstone/Honours Project supervision. She actively contributes to research in e-voting security, identity-based identification systems, and distributed PKI frameworks. Recent publications address challenges in Byzantine-robust federated learning, blockchain-based e-auctions, and post-quantum cryptographic systems. Research interests span interdisciplinary areas including: Cybersecurity in pervasive computing environments Blockchain and smart contract applications Secure data transfer protocols in cloud computing Adaptive adversary resistance in distributed systems Her articles highlight contributions to e-voting security, federated learning resilience, and AI-driven hazard simulation for driver education. Current doctoral supervision includes Tonari Arikekpar’s work on Nigerian international students’ experiences. No academic awards are listed.

Kun SunView profile

Professor

• Trustworthy Computing
• Network Security
• Artificial Intelligence Security
• +3 more

Dr. Kun Sun is a tenured Professor in the Department of Information Sciences and Technology at George Mason University. He serves as Director of the Sun Security Laboratory and Associate Director of the Center for Secure Information Systems. His research spans network security, AI/ML security, software security, and IoT systems, with over 130 publications in these domains. Research Focus : Trustworthy computing environments, moving target defense, AI security, smartphone security, software-defined networking, and software security. Notable Contributions : Innovations in network attack detection (TCP/IP, Wi-Fi, SDN), secure AI frameworks (DNN watermarking, adversarial defense), and container/IoT security mechanisms. Awards & Recognition : George Mason University Presidential Award for Faculty Excellence in Research (2022). His recent work emphasizes graph-based anomaly detection (SentinelAgent), cryptographic chain integration for model security (ChainMarks), and novel frameworks for Android malware classification (FAMCF) and firmware updates (RapidPatch). He also investigates security challenges in Rust programming (TYPEPULSE) and Bluetooth networks (Blueswat).

Padmanabhan K. AravindView profile

Professor

• Quantum Information Theory
• Foundations of Quantum Mechanics
• Bell's Theorem
• +3 more

Padmanabhan K. Aravind is a Professor of Physics at Worcester Polytechnic Institute (WPI). He holds a B.Sc. and M.Sc. from Delhi University, India, and a Ph.D. from Northwestern University, USA. His research focuses on the foundations of quantum mechanics, quantum information theory, and Bell's theorem, with notable contributions to quantum contextuality and entanglement. He is a Fellow of the Institute of Physics (UK). Education: B.Sc. Physics, St. Stephen's College, Delhi University, India (1971) M.Sc. Physics, Delhi University, India (1973) Ph.D. Physics, Northwestern University, USA (1980) Research interests include quantum nonlocality, Kochen-Specker theorems, and applications of quantum information theory to cryptography and computing. His work bridges foundational questions with experimental validations, such as parity proofs and geometric interpretations of quantum states. Teaching highlights include courses on quantum mechanics and general relativity, alongside contributions to WPI's Frontiers program for high school students. He advises Major Qualifying Projects (MQPs) and Interdisciplinary Projects (IQPs), emphasizing science communication and outreach. Notable awards include the Institute of Physics Fellowship, recognizing his contributions to quantum foundations. His publications span over 30 years, addressing topics like Bell’s theorem, quantum contextuality, and entanglement structures in high-dimensional systems.

Shengchao QinView profile

Professor

• Formal Methods
• Programming Languages
• Software Engineering
• +3 more

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)

Paolo ModestiView profile

Senior Lecturer

• Cybersecurity
• Formal Methods for Security
• Security Protocols
• +5 more

Paolo Modesti is a Senior Lecturer in Cybersecurity at Teesside University's School of Computing, Engineering and Digital Technologies. He holds a PhD in Computer Science from Ca' Foscari University Venice, Italy, and an MSc from the University of Udine. His research focuses on security protocols, formal methods, and tool development for secure systems. He is a Fellow of the Higher Education Academy and a licensed professional engineer. Dr. Modesti's work includes designing formal verification frameworks (e.g., AnBx compiler/IDE) and analyzing protocols like Open Banking APIs and Bitcoin's Payment Protocol. He actively contributes to academic conferences (e.g., IEEE, ACM) and serves on program committees for security-related events. His teaching roles include leading the BSc Cyber Security program and modules on Ethical Hacking and Security Analysis. Research interests span security protocol modeling, automatic code generation, intrusion detection systems, and blockchain security. He advocates bridging the gap between academic tools and industry practices through frameworks like PTES and MITRE ATT&CK. His tools, such as the AnBx ecosystem, aim to simplify formal methods adoption for practitioners.

Victor KebandeView profile

Assistant Professor

• Cybersecurity
• Digital Forensics
• IoT/IIoT Security
• +5 more

Dr. Victor Kebande is an Assistant Professor of IT Security in the Secure Distributed Systems (SDS) group at Blekinge Institute of Technology's Department of Computer Science (DIDA). He holds a PhD in Cyber and Information Security from 2018 and has held postdoctoral and visiting researcher roles at institutions like Luleå University of Technology and Colorado State University. His research focuses on cybersecurity, digital forensics, IoT/IIoT security, blockchain, and critical infrastructure protection. He is a member of IEEE, ACM, and IITPSA, and serves on the editorial board of Forensic Science International: Reports . Education: PhD in Computer Science (Cyber and Information Security & Digital Forensics) - 2018 Research Interests: Cybersecurity, digital forensics, IoT/IIoT security, cloud security, blockchain, threat modeling, privacy-preserving techniques, and AI integration with immersive realities. Projects: dAIEDGE: Horizon Europe-funded Network for trustworthy AI at the Edge DISS: Threat detection in IoT systems Symphony: Robust distributed service exposure Awards: None explicitly mentioned, but he holds editorial and reviewer roles in top journals. Grants & Advising: Supervised numerous theses on topics like IoT security, blockchain forensics, and cloud forensics. Active in funding projects like HINTS and Eclipse ArrowHead. Labs/Teams: Part of SDS group, ATLAS Institute (CU Boulder), and collaborations with industry partners like Axis Communications.

• Programming Languages
• Program Verification
• Software Security
• +5 more

Gilles Barthe is a scientific director at the Max Planck Institute for Security and Privacy in Bochum, Germany, and a part-time research professor at the IMDEA Software Institute in Madrid, Spain. His research focuses on programming languages, program verification, cryptography, privacy, and mathematical logic, with an emphasis on applying relational verification to cryptographic systems. He leads the Foundations of Security and Privacy Group, developing techniques to ensure cryptographic software is secure against timing and side-channel attacks, and verifies implementations of post-quantum algorithms like Kyber. Barthe has pioneered tools such as EasyCrypt for formal proofs, and contributed to standards like AWS Key Management Service verification. His work bridges theory (e.g., quantum verification) and practice (e.g., compiler optimization for constant-time code). Education: Ph.D. in 1993 from University of Manchester, followed by roles at INRIA, IMDEA, and others. Research Interests: Secure compilation, cryptographic protocol verification, differential privacy, and quantum programming semantics. Recent articles explore secure compilation against Spectre variants, quantum relational logics, and formal verification of lattice-based cryptography. He has advised over 20 PhD/Master’s students, many contributing to cryptographic verification frameworks. Barthe’s teams collaborate on high-assurance implementations, masking techniques, and mitigating modern microarchitecture threats. His lab’s work includes PanCast for epidemic risk mitigation and certified cryptographic libraries.

Tao HouView profile

Assistant Professor

• Cybersecurity
• Smart Grid Security
• IoT Device Security
• +4 more

Tao Hou is an Assistant Professor in the Department of Computer Science and Engineering at the University of North Texas. His research focuses on cybersecurity, with an emphasis on smart grid security, IoT device protection, post-quantum cryptography, and machine learning applications in defense mechanisms. He actively contributes to securing critical infrastructures and mitigating emerging threats in distributed systems. Dr. Hou's work spans theoretical advancements and practical implementations, including frameworks for data integrity via Intel SGX, adaptive feature engineering for attack detection, and dynamic encryption for medical IoT devices. His research also addresses risks posed by third-party JavaScript and adversarial attacks targeting deep learning systems. Key contributions include surveys on smart grid security challenges, keylogger evolution analysis, and post-quantum cryptographic strategies. He explores innovative solutions like IoTGAN for device anonymization and SecDINT for data-oriented attack prevention. Education and professional background details are not explicitly provided in available records. No awards or grants are listed in the current dataset.

Xinrong LiView profile

Professor

• Wireless Communications
• Sensor Networks
• Signal Processing
• +7 more

Xinrong Li is a Professor in the Department of Electrical Engineering at the University of North Texas. He serves as the Associate Department Chair and holds an office in Discovery Park B231. His research focuses on wireless communications, sensor networks, signal processing, and IoT applications with emphasis on indoor geolocation, environmental monitoring, and smart systems development. He has contributed to advancements in Bluetooth mesh networking, thermal imaging-based occupancy detection, and additive manufacturing for aerospace components. His work integrates machine learning with sensor systems for real-time data analysis. Dr. Li has extensive experience in wireless sensor network design, including low-cost environmental monitoring systems and Raspberry Pi/Arduino-based implementations. He has explored energy-efficient protocols, time synchronization algorithms, and anti-collision RFID systems. His research also spans bioenergy systems, particularly gas production modeling during biomass pyrolysis using Gaussian functions. Key contributions include pioneering methods in indoor geolocation via UWB and RSS measurements, super-resolution TOA estimation, and cooperative localization algorithms. He has published over 60 articles since 2000, focusing on topics like MIMO systems, secrecy diversity in wireless channels, and compressive sampling for sensor networks. His work bridges theoretical foundations with practical applications in smart cities, agriculture automation, and environmental sustainability. Dr. Li has led projects in distributed energy management for microgrids and developed novel decoding methods for space-time coded MIMO systems. His educational contributions include curriculum design for project-oriented electrical engineering programs emphasizing lifelong learning. He maintains active collaborations in international research networks and serves on editorial boards for smart networking journals.