Find Academic Supervisors

W. Eric WongView profile

Professor

• Software Engineering
• Software Testing
• Software Reliability
• +6 more

W. Eric Wong is a Professor of Computer Science at The University of Texas at Dallas (UTD), affiliated with the Erik Jonsson School of Engineering and Computer Science. He holds a Ph.D. in Computer Science from Purdue University (1993), following earlier degrees from Purdue and Eastern Michigan University. His research focuses on reducing software production costs while enhancing reliability, safety, and quality through program-based and architecture/design-based testing methodologies. Key areas include automated test generation, fault localization, debugging, and software safety analysis. Professional Background: Tenured Professor at UTD since 2002 Prior roles include Senior Scientist at Telcordia Technologies (1995–2002) and Consultant at Texas Instruments (2004–2005) Active in industry partnerships, such as projects with Motorola, Avaya Labs, and Raytheon Research Interests: Software Testing & Debugging Dependable Software Development Security Requirements Engineering Fault Localization Techniques Model-Based Testing Software Reliability Modeling Awards & Recognition: 2007 IEEE COMPSAC Best Paper Award 1997 NASA Quality Assurance Special Achievement Award Recipient of a $404,772 NSF grant for software safety and reliability research (2021) Professional Activities: Editorial roles for journals like Journal of Systems and Software and International Journal of Software Engineering Program Chair for ISSRE 2012, COMPSAC 2010, and multiple ACM SAC conferences Member of IEEE Reliability Society Administrative Committee (2008–2013) IBM System z Curriculum Advisory Panel member Labs & Teams: Leads the Software Engineering Group at UTD, collaborating on projects like eXVanatge (dependable software solutions) and Fault-Prone Module Identification in telecommunications systems. Engages in cross-disciplinary efforts with industry and international institutions.

Kevin W. HamlenView profile

Professor

• Cybersecurity
• Software Security
• Formal Methods
• +6 more

Kevin W. Hamlen is the Louis A. Beecherl, Jr. Distinguished Professor in the Department of Computer Science at the University of Texas at Dallas. He serves as Executive Director of UT Dallas' Cyber Security Research and Education Institute. His research focuses on language-based security , binary software hardening , cyberdeception , and formal program verification . He has received multiple grants from agencies like AFOSR, NSF, DARPA, and industry partners including Lockheed Martin and Intel. PhD and MS from Cornell University BS from Carnegie Mellon University His research explores automated approaches to software security through techniques like binary disassembly , control-flow integrity , and honey-patching . He has pioneered methods for malware defense and cloud/web/mobile security . Recent work examines adaptive cyberdeception and GPU-based security frameworks . His publications span binary code manipulation , malware mitigation , and blockchain security . Key awards include the NSF IUCRC Technology Breakthrough Award and two CSAW Best Paper 2nd Prizes . He advises numerous PhD students, many of whom now work at Google, IBM, and Microsoft. His book Autonomous Cyber Deception (Springer, 2019) with Ehab Al-Shaer and Cliff Wang provides comprehensive coverage of adaptive cyberdeception strategies.

Sanchuan ChenView profile

Assistant Professor

• Machine Learning Security
• Trusted Execution Environment
• Software Security
• +1 more

Sanchuan Chen is an Assistant Professor in the Department of Computer Science and Software Engineering at Auburn University's College of Engineering. His research focuses on Machine Learning Security, Trusted Execution Environments, Software Security, and Programming Languages. He holds a Ph.D. from The Ohio State University, an M.E. from the Chinese Academy of Sciences, and a B.E. from the University of Science and Technology of China. His work addresses critical challenges in secure computing, including enclave vulnerabilities, speculative execution attacks, and data privacy preservation. Key research contributions include defenses against SGX enclave leaks (e.g., SGXpectre attacks), data flow tracking techniques, and hardening strategies for binary code. His publications span topics like side-channel mitigation, speculative execution exploits, and privacy-preserving data publishing. Chen collaborates on hardware-software co-design solutions to enhance system security without compromising performance.

Peter AvitabileView profile

