Find Academic Supervisors

Eric FrewView profile

Professor

• Autonomous Systems
• Robotics
• Unmanned Aircraft Systems
• +3 more

Eric Frew is a Professor in the Department of Aerospace Engineering Sciences at the University of Colorado Boulder. He holds leadership roles including Director of the Autonomous Systems Interdisciplinary Research Theme (ASIRT) and former Director of the Research and Engineering Center for Unmanned Vehicles (RECUV). His research focuses on autonomous systems, heterogeneous unmanned aircraft systems, and optimal distributed sensing. He earned his PhD from Stanford University in 2003, and has been a faculty member at CU Boulder since 2004. Education: PhD, Aeronautics and Astronautics, Stanford University, 2003 MS, Aeronautics and Astronautics, Stanford University, 1996 BS, Mechanical Engineering, Cornell University, 1995 Research Interests: Networked unmanned systems Optimal distributed sensing Controlled mobility in sensor networks Miniature self-deploying systems Guidance and control of unmanned aircraft in complex atmospheric phenomena Notable Awards: Outstanding Mentor Award (2023) AIAA Associate Fellow (2013) NSF CAREER Award (2009) Grants and Labs: Leads the Center for Autonomous Air Mobility and Sensing (CAAMS), and has conducted field campaigns such as TORUS (Targeted Observation by Radars and UAS of Supercells). His work integrates theoretical research with practical deployment of autonomous systems for environmental monitoring and severe weather studies. Labs/Teams: Active in CAAMS and RECUV, collaborating with industry/government on pre-competitive research in autonomous air mobility and sensing.

• Communication Systems
• Radio Resource Management
• Massive Machine Type Communications (mMTC)
• +4 more

Dr. Wenjuan Yu is a Lecturer at the School of Computing and Communications (SCC), InfoLab21, Lancaster University, UK. She holds a PhD in Communication Systems from Lancaster University and has held prior roles, including Research Fellow at the 5G Innovation Centre (5GIC), University of Surrey (2018–2020), and part-time Research Officer at the University of Essex (2017–2018). She is a Fellow of the Higher Education Academy and a Senior Member of IEEE. Her research focuses on communication systems, with emphasis on radio resource management, mMTC, low-latency communications, B5G/6G, MEC, and machine learning. She actively contributes to IEEE conferences as a Technical Program Committee (TPC) member and holds editorial roles, including Executive Editor for Transactions on Emerging Telecommunications Technologies (2019–2022). Current teaching includes CNSCC141 Professionalism in Practice and CNSCC365 Advanced Networking . Dr. Yu supervises PhD students in EE/CS, particularly welcoming applicants from China via CSC scholarships. Her projects include DSI-funded initiatives on sustainable AI-driven resource allocation for 6G and Smart Multi-RAT Traffic Steering for V2X systems. She leads research groups in Security Lancaster (Networks, Systems, Distributed Systems).

• Cyber-Physical Systems
• System Safety Assurance
• Model-Based Engineering
• +2 more

Sohag Kabir is an Associate Professor in the School of Computer Science, Artificial Intelligence, and Electronics at the University of Bradford. He leads the MSc Big Data Science and Technology, MSc Artificial Intelligence and Machine Learning, and MSc Applied Computer Science and Artificial Intelligence programs. He holds a Ph.D. in Computer Science from the University of Hull (2016), an M.Sc. in Embedded Systems, and a B.Sc. in Computer Science and Engineering. Dr. Kabir's research focuses on safety, reliability, and security assurance of cyber-physical autonomous systems. His work includes model-based safety analysis, probabilistic risk assessment, dynamic reliability analysis, and stochastic modeling. Current projects address IoT security, machine learning certification for automotive systems, and dependability frameworks for complex systems. His publications demonstrate consistent focus on developing integrated frameworks for system dependability, with recent work emphasizing IoT security, autonomous vehicle safety, and AI certification challenges. Dr. Kabir has contributed to multiple EU-funded projects including DEIS (Dependability Engineering Innovation for Cyber-Physical Systems) and MAENAD (Model-based Analysis & Engineering of Novel Architectures for Dependable Electric Vehicles).

Md Noor-A-RahimView profile

Assistant Professor

• Intelligent Transportation Systems
• Machine Learning
• Internet of Things
• +4 more

