Find Academic Supervisors

Bo PeiView profile

Assistant Professor

• Artificial Intelligence in Education
• Educational Data Mining
• Learning Analytics
• +4 more

Dr. Bo Pei is an Assistant Professor in the Instructional Technology and Learning Design & Technology program at the University of South Florida's College of Education. He leads the VISTA Lab (Visualization, Intelligence, Systems, and Technology in Education) located on the Tampa campus, focusing on interdisciplinary research at the intersection of AI, data visualization, and educational technology. His research explores: AI-driven personalized learning tools and ethical teaching enhancements Educational data mining and learning analytics methodologies Development of trustworthy and explainable AI systems for education Data visualization techniques for actionable learning insights Equitable educational technology design for diverse learners Dr. Pei has secured significant research funding including: NSF ICorps award for AI-Driven Educational Platform Florida High Tech Corridor's Early-Stage Innovation Fund NEW RESEARCHER GRANT for Viz4Edu project Building Partnerships Across Campuses grant He currently advises seven graduate students across PhD and Master's programs in Instructional Technology, Educational Measurement, Computer Science, and related fields. The VISTA Lab team collaborates on projects involving AI tutors, educational dashboards, VR learning environments, and automated literature review systems.

Kelvin EricksonView profile

Professor

• Control Systems
• Factory Automation
• Programmable Logic Controllers
• +3 more

Dr. Kelvin Erickson is the Curators’ Distinguished Teaching Professor of Electrical and Computer Engineering and Undergraduate Coordinator at Missouri University of Science and Technology. He joined the faculty in 1986 and served as Department Chair from 2002 to 2014. His expertise spans control systems, factory automation, and programmable logic controllers (PLCs), with over 40 years of experience in industrial automation and process control. Education: PhD in Electrical Engineering, Iowa State University MS and BS in Electrical Engineering, Missouri University of Science and Technology (formerly University of Missouri-Rolla) Research Interests: Dr. Erickson focuses on manufacturing automation, PLC design and applications, advanced process control, and industrial control systems. He has authored multiple textbooks, including Programmable Logic Controllers: An Emphasis on Design and Application and Allen-Bradley PLCs: An Emphasis on Design and Application . Awards and Honors: International Society of Automation Fellow (2019) Curators’ Distinguished Teaching Professorship (2019) IEEE Region 5 Outstanding Engineering Educator Award (2015) Multiple UMR Outstanding Teacher Awards (1987–2015) Grants and Collaborations: He has led grants such as the Controls Laboratory Equipment project (co-PI with Jagannathan Sarangapani). His industry collaborations include work with Fisher Controls, Magnum Technologies, and Rockwell Automation. Labs and Affiliations: Dr. Erickson is affiliated with the Kent D. Peaslee Steel Manufacturing Research Center and serves as an ABET Evaluator and ETAC Commissioner.

Manish MotwaniView profile

Assistant Professor

• Software Engineering
• Automated Program Repair
• Automated Testing
• +4 more

Manish Motwani is an Assistant Professor at the School of Electrical Engineering and Computer Science, Oregon State University. His research focuses on automating software engineering practices to improve software quality, particularly in high-performance computing (HPC), REST APIs, and natural language-driven program repair. He leads the Advanced Software Engineering Research (ANSWER) lab, which is part of the Software Engineering and Human-Computer Interaction group. Education: Ph.D. in Computer Science (University of Massachusetts Amherst), Postdoctoral Fellow (Georgia Institute of Technology) Motwani's research bridges empirical analysis of software repositories with automated techniques for testing, debugging, and program repair. Key projects include: Automated Testing for HPC Applications OpenAPI Specification Generation via Static Analysis High-Quality Patch Validation Using Bug Reports JaRFLy Framework for Patch Evaluation Swami Tool for Natural Language Test Oracles RAFL and Blues Fault Localization Techniques His work addresses critical challenges such as patch overfitting, HPC bug detection, and semantic search for real-world defects. He has published in top venues like ICSE, TSE, and EMSE, and holds two U.S. patents for automated requirements and regulatory compliance tools. At Oregon State, Motwani actively mentors and seeks motivated PhD students interested in software testing, debugging, and program repair for HPC and AI/ML applications. He previously contributed to requirements engineering at Tata Research Development and Design Centre in India.