Research Professor

• Structural Dynamics
• Vibrations
• Modal Analysis
• +5 more

Peter Avitabile is a Research Professor in the Mechanical and Aerospace Engineering Department at Michigan Technological University and a Professor Emeritus at the University of Massachusetts Lowell. With nearly five decades of experience, his expertise spans structural dynamics, vibrations, and modal analysis. He has contributed over 350 technical papers and authored Modal Testing: A Practitioner’s Guide . Dr. Avitabile holds a DEng from UMass Lowell and has led the Structural Dynamics and Acoustic Systems Laboratory. He is a Fellow of the Society for Experimental Mechanics (SEM) and served as its President in 2016. Education: DEng, Mechanical Engineering, University of Massachusetts Lowell (1998) MS, Mechanical Engineering, University of Rhode Island (1982) BS, Mechanical Engineering, Manhattan College (1974) Research Interests: Structural dynamic modeling techniques, experimental modal analysis, system modeling, reduced order modeling, and model correlation. Awards: SEM DeMichele Award (2004) Fellow, Society for Experimental Mechanics (2022) UMASS Lowell Pillars of Excellence Award (2016) Grants & Funding: Over $9.3 million in research funding since 2000, alongside substantial hardware/software donations. His work has been supported by industries and government agencies including NASA, the Department of Energy, and the Navy. Teaching & Mentorship: Taught over 30 semesters of graduate courses in structural dynamics and modal analysis at UMass Lowell. Advised 18 PhD and 19 MS students. Conducted international seminars on structural dynamics for companies like NASA, General Motors, and Siemens. Labs & Affiliations: Co-Director, Structural Dynamics and Acoustic Systems Lab (UMass Lowell) Director, Modal Analysis and Controls Lab (UMass Lowell)

• Nanoelectronic Circuit Design
• Neuromorphic Computing
• Hardware Security
• +4 more

Garrett Rose is a Professor and Department Head in the Min H. Kao Department of Electrical Engineering and Computer Science at the University of Tennessee, Knoxville (UTK). He holds a B.S. in Computer Engineering from Virginia Tech (2001), and M.S. and Ph.D. in Electrical Engineering from the University of Virginia (2003/2006). Prior to UTK, he served as Assistant Professor at NYU Polytechnic (2006–2011) and Senior Electronics Engineer at the Air Force Research Lab (2011–2014). His research focuses on nanoelectronic circuit design, neuromorphic computing, hardware security, and memristor-based systems. He leads the SENECA Research Group and the TENNLab initiative, exploring applications in neuromorphic architectures, hardware security primitives (e.g., PUF devices), and device modeling. Recent work emphasizes memristor-driven neuromorphic systems, secure FPGA designs, and in-memory computing. Grants include projects on neuromorphic target detection and nanotechnology-based security solutions. Rose actively mentors students and collaborates on co-design methodologies for real-world neuromorphic applications. Education: Ph.D. Electrical Engineering, University of Virginia, 2006 M.S. Electrical Engineering, University of Virginia, 2003 B.S. Computer Engineering, Virginia Tech, 2001 Research Interests: Dr. Rose’s work spans neuromorphic hardware design, including memristor-based neural networks and spiking systems. He investigates hardware security through nanoscale devices like memristors for PUFs and side-channel resistant circuits. His team develops novel memristor models and explores applications in reconfigurable computing and energy-efficient architectures. Recent efforts focus on neuromorphic vision systems, robotic navigation, and neuromorphic processors with co-design frameworks. Grants & Projects: "Ground-roaming autonomous neuromorphic targeter" (2020) "Secure Backup and Restore for IoT using Nanotechnology" (2020) "Physically Unclonable Reconfigurable Computing System (PURCS)" (2020)

Tønnes NygaardView profile

Associate Professor

• Robotics
• Evolutionary Algorithms
• Morphological Adaptation
• +3 more