Dr. Md Noor-A-Rahim is an Assistant Professor (Lecturer-Above the Bar) at the School of Computer Science and Information Technology, University College Cork (Ireland). He previously served as a Senior Researcher and Marie Curie Fellow at the same institution. His academic journey includes a PhD from the University of South Australia (2015) and the prestigious Michael Miller Medal for his outstanding thesis on wireless communication systems. His research focuses on Intelligent Transportation Systems, Machine Learning, IoT, Wireless Networks, and DNA-based data storage. He has published extensively on topics like 6G-V2X systems, time-sensitive networking, and error characterization in DNA storage. His work integrates cutting-edge technologies such as intelligent reflecting surfaces (IRS), federated learning, and ultra-reliable low-latency communication (URLLC). Research Interests : Dr. Rahim's research bridges theoretical advancements and real-world applications in vehicular networks, smart manufacturing, and next-generation communication systems. He explores challenges in autonomous driving, edge computing, and bio-constrained data storage. His contributions include novel coding schemes for anytime transmission and frameworks for mitigating big vehicle shadowing in V2X communications. Key Publications : His recent work includes a comprehensive survey on wireless TSN (2025), analysis of 6G-V2X systems (2022), and breakthrough studies on DNA data storage error modeling (2023). These publications highlight his expertise in both foundational research and industry-relevant solutions. Awards : Recipient of the Michael Miller Medal (2015) for doctoral research excellence. Grants & Labs : While specific grants are not listed in the text, his research portfolio suggests involvement in collaborative projects with industry partners and funding bodies. He leads interdisciplinary efforts in smart manufacturing and vehicular communication systems.

Anil Ufuk BatmazView profile

Assistant Professor

• Virtual Reality
• Augmented Reality
• Human-Computer Interaction
• +3 more

Dr. Anil Ufuk Batmaz is an Assistant Professor in the Department of Computer Science and Software Engineering at Concordia University. His research focuses on Virtual Reality (VR), Augmented Reality (AR), and Human-Computer Interaction, with emphasis on interaction techniques, immersive analytics, and motor skill training systems. He holds a BSc in Electrical and Electronics Engineering (2007-2011), an MSc in the same field (2011-2013), and a PhD in Biomedical Engineering (2015-2018). His work bridges engineering and cognitive science, investigating how visual and haptic feedback impact user performance in immersive environments. Research interests include: 3D interaction techniques for mid-air tasks Effects of display technologies on motor coordination Hybrid UI design for mixed reality systems Training systems for precision tasks using VR Recent publications emphasize evaluation of AR/VR interfaces in healthcare, sports training, and collaborative environments. His work has appeared in venues like IEEE TVCG, ACM CHI, and ISMAR, addressing challenges in spatial navigation, error feedback, and system reliability.

Luca SterponeView profile

Professor

• Reconfigurable computing
• Computer-aided design algorithms
• Fault tolerance and reliability
• +7 more

Luca Sterpone is a Full Professor at the Department of Control and Computer Science (DAUIN), Politecnico di Torino. He serves as Head of the Control and Computer Engineering Department (2023-2027), coordinates the Aerospace and Safety Computing Lab, and is a member of the Academic Senate and Power Electronics Innovation Center (PEIC). His research spans reconfigurable computing, fault tolerance, and radiation effects analysis in electronic systems. Professor since 2021 Department Head (DAUIN) since 2023 Coordinates international collaborations with ESA, AMD Xilinx, NVIDIA, and Thales Alenia Space Develops radiation-hardened FPGA tools (SETA, VERI-Place, PyXEL) 2007 EDAA Outstanding Dissertation Award and 2005 IEEE Best Paper Award Research Focus : Designing radiation-tolerant systems for aerospace, including fault-tolerant AI accelerators, FPGA reliability, and software-based error mitigation. He investigates soft error propagation in nanoscale circuits and develops tools for radiation sensitivity analysis in VLSI. His work integrates hardware-software co-design for mission-critical applications. Awards : EDAA Outstanding Dissertation Award (2007) IEEE European Test Symposium Best Paper (2005) SMACD Best EDA Tool Award (2018) ARC Best Paper candidate (2018) Teaching : He leads courses in Reconfigurable Computing (PhD level), GPU Programming , and Operating Systems . He has formal responsibility for teaching roles across 9 bachelor's and 7 master's years, and mentors multiple PhD students. Collaborations : Coordinates with the European Space Agency (ESA), University of Bielefeld, Universidad de Sevilla, and industrial partners like AMD Xilinx, NVIDIA, and General Motors. He leads projects such as RESCHIP4EU, VEGAS, and TERRAC for radiation-hardened computing solutions.