Stephen D. WolthusenView profile

Professor

• Cybersecurity
• Network Security
• Industrial Control Systems
• +4 more

Stephen D. Wolthusen is a Professor at the Norwegian University of Science and Technology (NTNU), with an external affiliation at Royal Holloway, University of London (RHUL). His research focuses on cybersecurity, network security, and resilient systems within industrial control, IoT, and software-defined networks. He has led major projects such as the NHS Health and Care Test Beds (TIHM), RECONSYDER (resilient control systems), and ARTEMIS Joint Technology Initiative (Internet of Energy for Electric Mobility). His expertise spans adversarial modeling, privacy in IoT, and queueing network analysis for network resilience. Key contributions include work on IEC 61850 protocols, software-defined networks, and controllability metrics for critical infrastructure. He has supervised 8 research projects/students and served as an External Examiner at NTNU from 2016 to 2020. Education: Not explicitly listed, inferred via academic roles and publications. Grants: EPSRC, Innovate UK, ARTEMIS Joint Undertaking. His research aligns with UN SDGs, particularly addressing sustainable infrastructure and innovation through resilient cyber-physical systems.

• AI Security
• Cybersecurity
• Artificial Intelligence
• +12 more

Petar Radanliev is a part-time academic and project supervisor at the Department of Computer Science, University of Oxford. He is actively involved in teaching and research, focusing on AI security, cybersecurity, and emerging technologies such as quantum computing and blockchain. His work bridges academic rigor with practical industry applications, and he supervises professional masters students. His research interests center on the security and ethical implications of artificial intelligence. Key areas include AI attack surfaces, agentic AI, quantum AI, malware analysis, and responsible AI practices. He explores vulnerabilities in machine learning systems and develops frameworks for secure and resilient AI deployment. His recent publications and courses reflect a strong trend toward interdisciplinary integration of AI with blockchain and quantum computing, emphasizing real-world threats, ethical considerations, and future-proofing digital systems. These works highlight a consistent focus on proactive defense, red teaming, and the societal impact of emerging technologies. Fulbright Fellowship Prince of Wales Innovation Scholarship Petar Radanliev has supervised numerous professional masters students and contributes to academic discourse through extensive publications, books, and public lectures. He is affiliated with major research platforms including ORCID, Google Scholar, and the Alan Turing Institute. His teaching includes advanced courses on AI security, quantum AI, and red teaming, often delivered through recorded events and online platforms. He is associated with research themes in Security, Artificial Intelligence, and Machine Learning at Oxford, and has contributed to projects such as SOCIAM. His work emphasizes practical, actionable insights for professionals and academics navigating the evolving landscape of AI and cybersecurity.

Gang QuView profile

Professor

• Hardware Security
• VLSI Design Automation
• Low Power Design
• +5 more

Professor Gang Qu is a faculty member in the Department of Electrical and Computer Engineering at the University of Maryland, with a joint appointment in the Institute for Systems Research (ISR). He leads the Maryland Embedded System and Hardware Security (MeshSec) Lab and the Wireless Sensors Laboratory. His research focuses on hardware security, VLSI design automation, low-power systems, and IoT security. Dr. Qu has over 300 publications and holds leadership roles in conferences like AsianHOST and GLSVLSI. He has received IEEE Fellow (2021), Best Paper Awards, and the George Corcoran Teaching Award (2002). His work spans secure scan design, PUF-based authentication, and fault-resistant systems. Education: Ph.D./M.S. in Computer Science (UCLA), Mathematics studies at USTC and University of Oklahoma. Research Interests: Exploiting hardware vulnerabilities (e.g., transient execution attacks), secure design techniques (polymorphic gates, scan-based DfT), and energy-efficient computing. Recent work includes ARM Memory Disambiguation Unit (ARMeD) attacks and FPGA-based cryptographic accelerators. Awards include IEEE Fellow (2021), ACM Recognition of Service Awards (2019, 2006), and Outstanding Systems Engineering Faculty Award (2020). He advises numerous graduate students in hardware security and VLSI. Labs: MeshSec Lab and Wireless Sensors Lab. Active in NSF as a program director in Secure and Trustworthy Cyberspace.