Tønnes Nygaard is an Associate Professor at the Department of Technology Systems, University of Oslo, affiliated with the Faculty of Mathematics and Natural Sciences. His research focuses on evolutionary robotics, morphological adaptation, and embodied artificial intelligence. He leads projects like COCOMO (Co-evolution of Control and Morphologies) and works extensively with the DyRET (Dynamic Robot for Embodied Testing) platform. Key research interests include robot control systems, adaptive morphology design, and real-world implementation of evolutionary algorithms. His work bridges theoretical computer science with practical robotics applications, emphasizing hardware-software co-evolution and embodied cognition principles. Publications span topics like morphological adaptation in quadruped robots, semi-supervised learning for terrain classification, and overcoming convergence issues in multi-objective evolutionary algorithms. Nygaard collaborates internationally and contributes to both academic journals and conferences in robotics and AI. No scientific awards are explicitly listed, though his impactful contributions to real-world evolutionary robotics suggest potential recognition pending explicit mentions. Advising and grant activities are central to his role, though specific student names or grant amounts are not detailed in the provided texts. Labs/Teams: Core contributor to the DyRET project and affiliated with the Section for Autonomous Systems and Sensor Technologies at UiO.

Gabor KarsaiView profile

Professor

• Model-Driven Software Engineering
• Embedded Systems
• Cyber-Physical Systems
• +6 more

Dr. Gabor Karsai is a Distinguished Professor of Computer Science and Professor of Electrical and Computer Engineering at Vanderbilt University's School of Engineering. He also serves as Senior Research Scientist at the Institute for Software-Integrated Systems (ISIS), where he contributes to the Executive Council. With over 30 years in software engineering, his research focuses on embedded systems, model-driven development, resilient software platforms, and AI-driven autonomous systems assurance. He holds a PhD from Vanderbilt and degrees from the Technical University of Budapest. Education: Ph.D. in Electrical and Computer Engineering, Vanderbilt University Dr.Tech. in Computer Engineering, Technical University of Budapest M.S. and B.S. in Electrical Engineering, Technical University of Budapest Affiliations: Co-Associate Chair for Computer Engineering External Member of the Hungarian Academy of Sciences His research interests span model-integrated computing , autonomous systems assurance , and radiation-hardened systems . Recent work emphasizes AI integration into engineered systems and radiation effects mitigation for space applications. He has led major projects on distributed control for smart grids and resilient CPS architectures. Over 200 peer-reviewed publications and four patents reflect his contributions to software engineering and systems integration. Awards & Recognition: External Membership in Hungarian Academy of Sciences Leadership roles in ISIS and Vanderbilt's academic governance Advisees & Grants: While no student list is provided, his projects involve collaborative teams across academia and industry. Major sponsors include NSF, NASA, and DARPA. Current work includes the ALC (Assurance-based Learning-enabled CPS) and MIDAS (Model-based Intent-Driven Adaptive Software) initiatives. Labs & Platforms: Co-developer of the RIAPS distributed CPS platform and the SEAM assurance modeling framework. His labs focus on cyber-physical system design, radiation effects analysis, and autonomous system reliability.

João Santos SilvaView profile

Professor

• Econometrics
• Applied Economics
• Quantile Regression
• +4 more

Professor João Santos Silva is a Professor in Economics at the University of Surrey, Department of Economics. His academic journey includes a PhD in Economics from the University of Bristol (1992), a Master's in Applied Mathematics from the Technical University of Lisbon (1988), and a Bachelor's in Economics from the same institution (1985). Prior to Surrey, he taught at the Technical University of Lisbon and the University of Essex. His research focuses on theoretical and applied microeconometrics, with notable contributions in quantile regression, count data models, gravity equations in trade, and mode regression. He co-authored the seminal paper "The Log of Gravity" , recognized as a Classic in Economics. Silva has developed several Stata modules, including fqreg and ppml , advancing econometric software tools. He teaches courses such as ECOM042: Econometrics I and ECOM066: Advanced Econometrics 2. His work has been published in top journals like the Review of Economics and Statistics and Journal of Econometrics . Notable contributions include addressing endogeneity in count data models, machine learning applications in trade research, and analysis of price stickiness in firms. Silva’s research emphasizes methodological rigor and practical relevance in economic analysis.