• Software Engineering
• Artificial Intelligence
• Machine Learning
• +7 more

Maxime CORDY is a Research Scientist at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) , University of Luxembourg, within the Security, Design and Validation group (SerVal) . He holds a PhD from the University of Namur (Belgium, 2014) and specializes in software engineering, applied artificial intelligence, and cybersecurity. His work focuses on adversarial machine learning, deep learning robustness, and model checking for critical systems. Research interests include adversarial attacks on tabular data , energy system optimization , code understanding models , and software quality assurance . Recent projects address challenges in secure AI deployment, automated test generation, and fault detection in large language models. Publications emphasize empirical studies on adversarial defenses, data augmentation for code models, and energy consumption forecasting. He contributes to tools like Daedalux (variability-aware model checking) and benchmarks like Tabularbench for adversarial robustness evaluation. Current affiliations include leadership within the SerVal group and collaborations on interdisciplinary projects such as MALETSQUE (Machine Learning Techniques for Software Quality Evaluation). His work bridges theoretical computer science with practical applications in energy systems, medical imaging, and space program design.

• Ancillary Services
• Operation of Electric Power Systems
• Planning of Electric Power Systems
• +5 more

David Soler Soneira is a Professor in the Department of Electrical Engineering and Systems at the School of Engineering (ICAI) of Comillas Pontifical University, where he has been teaching since 1994. He is also a Visiting Researcher at the Institute for Research in Technology (IIT), focusing on electric power systems. His academic and professional work is deeply rooted in the technical and economic aspects of modern power systems. Research Interests: His primary research areas include ancillary services, operation and planning of electric power systems, and electricity market economics. He specializes in voltage control, reactive power management, and regulatory models for grid services. His work bridges engineering and market design, contributing to the efficient and stable operation of power networks. Publications and Research Trends: His most recent publications, primarily in IEEE journals, focus on voltage regulation, secondary reserve markets, and reactive power markets. These works emphasize market mechanisms, economic valuation, and operational strategies for ancillary services in competitive electricity environments. His research consistently addresses real-world challenges faced by transmission and distribution operators. Scientific Awards: Director of prizewinning work in Honorary Distinction to the best Doctoral Thesis on Engineering «Modelo regulatorio del control de tensiones en los sistemas eléctricos de potencia» by Pablo Frías Marín, Universidad Pontificia Comillas, Jan 2009 Advising and Grants: He has supervised at least one doctoral thesis and has led or participated in numerous research and consulting projects funded by major energy companies such as Iberdrola, Unión Fenosa, Duro Felguera Energía, and REE (Red Eléctrica de España). These projects have focused on voltage control strategies, automation of power plants, and regulatory modeling. Labs and Teams: He is affiliated with the Institute for Research in Technology (IIT), a leading research center in energy systems at Comillas Pontifical University, where he contributes to advanced research in power systems and energy policy.

Helena Cooper-ThomasView profile

Professor

• Organizational Behavior
• Industrial and Organizational Psychology
• Workplace Wellbeing
• +7 more

