Find Academic Supervisors

Xin LiuView profile

Adjunct Professor

• Machine Learning
• Cybersecurity
• Network Security
• +3 more

Xin Liu is an Adjunct Professor in the Department of Civil Engineering at the Faculty of Engineering. His research focuses on cybersecurity, machine learning applications, and IoT security, with a particular emphasis on network intrusion detection, data compression, and risk-aware access control systems. He holds a Ph.D. from the University of Ottawa, Canada, and M.Sc. and B.Sc. degrees from Hebei University of Technology, China. Education: Ph.D., University of Ottawa, Canada M.Sc., Hebei University of Technology, China B.Sc., Hebei University of Technology, China Research Interests: Dr. Liu's work bridges machine learning and cybersecurity, addressing challenges in IoT security, adversarial attacks, and network traffic analysis. His contributions include developing AI-driven intrusion detection systems, optimizing data compression techniques for IoT devices, and formulating risk-aware access control frameworks. Recent efforts focus on advanced persistent threats (APTs) and privacy leakage mitigation in language models. Articles Trends: His publications emphasize practical applications of machine learning in cybersecurity, including network attack detection, privacy-preserving methods, and resilient IoT infrastructure. Recent work highlights innovations in transformer-based models for intrusion detection and realistic benchmarking for APT simulations. Awards: No scientific awards explicitly mentioned in the provided materials. Advising & Grants: No advising records or grant information available in the current data. Labs/Teams: No specific lab affiliations or collaborative teams noted in the profile.

Paria ShiraniView profile

Assistant Professor

• Cybersecurity
• IoT Security
• Vulnerability Research
• +4 more

Paria Shirani is an Assistant Professor and Tier 2 Canada Research Chair in Cybersecurity at the School of Electrical Engineering and Computer Science (EECS), University of Ottawa. She holds a PhD in Information Systems Engineering from Concordia University (FRQNT Doctoral Scholarship recipient) and completed an NSERC Postdoctoral Fellowship at Carnegie Mellon University (CMU). Her research focuses on cybersecurity, including IoT security, vulnerability detection, malware analysis, threat intelligence, and AI/ML applications. She leads funded projects across undergraduate, master’s, PhD, and postdoctoral levels, emphasizing equity, diversity, and inclusion (EDI). Research Highlights: Develops AI-driven solutions for IoT security and vulnerability detection. Pioneers binary code fingerprinting and firmware analysis techniques. Advances threat intelligence through machine learning and anomaly detection. Key awards include the NSERC Postdoctoral Fellowship, FRQNT Doctoral Scholarship, and the Tier 2 Canada Research Chair. Collaborations involve institutions like Concordia University, Carnegie Mellon University, and IBM’s Cyber Range. She actively serves on editorial boards (e.g., ACM Computing Surveys) and organizes conferences (e.g., SecureComm, PST).

Toyosi OyinloyeView profile

Lecturer

• Cybersecurity
• Software Security
• Ethical Hacking
• +4 more

Toyosi Oyinloye is the Deputy Head of the School of Computer and Engineering Sciences at the University of Chester, and Programme Leader of the NCSC-certified MSc Cybersecurity programme. She holds a PhD in Cybersecurity from the University of Chester and has over 20 years of experience in software development, database management, and cybersecurity. Her academic roles include teaching final-year computer programming (Swift for iOS Development) and postgraduate cybersecurity modules like Software Exploitation and Research Methods. Education: PhD in Cybersecurity, University of Chester (2024) MSc in Cybersecurity, University of Chester BSc in Computer Science, University of Ilorin, Nigeria PGCert in Learning and Teaching in Higher Education, University of Chester Research Interests: Toyosi focuses on enhancing software protection mechanisms, particularly through Inter-Process Control Flow Integrity to mitigate control flow hijacks. She also investigates mitigating social engineering attacks and applying data visualization for incident response. Her work spans cybersecurity domains such as mobile application security, exploit development, and firmware forensics. Professional Recognition: Fellow of the Higher Education Academy (FHEA) Fellowship (2023) British Computer Society Membership (2022) Teaching & Leadership: Toyosi supervises undergraduate programming projects and postgraduate cybersecurity research. She leads initiatives to elevate programme quality across the School and serves as an Internal Examiner for PhD candidates. Her leadership extends to mentoring and collaborative projects. Labs & Teams: Her research is affiliated with the University of Chester's Culture and Society Research and Knowledge Exchange Institute, where she contributes to interdisciplinary cybersecurity advancements.

LIM Shi YingView profile

Assistant Professor

• Healthcare Informatics
• Digital Transformation
• Platforms & Innovation
• +3 more