Dilian GurovView profile

Professor

• Software Specification and Verification
• Multi-Agent Strategic Planning
• Formal Methods
• +3 more

Dilian Gurov is a Professor in Computer Science at KTH Royal Institute of Technology, associated with the Digital Futures Faculty and the Division of Theoretical Computer Science. He also coordinates the Doctoral Programme in Computer Science at the CSC school. Before joining KTH in 2002, he earned a Ph.D. from the University of Victoria, Canada (1998), and worked at the Swedish Institute of Computer Science (1997-2002). His research focuses on software specification and verification, including contracts, program models, logics, and tools, as well as multi-agent strategic planning involving knowledge-based strategies in imperfect information settings. Key contributions include the CAV Distinguished Paper Award 2023 for 'Automatic Program Instrumentation for Automatic Verification' and an EASST award for 'Checking Absence of Illicit Applet Interactions: A Case Study' (2004). He leads projects funded by VR (SEFROS, ContraST) and Vinnova (AVerT2) and collaborates with industries like Scania on formal verification of C programs. His service roles span over 30 conference committees and organization roles, including PC memberships for iFM, TAP, and ISoLA. Teaching responsibilities include courses such as 'Formal Methods,' 'Program Semantics and Analysis,' and 'Knowledge in Games with Imperfect Information.' His work emphasizes practical applications of formal methods, bridging academic research with industry needs through collaborations and tool development (e.g., CVPP, ProMoVer, TriCo).

• Biomedical Instrumentation
• Medical Technology
• Clinical Engineering
• +3 more

Jan Olav Høgetveit is an Associate Professor in the Department of Physics at the University of Oslo (UiO), within the Faculty of Mathematics and Natural Sciences. He also serves as Head of Research & Development in the Department of Biomedical and Clinical Engineering at Rikshospitalet, Norway’s national hospital. His work bridges physics and clinical practice, focusing on medical instrumentation. Education: Bachelor of Electronic Engineering (Technical Cybernetics), Oslo University College, 1993 Master of Electronics, University of Oslo (Department of Physics), 1997 Ph.D. in Physics (Technology Applications for Medical Devices), University of Oslo, 2008 Research Interests: Høgetveit specializes in biomedical instrumentation and clinical engineering, particularly in surgical technology and wireless communication impacts on medical devices. His work addresses challenges like real-time physiological monitoring during heart-lung machine use, non-invasive blood glucose detection, and bioimpedance-based viability assessment of organs. He emphasizes interdisciplinary collaboration between engineering and medicine to enhance patient safety and surgical outcomes. Scientific Contributions: His research trends span bioimpedance applications in ischemia/reperfusion injury, machine learning for surgical decision support, and electrosurgery safety. He has explored ventilator optimization during pandemics and implant-related thermal risks. Contributions highlight both hardware development (e.g., optically isolated current sources) and software innovations (e.g., neural networks for viability prediction). Awards: No scientific awards explicitly mentioned in the text. Advising & Grants: Høgetveit received a 1998–2001 research council scholarship. As Head of R&D since 2001, he oversees translational projects. No formal advisees/students listed, though he collaborates extensively with teams on device development and clinical trials. Labs & Teams: Affiliated with UiO’s Department of Physics and Rikshospitalet’s Biomedical and Clinical Engineering department. Active in the Electronics research group at UiO. Engages with multidisciplinary teams addressing surgical instrumentation and physiological monitoring challenges.

Ehud SharlinView profile

Professor

• Human-robot interaction
• Tangible user interfaces
• Virtual reality
• +4 more