Quentin StiévenartView profile

Researcher

• Abstract Interpretation
• Concurrency
• Static Analysis

Quentin Stiévenart is a researcher at Université du Québec à Montréal, focusing on abstract interpretation, concurrency, and static analysis. His work spans programming language design, software verification, and tool development for WebAssembly and functional languages like Racket and Scheme. Active in organizing and reviewing for conferences including SPLASH, ICFP, ECOOP, and SAS Developed tools such as Wassail for WebAssembly static analysis and RacketLogger for educational purposes Contributions include theoretical work on effect-driven flow analysis and practical advancements in concolic execution abstraction His research addresses challenges in concurrency verification, cyclic reinforcement in incremental analysis, and security-focused taint tracking across multiple language paradigms.

• Computer Science
• Artificial Intelligence
• Robotics

Gonzalo Esteban Costales is a researcher affiliated with the University of Leon from 2012 to 2025, specializing in Computer Science and Artificial Intelligence within the Robotics research group. His work bridges haptic simulation, robotics, and educational technology. Education: Ph.D. in Computer Science (2020), University of Leon, with a thesis on haptic simulators for expert knowledge transfer . Research Interests: Haptic simulation for surgical training and rehabilitation Robotics security in industrial environments Educational technology frameworks Version control analytics for student performance Open-source vulnerability detection tools Key Article Trends: Recent publications focus on haptic workspace optimization, threat modeling for robotic production plants, and security enhancements in continuous integration workflows. His work spans simulation design, cybersecurity, and educational applications of robotics.

Prasad EnjetiView profile

Professor

• Power Electronics
• Renewable Energy Systems
• Smart Grid Technologies
• +3 more

Prasad Enjeti is a Professor and Texas Instruments Jack Kilby Chair in Electrical & Computer Engineering at Texas A&M University, College of Engineering. With expertise in power electronics and renewable energy systems, he has significantly advanced grid-connected technologies, energy storage, and power quality solutions. Ph.D., Electrical Engineering, Concordia University (1988) M.S., Electrical Engineering, I.I.T. Kanpur (1982) B.S., Electrical Engineering, Osmania University (1980) His research focuses on power electronic converters for renewable energy integration, solid-state transformers, high-temperature power systems, grid-edge intelligence, and cybersecurity in distributed energy systems. He has pioneered innovations in AC/DC microgrids, droop control, and advanced filtering technologies. Recent publications emphasize cybersecurity for renewable systems, wide-bandgap semiconductor applications, and AI-driven power electronics optimization. He holds 20+ patents and has supervised 29 Ph.D. and over 50 Master's students, many now in leading academic and industrial positions. IEEE Fellow (2000) R. David Middlebrook Technical Achievement Award (2012) Best Paper Awards at PCIM (2014), IEEE IAS IPCC (2003, 2002, 1998, 1996) NSF Research Initiation Award (1990) Texas A&M Faculty Fellow (1996-97, 2001) He leads the Power Electronics Intelligence at the Network Edge (PINE) research group, with significant contributions to eVTOL energy systems, cryptocurrency mining load analysis, and secure peer-to-peer energy transactions.

Nguyen Phong HoangView profile

Assistant Professor

• Network Security
• Online Privacy
• Internet Measurement
• +3 more