Dr. LIM Shi Ying is an Assistant Professor in the Department of Information Systems and Analytics at the National University of Singapore (NUS School of Computing). She holds a Ph.D. in Information Systems from The University of Texas at Austin, an M.P.H. in Health Management from Yale University, and a B.A. in Molecular & Cell Biology (Immunology) and Economics from UC Berkeley. Her research focuses on digital entrepreneurship, healthcare IT, and computational social science, emphasizing strategic reorientations in nascent ventures and digital artifact impacts. She has been recognized with teaching awards and nominations for best papers at ICIS and HICSS. Education: Ph.D. (UT Austin), M.P.H. (Yale), B.A. (UC Berkeley) Affiliations: NUS School of Computing, McCombs School of Business (UT Austin), Yale School of Public Health Her research explores how digital tools and platforms enable creative problem-solving in uncertain markets, particularly in healthcare and digital ecosystems. Notable projects include analyzing startup trajectories to product-market fit and investigating institutional barriers in digital health innovation. Collaborations span industries including hospitals, pharmaceuticals, and the WHO. Publications highlight themes like generativity in user innovation (e.g., IKEA hacks), platform versioning impacts, and telemedicine coordination. Awards include teaching excellence and multiple best paper nominations for work on resource mobilization and digital health ventures.

Frans KaashoekView profile

Professor

• Computer Security
• Operating Systems
• Distributed Systems
• +4 more

Frans Kaashoek is the Charles Piper Professor in MIT's Department of Electrical Engineering and Computer Science (EECS) and a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL). He leads the Parallel and Distributed Operating Systems (PDOS) group, focusing on secure systems, formal verification, and distributed computing. His work emphasizes crash-safe systems, concurrent programming, and cryptographic security. Education: PhD in Computer Science from Vrije Universiteit Amsterdam (1992), thesis on group communication in distributed systems under Andy Tanenbaum. Research interests include operating systems, networking, programming languages, and computer architecture. Notable projects: FSCQ (verified crash-safe file system), Perennial (framework for verifying concurrent systems), and Noria (high-performance web backend). Awards: ACM SIGOPS Mark Weiser Award (2001), ACM Prize in Computing (2010), National Academy of Engineering membership (2006), and American Academy of Arts and Sciences membership (2012). Publications: Over 150 papers on systems software, verification, and security. Authored textbooks like Principles of Computer System Design: An Introduction and xv6 commentary.

• Hardware Security
• Side-Channel Attacks
• Cryptographic Circuits
• +3 more

Darshana Jayasinghe is a Postdoctoral Research Associate at the School of Electrical and Information Engineering (EIE) , University of Sydney. He holds a PhD from the University of New South Wales (UNSW), completed in 2017, and worked as a Research Associate there until December 2022. His research focuses on hardware security, particularly side-channel analysis attacks and countermeasures. Education: PhD, University of New South Wales (2017) Research Interests include: Side-channel analysis attacks (Power Analysis, EM Attacks, Fault Injection) Countermeasures (Balancing, Random Execution, Masking) On-chip sensors for FPGA monitoring FPGA reliability under power fluctuations Publication Trends reveal expertise in: Hardware Security (15/15 articles) FPGA Vulnerabilities (10/15 articles) Cryptographic Countermeasures (12/15 articles) Sensor Development (5/15 articles)

• Computer Science
• Cybersecurity
• WebAssembly Security
• +3 more

Weihang Wang is a Volunteer Assistant Professor in the Department of Computer Science and Engineering at the University of Southern California (USC), part of the School of Engineering and Applied Sciences. His research focuses on WebAssembly security, program analysis, and static/dynamic analysis frameworks. He holds a PhD and has published extensively on topics like WebAssembly obfuscation, decompilation techniques, and flaky test mitigation. Research interests include cybersecurity, software engineering, and the application of AI in program analysis. His work addresses challenges in cross-compilation for WebAssembly, decompilation accuracy, and automated detection of security vulnerabilities in web applications. Notable projects include WaSCR (side channel repairer), WBSan (bug detection), and Wefix (flaky test automation). He has received NSF travel grants for IEEE Security Development (SecDev) conferences in 2022 and 2023. His articles span 2010–2025, showing sustained contributions to web security, compiler optimization, and program transformation. His work intersects with practical applications like ad-blocking systems (Adhere) and bird flu outbreak prediction using migration data (2010–2013). Grants and awards include NSF funding for travel and research, reflecting his active role in academic conferences. He is affiliated with USC's computer science department and maintains an active Google Scholar profile with over 30 publications listed.

Asieh Salehi FathabadiView profile

Lecturer

• Formal Methods
• Autonomous Systems
• Responsible AI (Socio-technical)
• +3 more