Ehud Sharlin is a Professor in the Department of Computer Science at the University of Calgary, Faculty of Science. His research focuses on Human-Computer Interaction (HCI) with specializations in human-robot interaction, tangible interfaces, virtual/augmented reality, and autonomous vehicle interactions. He holds a Ph.D. in Computing Science from the University of Alberta (2003), and M.Sc. and B.Sc. degrees in Electrical and Computer Engineering from Ben-Gurion University of the Negev (1997 and 1990). Teaches CPSC 481: Human-Computer Interaction I Recipient of the NSERC Discovery Accelerator Award (2019), ACM Creativity & Cognition Honourable Mention (2018), and multiple academic excellence awards Active in industry collaborations, particularly in medical simulation (e.g., VRSpineSim) and geosciences (e.g., PLANWELL) Research explores: Embodied interaction through robotics and wearables Autonomous vehicle-pedestrian communication systems Immersive tools for creative and professional domains Accessibility in human-technology interfaces Publications span over 100 peer-reviewed works, emphasizing design methodologies, user experience in XR systems, and ethical considerations in sociotechnical systems. His work bridges technical innovation with human-centered design principles.

Ina SarcevicView profile

Professor

• Astrophysics
• Cosmology
• High Energy Physics
• +5 more

Ina Sarcevic is a Professor of Physics and Astronomy at the University of Arizona, holding the title of Primary Faculty. Her research focuses on particle astrophysics, dark matter, neutrinos, and collider physics. She has made significant contributions to the DUNE (Deep Underground Neutrino Experiment) collaboration, leading efforts in detector design, software development, and theoretical modeling. Her work bridges experimental and theoretical particle physics, addressing fundamental questions in astrophysics and cosmology. Education: Ph.D. in Physics from the University of Minnesota (1986), B.S. in Physics from the University of Sarajevo (1981), with notable fellowships including the Humboldt Fellowship (1989-1991) and a Doctoral Dissertation Fellowship (1985-1986). Research Interests: Dark matter detection via neutrinos, neutrino interactions at extreme energies, and the role of particle physics in cosmological phenomena. She explores theoretical frameworks for secret interactions of sterile neutrinos and their implications for the diffuse supernova neutrino background. Her work on detector technology for DUNE includes optimizing liquid argon time-projection chambers (TPCs) and developing algorithms for neutrino interaction reconstruction. Selected Honors: 2006 Fellow of the American Physical Society, recipient of the British Council Fellowship for Young Scientists (1980-1981), and Summa cum laude distinction at the University of Sarajevo. Grants and Collaborations: Principal investigator in DUNE-related projects, including detector design, software computing, and data analysis. Involved in international collaborations such as the LHC’s Forward Physics Facility and ProtoDUNE beam tests at CERN. Labs/Teams: Active member of the DUNE Collaboration, focusing on neutrino oscillation physics, supernova neutrino detection, and dark matter signatures in neutrino telescopes. Her group collaborates on developing advanced machine learning techniques for particle identification in large-scale detectors.

• Artificial Intelligence
• Natural Language Processing
• Computational Semantics
• +5 more

Luis Espinosa-Anke is a Senior Lecturer at Cardiff University's School of Computer Science and Informatics. His academic journey includes working as a Natural Language Processing (NLP) scientist at Savana Médica, a Madrid-based healthcare AI company, prior to joining Cardiff. He completed his PhD at Pompeu Fabra University in Barcelona while working at Savana. Dr. Espinosa-Anke's research focuses on Artificial Intelligence and NLP, with particular emphasis on meaning representation, computational semantics, multilingual NLP, and computational lexicography. His work spans theoretical and applied aspects of language technology, with applications in healthcare, social media analysis, and multilingual systems. His recent publications reveal a strong trend toward analyzing language model behavior, bias detection in AI systems, and creating resources for semantic analysis. The publications show increasing focus on practical applications of NLP in healthcare, social media, and cross-lingual settings, with notable contributions to datasets like WIKITIDE and 3D-EX that support definition extraction and semantic understanding. laCaixa Fellow Fulbright scholarship recipient Erasmus Mundus program participant Dr. Espinosa-Anke has secured research funding including a Kaggle Open Research grant ($2,000 USD) as PI for the 'Don't Patronize Me!' project, a Snap Inc. grant ($10,000 USD) as CO-I for modeling meaning shift in social media, and a £90,000 Welsh Government grant for English-Welsh bilingual embeddings research. He currently supervises five PhD students working on meaning representations, contextual word embeddings, NLP for healthcare applications, and metaphor identification.