Professor Helena Cooper-Thomas is a faculty member at Auckland University of Technology (AUT), holding the position of Professor of Organizational Behavior in the AUT Business School. She also holds honorary positions at the University of Auckland and the University of Waikato, reflecting her broad academic influence in Aotearoa New Zealand. Her research and teaching focus on organizational behavior, with an emphasis on employee development and workplace relationships. Her research interests include: New employee adjustment and organizational socialization Proactive behavior and work engagement Workplace wellbeing and quality of working life Workplace friendships and person-organisation fit Quantitative and qualitative research methods Professor Cooper-Thomas's recent publications explore themes such as workplace gossip, psychological contracts, job crafting, and sustainability in organizations. Her work often investigates the social dynamics of onboarding, the role of leadership in psychological safety, and the impact of environmental practices on employee wellbeing. She employs both empirical and methodological approaches, contributing to both theoretical and practical understanding in organizational psychology. She has received scientific recognition including: Best Paper Award, Group & Organization Management (2024) Best Paper selected by the Careers Division of the Academy of Management (2023) Professor Cooper-Thomas is actively involved in mentoring and supervising graduate students at both Master’s and PhD levels, with recent projects covering topics such as broken psychological contracts, psychological safety for racial minorities, and menopause in the workplace. She contributes significantly to academic service as a Representative-at-Large for the Academy of Management’s Organizational Behavior Division (2022–2025) and as a member of the Royal Society Te Apārangi Marsden Panel for Economics and Human Behaviour (2022–2024). She also serves on editorial boards for the Journal of Business and Psychology and Journal of Managerial Psychology, and regularly reviews for top journals and grant agencies. Her outreach includes public engagement through articles in The Conversation and NZ Management magazine, translating research into practical leadership insights. She has collaborated with institutions across Europe, North America, and Asia, and has been a visiting scholar at the University of Toronto, Cass Business School, Tilburg University, and Exeter Business School. She co-organizes the annual Aotearoa New Zealand Organisational Psychology and Organisational Behaviour Conference, fostering scholarly exchange nationally.

• Automated reasoning
• Formal methods
• Autonomous systems
• +5 more

Zhe Hou is a Senior Lecturer at the School of Information and Communication Technology , Griffith University, Australia. His academic journey includes a PhD in automated reasoning for separation logic from the Australian National University (2015) and prior research roles at Nanyang Technological University, Singapore (2015-2017). He joined Griffith University in 2017 and became permanent faculty in late 2019. Research Interests : Formal methods for software verification Automated reasoning with logical frameworks Blockchain technology and security Quantum computing verification Integration of LLMs with rigorous reasoning Sports analytics via model checking Recent Publications demonstrate expertise in neural-symbolic reasoning, blockchain security, quantum SAT solvers, and runtime verification frameworks. His work combines formal logic with machine learning for applications in cybersecurity and AI trustworthiness. Scientific Awards : ACM SIGSOFT Distinguished Paper Award (2025) Supervision Roles : Principal/Associate Supervisor for 6+ doctoral projects in blockchain security, AI verification, and network security. Professional Activities : Editor for Springer-Nature and Formal Aspects of Computing special issues, conference chair for ICFEM, ICECCS, and ISACE symposia.

Nickolaos KoroniotisView profile

Senior Lecturer

• Cybersecurity
• Artificial Intelligence
• Internet of Things
• +4 more

Dr Nickolaos Koroniotis is a Senior Lecturer at the School of Professional Studies, University of New South Wales (UNSW) Canberra, focusing on cybersecurity, artificial intelligence, and Internet of Things (IoT) research. His work bridges network forensics with deep learning, particularly in smart environments like airports and battlefield systems. BSc in Informatics and Telematics (2014) MSc in Web Engineering and Applications (2016) PhD in Cybersecurity (2020) His research emphasizes network-based attack detection and deep learning-driven vulnerability assessment for IoT security. Key areas include smart airports , Internet of Battlefield Things , and federated learning for digital forensics. His recent articles (2025-2019) highlight trends in AI-powered IoT security , federated learning frameworks , and explainable intrusion detection . Topics span from smart environment defense to generative AI for vulnerability discovery. Email: n.koroniotis@unsw.edu.au

• Formal Methods
• Software Verification
• Concurrent Systems
• +6 more

Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), where he leads the Henzinger Thomas Group focused on improving software reliability through mathematical methods. He previously served as ISTA's President (2009–2022) and held academic positions at EPFL, Max Planck Institute, UC Berkeley, and Cornell University. Education: Dipl.-Ing. in Computer Science (Johannes Kepler University, Austria), M.S. in Computer and Information Sciences (University of Delaware), PhD in Computer Science (Stanford University), and Honorary Doctorates from Fourier University (France) and Masaryk University (Czech Republic). The group's research spans concurrent systems , embedded systems , quantitative model checking , runtime monitoring , and trustworthy AI . They develop tools like HyTech and VAMOS, emphasizing predictability, robustness, and fairness in safety-critical software. Recent publications highlight trends in quantitative automata , fairness in AI , quantum algorithms , and automata theory , reflecting interdisciplinary applications from cyber-physical systems to neural networks. Collaborative projects include SPyCoDe (security foundations) and VAMOS (software monitoring). Honors & Awards: 2024 Fellow of the Royal Society 2020 Member, US National Academy of Sciences 2015 Royal Society Milner Award 2012 Wittgenstein Award 2006 ACM and IEEE Fellow 1995 NSF CAREER and ONR Young Investigator Awards Henzinger advises current and former PhD students including Mahyar Karimi, Pavol Kebis, and Mathias Lechner. His grants include ERC Advanced Grants (QUAREM, VAMOS) and FWF funding (Wittgenstein Award, NFN RISE). Labs & Teams: He leads the Henzinger Thomas Group at ISTA, collaborating with FORSYTE (TU Wien) and contributing to EU-funded initiatives. The group integrates postdocs, PhD students, and interns in formal methods and system verification.