Dr. Asieh Salehi Fathabadi is a Lecturer (Assistant Professor) in the Cyber-Physical Systems (CPS) group at the University of Southampton, UK. She specializes in formal methods for software engineering, with a focus on Event-B methodology for designing safe and secure systems. Her research addresses challenges in autonomous systems, responsible AI, and human-AI trust dynamics. She leads the Verifiably Safe and Trusted Human-AI Systems (VESTAS) and HANA-HAIP projects as Principal Investigator and contributes to initiatives like HD-Sec and HICLASS . Her work integrates formal verification into critical system development, emphasizing security and safety. Recent publications explore exception handling in secure hardware (CHERI), socio-technical trust frameworks for defense systems, and human intervention in self-driving vehicles. She supervises two PhD students in Computer Science and actively participates in the Rodin formal methods community. Dr. Salehi Fathabadi has over 13 years of research experience, applying formal methods to aerospace systems, embedded software, and cybersecurity. Her interdisciplinary approach bridges theoretical rigor with practical engineering solutions for modern complex systems.

Jens-Peter KapsView profile

Associate Professor

• Cryptographic Engineering
• Hardware Security
• Post-Quantum Cryptography
• +4 more

Jens-Peter Kaps is an Associate Professor at George Mason University's Volgenau School of Engineering, jointly affiliated with the Department of Electrical and Computer Engineering and the Department of Cyber Security Engineering. He holds a PhD in Electrical and Computer Engineering from Worcester Polytechnic Institute (2006), an MS from the same institution, and a BS from Munich University of Applied Sciences. As a co-director of the Cryptographic Engineering Research Group (CERG), his research focuses on cryptographic hardware design, side-channel analysis, post-quantum cryptography, and IoT security. Dr. Kaps has led numerous research projects funded by agencies like the National Science Foundation (NSF) and NIST, including initiatives on countermeasures for post-quantum cryptographic algorithms and lightweight cryptography in embedded systems. He has organized major conferences such as CHES 2008 and SHARCS 2012, and is actively involved in standardization efforts for cryptographic algorithms. His teaching responsibilities include courses on computer organization and side-channel security. He has advised over 50 senior design projects, focusing on cryptographic hardware implementations, IoT devices, and security tools. His lab work emphasizes practical applications of cryptographic engineering, with a strong emphasis on hardware-software co-design and vulnerability assessment. Dr. Kaps collaborates with industry partners like McQ Inc. and Riscure, and his research outputs include open-source platforms like FOBOS for side-channel analysis. His work bridges theoretical cryptography with real-world hardware implementations, addressing critical challenges in secure embedded systems and post-quantum security.

Amro Al-Said AhmadView profile

Lecturer

• Cloud Computing
• Software Engineering
• Software Testing
• +4 more

Dr. Amro Al-Said Ahmad is a Lecturer in Computer Science at the School of Computer Science and Mathematics, Keele University, UK. He holds a Ph.D. in Cloud Computing from Keele University and has served as a teaching fellow and lecturer in Jordan prior to his current role. His research focuses on cloud computing scalability, software testing, and agile methodologies. He has published extensively in top-tier journals and conferences, including Information and Software Technology and Journal of Cloud Computing , and contributed to organizing events like BCS HCI and IEEE SSD. Education: BSc (Software Engineering, Philadelphia University, 2009), MSc (Computer Science, Amman Arab University, 2014), PhD (Cloud Computing, Keele University, 2019). Research interests include cloud scalability, chaos engineering, software testing, and healthcare informatics. His funded projects include AWS credits for scalability analysis and an Erasmus+ grant for international collaboration. He teaches courses like Cloud Computing and Software Engineering Project Management at Keele. Grants: AWS Cloud Credit ($5K), Keele New Starter Award (£2K), Erasmus+ MED2IaH (€58,325 share). Lab/Teams: Active in cloud resilience frameworks and chaos engineering research groups.

• Concurrency
• Real-Time Systems
• Distributed Systems
• +3 more

Lukasz Ziarek is an Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo, and serves as the Associate Dean for Academic Affairs in the School of Engineering and Applied Sciences. His research focuses on concurrency, real-time systems, distributed systems, and formal verification. He holds a PhD from Purdue University (2011) and a BS from the University of Chicago (2003). His research explores topics such as real-time Java implementations, session types for distributed protocols, and visual debugging techniques. Recent work includes formal models for secure multiparty computation, IoT device validation, and optimizing visual SLAM systems for robotics applications. He has contributed to frameworks like Juav (a Java-based UAV autopilot) and RTDroid (a real-time Android extension). Ziarek has received notable awards including the 2023 IEEE Technological Innovation Award, 2022 Meyerson Teaching Award, and 2018 NSF CAREER Award. His grants include collaborative research on UAV software infrastructure and real-time communication protocols. He actively develops tools like PTDETECTOR for JavaScript library analysis and Anodize for mixed-criticality systems. His work integrates formal methods with practical systems, addressing challenges in embedded systems security, compiler optimization, and real-time programming language design. He maintains a lab focused on advancing reliable software for autonomous systems and distributed computing environments.