Peter ChinView profile

Professor

• Machine Learning
• Artificial Intelligence
• Differential Geometry
• +8 more

Professor Peter Chin is a Professor of Engineering at Dartmouth College and Director of the Learning, Intelligence + Signal Processing (LISP) Lab. He holds affiliations with the Thayer School of Engineering and serves as Associate Editor of IEEE Transactions on Computational Social Systems. His research bridges signal processing, machine learning, game theory, and differential geometry, with applications in cybersecurity, healthcare, and network analysis. Education: Bachelor of Science in Electrical Engineering, Computer Science, and Mathematics from Duke University (1993) Doctor of Philosophy in Mathematics from MIT (1998) Research Interests: Chin’s work focuses on fundamental questions at the intersection of machine learning, game theory, and signal processing. His lab explores topics like adversarial defense mechanisms, topological machine learning, and computational neuroscience. Recent projects include cybersecurity resilience modeling, medical imaging enhancements via GANs, and multi-agent reinforcement learning frameworks. Publications Trends: His most recent articles address cutting-edge challenges in cybersecurity (e.g., autonomous defense systems), medical AI (e.g., Alzheimer’s classification), and adversarial robustness. A notable 2025 focus is on quantitative resilience modeling for cyber defense, reflecting growing demand for AI-driven security solutions. Awards: Faculty Scholar Award, Duke University George Sherred III Award, Duke University Julia Dale Memorial Award, Duke University Grants & Leadership: Recipient of DARPA cybersecurity research grants Co-chair for SPIE/DSS Cyber Sensing Conference (2013–2020) Developed novel compressive sensing microscope for biological imaging LISP Lab: This interdisciplinary lab pioneers projects like nFlip (multiplayer security game models) and topological machine learning frameworks, emphasizing practical applications of theoretical advancements.

Peter BishopView profile

Professor

• Software Reliability
• Software Fault Tolerance
• Design Diversity
• +10 more

Peter Bishop is a Professor at the Centre for Software Reliability, City St George's, University of London, where he holds a joint chair in Systems and Software Dependability with Robin Bloomfield. He is also Chief Scientist at Adelard, part of NCC Group, providing consultancy and research in computer safety and dependability. He holds BSc and MSc degrees in Physics and is a Chartered Engineer and Member of the IET. University: City St George's, University of London School: College of Engineering, Design and Physical Sciences Department: Centre for Software Reliability Academic Rank: Professor Email: p.bishop@citystgeorges.ac.uk Research Interests: Peter Bishop's research spans software fault tolerance, design diversity, software reliability prediction, statistical testing, system safety and security, assurance case methodologies, and their application in industrial contexts including autonomous vehicles and nuclear systems. He has led research for the UK nuclear industry on smart device assessment and participated in European projects on critical control system safety. Publication Trends: His recent publications focus on conservative confidence bounds for software reliability, safety assurance under uncertainty, integration of testing and formal proof, and security-informed safety. A recurring theme is the development of rigorous, evidence-based methods to justify software dependability in safety-critical domains, particularly where operational and test profiles differ or failure data is scarce. Scientific Awards and Recognition: While specific awards are not listed, his long-standing contributions are evident through his professorship, leadership at Adelard, and active role in safety-critical research. He is a Chartered Engineer and Member of the IET. Advising and Grants: Although specific students are not named, his leadership in major research projects such as DISPO and DIRC (2000–2006) indicates significant supervisory and mentoring roles. He has secured funding from sources including the Leverhulme Trust (UnCoDe project) and a consortium of nuclear industry stakeholders (EDF Energy, NDA, AWE, etc.) under the CINIF Nuclear Research Programme. Labs and Research Teams: He is a key member of the Centre for Software Reliability at City St George's and leads research activities at Adelard. He collaborates extensively with Robin Bloomfield, Lorenzo Strigini, Bev Littlewood, and others on software dependability and safety assurance research.