Nguyen Phong Hoang is an Assistant Professor in the Department of Computer Science at the University of British Columbia (UBC), affiliated with the Systopia Lab and Security and Privacy Group. His research focuses on network security, online privacy, and Internet measurement, with particular emphasis on improving networked system security and reinforcing privacy through large-scale data collection. He has pioneered projects like GFWeb and GFWatch to measure China’s Great Firewall and other censorship mechanisms. Prior to UBC, he was a Postdoctoral Scholar at the University of Chicago under Prof. Nick Feamster, and completed his PhD at Stony Brook University under Prof. Michalis Polychronakis. His work has been supported by the OTF’s Information Controls Fellowship, enabling collaborations with groups like the Citizen Lab (U of Toronto) and UMass Amherst. He currently teaches courses on computer networking and network security at UBC. Research interests include DNS censorship detection, domain name encryption protocols (e.g., DNS-over-HTTPS), and methods to evade Internet censorship. His publications analyze global network interference, connection tampering, and the impact of encryption protocols on censorship resistance. He has developed tools like GFWeb’s interactive dashboard for longitudinal censorship monitoring and contributed to improving I2P (Invisible Internet Project) resilience against surveillance. Phong has also served on program committees for major conferences including IEEE S&P, USENIX Security, and IMC. Phong’s academic journey includes time at Kyoto University and JAIST in Japan, where he explored location privacy in dating apps and network anonymity. His interdisciplinary approach bridges technical cybersecurity solutions with policy implications, contributing to both academic discourse and public understanding of Internet freedom challenges.

• Production Systems Engineering
• Software Engineering
• Cyber-Physical Production Systems
• +4 more

Prof. Dietmar Winkler is a Lecturer at TU Wien's Department of Information Systems Engineering, specializing in Cyber-Physical Production Systems (CPPS) and Software Engineering. His work focuses on integrating safety, security, and quality aspects into production systems through model-driven engineering and agile practices. He contributes to Industry 4.0 initiatives, particularly in asset-based risk mitigation and knowledge graph frameworks for security analysis. Research interests include: production systems engineering, cyber-physical systems, test-driven validation, model integration, and software quality intelligence. His publications emphasize multi-view modeling, traceability pipelines, and empirical studies on test code readability. Recent work explores security-log analysis via knowledge graphs (VloGraph), test scenario validation using design models, and efficient FMEA re-validation in agile environments. He co-leads projects on digital production system safety and coordinates multi-disciplinary engineering artifacts. Active in academic communities, he organizes conferences like Software Quality: The Next Big Thing. His contributions bridge theory and practice in systems engineering, with a focus on improving software development processes in complex industrial settings.

Christian FibichView profile

Researcher

• Fault-Tolerant FPGA Design
• Reliability Analysis of SRAM-Based FPGAs
• High-Level Synthesis

Christian Fibich is a Researcher and Lecturer at the Department of Electronic Engineering, University of Applied Sciences Technikum Wien, Austria. He leads the Research Group Embedded Systems, focusing on FPGA reliability and high-level synthesis. His roles include project management for R&D initiatives like VECS (2013-2018), INES (2018-2023), and the 2024 Drohnentechnik integration project. Fibich holds an MSc in Embedded Systems from Technikum Wien and has been active in the field since 2010. Research interests include fault-tolerant FPGA design, reliability analysis of SRAM-based FPGAs, and high-level synthesis optimization. His work emphasizes practical applications of open-source tools and automated design exploration. Recent projects explore temperature-dependent fault effects and drone integration in academic programs. Publications span FPGA reliability, fault injection methods, and embedded systems design, with a focus on open-source IP cores and hardware security. His contributions include Fiji (a fault injection tool) and HLShield (a reliability framework for HLS).

Alberto L. Sangiovanni-VincentelliView profile

Professor

• Cyber-Physical Systems
• Design Automation
• Embedded Systems
• +7 more