• Software Security
• Software Testing
• Program Analysis
• +2 more

Dr. Seongmin Lee is a researcher at the Max Planck Institute for Security and Privacy, specializing in software security and program analysis. Their work bridges theoretical and practical aspects of software testing, with a particular focus on automated testing techniques, dependency modeling, and genetic improvement. Research interests include: Software Security Software Testing and Fuzzing Program Analysis and Slicing Machine Learning Applications in Software Engineering Genetic Algorithms for Code Optimization Statistical and Causal Analysis of Code Behavior Recent publications (2016–2025) demonstrate a trajectory from foundational work on GPU parameter optimization to cutting-edge research on LLM-driven regression testing. Key trends include: Statistical modeling of software behavior Machine learning for bug classification and optimization Approximate analysis techniques for scalability Advancements in greybox fuzzing and coverage prediction Application of causal inference to mutation testing

Fuyuan ZhangView profile

Researcher

• Artificial Intelligence
• Cybersecurity
• Formal Methods
• +7 more

Fuyuan Zhang is a Postdoctoral Researcher at the Max Planck Institute for Software Systems, specializing in advanced software testing methodologies and formal verification techniques. His research focuses on improving the reliability and security of AI systems, quantum computing frameworks, and concurrent systems through innovative testing criteria, adversarial attacks, and compositional reasoning. Key areas of expertise include: Large Language Model (LLM) testing and validation Quantum program analysis and security Adversarial machine learning and neural network robustness Formal verification of concurrent and cyber-physical systems Automated bug detection in complex software systems His work bridges theoretical foundations with practical applications, addressing critical challenges in AI safety, quantum software reliability, and system-wide security certification.

Christian MetalloView profile

Professor

• Metabolic Biology
• Cancer Metabolism
• Cellular Metabolism
• +3 more

Christian Metallo, PhD, is a Professor at the Salk Institute for Biological Studies, where he leads the Molecular and Cell Biology Laboratory. His research focuses on understanding how metabolic pathways drive diseases such as cancer, diabetes, and neurodegenerative disorders. Metallo employs cutting-edge techniques like stable isotope tracing and mass spectrometry to map metabolic networks and identify therapeutic targets. Education: Bachelor of Science in Chemical Engineering, University of Pennsylvania Master of Science and PhD in Chemical and Biological Engineering, University of Wisconsin-Madison Postdoctoral Fellowship in Biological Sciences, Massachusetts Institute of Technology Research Interests: Metallo’s work investigates how cellular metabolism influences disease progression. Key areas include the role of serine/glycine metabolism in tumors, the metabolic defects linked to macular telangiectasia type 2, and lipid metabolism in obesity and fatty liver disease. His lab also develops tools like Escher-Trace to visualize metabolic flux. Publications: Over 100 peer-reviewed articles, including high-impact studies on metabolic reprogramming in cancer, drug development targeting metabolic vulnerabilities, and the interplay between immunity and metabolism. Recent work highlights metabolic dependencies in pancreatic cancer and the role of itaconate in immune responses. Awards: Recipient of prestigious awards including the Mark Foundation Endeavor Award (2022), AIMBE Fellowship (2021), and Camille & Henry Dreyfus Teacher-Scholar Award (2018). His research is funded by grants from the NIH, NSF, and industry partners. Labs & Teams: The Metallo Lab includes postdoctoral fellows, graduate students, and research scientists from diverse backgrounds in engineering, biochemistry, and immunology. Collaborations span academia and industry, focusing on translational applications of metabolic insights. The lab’s Escher-Trace software is widely used for metabolic pathway visualization.

Juraj SomorovskyView profile

Professor

• System Security
• Network Security
• Cryptography
• +3 more

Prof. Dr.-Ing. Juraj Somorovsky is a faculty member at Paderborn University, serving as Head of the System Security department within the Faculty of Computer Science, Electrical Engineering and Mathematics. His work focuses on practical security analysis and censorship circumvention techniques. Academic Rank: Professor Department: Computer Science Office: F2.315, Fürstenallee 11, Paderborn Research Interests span multiple subfields of cybersecurity including: Internet censorship resistance TLS protocol security 3D printing vulnerabilities E-learning platform security Network traffic obfuscation Cyber-physical system threats Recent publications demonstrate expertise in combining applied cryptography with practical security analysis. He leads the System Security group and contributes to the NERD postgraduate research training group focused on digitalization challenges.