Chris F. KemererView profile

Professor

• Management of Information Systems
• Software Engineering
• Measurement and Modeling
• +2 more

Chris F. Kemerer is the David M. Roderick Professor of Information Systems and Professor of Business Administration at the University of Pittsburgh's Katz School. He previously served as an associate professor at MIT Sloan School of Management and as a principal at American Management Systems Inc. PhD in Systems Sciences (Information Systems), Carnegie Mellon University BS (magna cum laude) in Economics and Decision Sciences, Wharton School, University of Pennsylvania His research spans management and measurement issues in information systems and software engineering, including technical debt, software metrics, network effects, and technology adoption. He has made significant contributions to software design metrics and empirical analysis of IT markets. His publications over the last 15 years emphasize technical debt management, software reliability, standards competition, and economic dynamics in microcomputer software. These works bridge software engineering economics with real-world applications in enterprise systems and global markets. ISI/Thomson Reuters Highly Cited Researcher in Computer Science INFORMS Information Systems Society Distinguished Fellow He has secured grants from the National Science Foundation and IBM for software evolution research. His consulting includes expert testimony in landmark cases like Microsoft antitrust litigation and Oracle v. Google. He has taught courses in economics of information systems, software design, and technology diffusion at the PhD, Executive DBA, MBA, and EMBA levels.

Shad RoundyView profile

Associate Professor

• Energy Harvesting
• Wireless Power Transfer
• MEMS
• +5 more

Shad Roundy is an Associate Professor at the University of Utah , holding dual appointments in the Department of Mechanical Engineering and Department of Electrical and Computer Engineering within the College of Engineering . He directs the Integrated Self-Powered Sensing Lab , focusing on energy harvesting, wireless power transfer, and ubiquitous sensing systems. PhD in Mechanical Engineering, University of California, Berkeley (2003) Senior Lecturer, Australian National University (postdoctoral) His research bridges mechanical design , smart materials , and sensor networks , with significant contributions to: Self-powered biomedical implants Wearable health-monitoring devices Underground agricultural sensor networks MEMS sensor development His 15 most recent publications demonstrate interdisciplinary work spanning wireless power transfer for soil sensors, flexoelectric materials, and disease severity assessment via wearables. Articles emphasize energy efficiency , novel transducer designs , and environmental sensor applications . Scientific recognition includes: NSF CAREER Award for magnetoelectric implant powering Associate Editor, Smart Materials and Structures and International Journal of Precision Engineering and Manufacturing-Green Technology Research funded by National Science Foundation , NASA , and industry partners through the ASSIST Engineering Research Center . Publications highlight collaborations across biomedical, agricultural, and wearable technology domains.

Ridha KhedriView profile

Professor

• Cybersecurity
• Formal Methods in Software Engineering
• Information Security Ontology
• +6 more

Ridha Khedri is a Professor in the Department of Computing and Software at McMaster University . His research spans formal methods in software engineering, cybersecurity, information security ontology, network segmentation, and covert channels analysis. Full Professor since 2000 Contact: khedri@mcmaster.ca Research Interests : Prof. Khedri develops algebraic frameworks for software security, with recent work on network segmentation , ontology engineering , and covert channel detection . His interdisciplinary efforts include hybrid machine learning-ontology models for environmental predictions (e.g., river ice breakup) and digital twin healthcare systems . Article Trends : His 15 most recent works (2016-2025) focus on network security , knowledge representation , and formal verification . Notable trends include automated security testing , ontology modularization , and multi-context reasoning systems . Teaching : He has taught courses like Software Design (CAS 703), Discrete Mathematics (SFWRENG 2DM3), and Algebraic Methods in Software Engineering (CAS 738) since 2017.