Alberto L. Sangiovanni-Vincentelli holds the Edgar L. and Harold H. Buttner Chair of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He is a pioneer in Electronic Design Automation (EDA) and co-founder of Cadence and Synopsys. His research focuses on Cyber-Physical Systems (CPS), embedded systems, hybrid systems, and formal methods for AI. He has authored over 800 papers and 17 books, with major contributions to design automation and methodologies. Education: Dr. Ing., EECS, Politecnico di Milano (1971) Research interests include design methodologies, CPS, and AI integration. He has received numerous awards, including the IEEE James Clerk Maxwell Medal (2008) and ACM/IEEE A. Richard Newton Technical Impact Award (2009). He serves on multiple corporate boards and advisory councils, including the Strategic Committee of the Italian Strategic Fund and the Executive Committee of the Italian Institute of Technology. His work spans academia, industry, and policy, with a focus on innovation ecosystems and CPS design automation. Awards: Over 20 major honors, including Fellowships from IEEE and ACM.

Jan PeleskaView profile

Professor

• Formal Methods
• Dependable Systems
• Distributed Systems
• +8 more

Jan Peleska is a Professor at the Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bremen. He is a member of the Bremen Institute of Safe Systems (BISS) and co-editor of the BISS Monographs series. His research focuses on the application of formal methods and model-based testing to safety-critical embedded systems in domains such as avionics, railways, and automotive engineering. Affiliation: University of Bremen, TZI (Center for Computing Technology), BISS (Bremen Institute of Safe Systems) Academic Role: Professor of Computer Science Research Interests Peleska’s work emphasizes formal methods for dependable systems, particularly distributed and reactive real-time systems. Key areas include: Formal methods (safety, reliability, availability, security) Development of fault-tolerant systems Test automation for reactive systems Tools development for formal methods Integration with software development standards His research is applied to industrial projects involving safety-critical embedded systems, such as avionic systems and railway control systems. A comprehensive overview is provided in his Habilitation Thesis: Formal Methods and the Development of Dependable Systems . Publication Trends Peleska’s recent publications (2012–2022) focus on model-based testing (e.g., symbolic finite state machines, CSP refinement), standardisation of autonomous train control, and tools for automated testing. His work addresses challenges in railway interlocking systems, avionic software verification, and hybrid system validation, often combining formal methods with practical industrial applications. Scientific Awards Best Paper Award at FORMS/FORMAT 2014 Best Paper Award at QA+Test 2007 Other Responsibilities Peleska co-manages the Post Graduate Programme Embedded Systems GESy and serves as a shareholder/consultant for Verified Systems International GmbH. He has delivered invited lectures on industrial verification, model-based testing, and formal methods at institutions like the University of Tunghai (2016) and workshops including CyPhyAssure Spring School (2019).

Mehra BorazjanyView profile

Academic

• Software Engineering
• Software Testing
• Software Security
• +2 more

Mehra Borazjany is a Professor of Instruction in the Department of Computer Science at The University of Texas at Dallas, affiliated with the Erik Jonsson School of Engineering & Computer Science and the Advanced Research Center on Software Testing and Quality Assurance. Her academic journey began with a Master's degree in Computer Architecture from Iran University of Science and Technology in 2007, followed by a PhD in Computer Science and Engineering from The University of Texas at Arlington, supervised by Prof. Jeff Lei in the Software Engineering Research Center (SERC) Group. Research Interests: Mehra specializes in Software Engineering , with a focus on automated software analysis, testing, and verification . Her work explores combinatorial testing methodologies, software security , and constraint handling algorithms to improve test efficiency. She has contributed to frameworks like ACTS (Automated Combinatorial Testing for Software) and empirical studies on test coverage optimization. Publication Trends: Her 2012-2013 publications emphasize combinatorial testing applications in software validation, including input space modeling, constraint handling, and industrial case studies. Key subfields include algorithm design, tool evaluation (e.g., ACTS), and automated testing frameworks. Teaching & Professional Experience: Currently teaching courses like CSE 2336: Computer Science II and SE 6359: Object-Oriented Analysis and Design , she previously worked as a Performance Test Engineer at Numerex Corp (2013-2014), a Web Application Developer, and a Technical Developer.