Find Academic Supervisors

José Luiz FiadeiroView profile

Professor

• Formal Methods
• Software Engineering
• Global Computing
• +2 more

José Luiz Fiadeiro is a Professor at Royal Holloway, University of London , affiliated with the Centre for Distributed and Global Computing. He previously held positions at the University of Leicester (including Head of Department), University of Lisbon, and Technical University of Lisbon. He has conducted visiting research at Imperial College London, King’s College London, PUC-Rio, University of Pisa, SRI International, UPC Barcelona, and NASA Ames. Research Interests: Formal aspects of software system modeling and analysis in global ubiquitous computing, with emphasis on distributed systems, formal verification methods, and service-oriented architectures. His work integrates theoretical computer science with practical software engineering challenges. Editorial & Leadership: Associate Editor: SN Computer Science Board Member: Information Processing Letters, EPTCS Steering Committee: CALCO (co-founder), ETAPS, FASE, WADT, WS-FM Scientific Board: INESC-TEC (Portugal) Awards & Honors: Elected Member, Academia Europaea Fellow, British Computer Society Grants & Projects: Leverhulme Trust Visiting Professorship (2018) Semantic Completions: Unifying Wave/Particle Information Views (AFOSR, 2016) Modeling and Analysis of Dynamic Interaction Networks (Royal Society, 2013–2015) Verification of Service-Oriented Systems (EPSRC, 2012) Professional Service: Extensive panel membership for research assessment in Portugal, Romania, Belgium (AEQES), France (AERES), and Lithuania (SKVC).

Baishakhi RayView profile

Associate Professor

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

Baishakhi Ray is an Associate Professor at Columbia University, specializing in improving software reliability and developers' productivity for both traditional and AI-driven systems. She leads the ARiSE Lab, focusing on interdisciplinary research at the intersection of software engineering and artificial intelligence. Her research interests include software testing for AI systems, adversarial robustness, automated testing of autonomous systems, and leveraging AI techniques such as neural networks for dynamic analysis and fuzzing. Notable projects include DeepTest for autonomous car testing and NEUZZ for efficient fuzzing. Awards: VMware Early Career Faculty Award (2020), IBM Faculty Award (2019), NSF CAREER Award (2019), and multiple best paper awards including EAPLS FASE (2020) and ACM Distinguished Papers (FSE 2017, MSR 2017). Grants: NSF CAREER grant (2019-2024) for deep learning testing, NSF grants for workshops and security bug detection, and collaborative grants on persistent memory and SSL/TLS implementations. Her recent work emphasizes advancing code generation with large language models (LLMs), evaluating model robustness under data contamination, and developing tools like CodeSense and CrashFixer for code semantics and kernel debugging. The ARiSE Lab also explores causal performance debugging and transfer learning for configurable systems.

• Software Engineering
• Industrial Automation
• Cloud Computing
• +7 more

David Hästbacka is an Associate Professor (tenure track) at the Department of Computing Sciences, Faculty of Information Technology and Communication Sciences at Tampere University. His research focuses on software engineering, industrial automation, and energy systems, emphasizing system architecture, interoperability frameworks, and dependable IoT solutions. He leads a research group exploring edge and cloud computing, semantic integration, and smart energy systems. Education & Professional Background : While specific educational details are not provided, his academic career includes roles such as Postdoctoral Researcher in the SEMIS project (2017-2020) and extensive involvement in EU-funded initiatives like COCOP (EU H2020) and Horizon Europe projects. Research Projects : Active in high-impact projects like Hedge-IoT (Horizon Europe, 2024-2027), TwinfFlow (Business Finland), and TRINEFLEX (Horizon Europe), with a focus on industrial automation, distributed systems, and energy grids. Past projects include FEMMa (Business Finland), DisMa (Academy of Finland), and Arrowhead (ECSEL). Teaching & Supervision : Specializes in Web/Cloud architectures, IoT systems, and dependable automation technologies. Supervises students in topics like edge computing frameworks and MLOps pipelines. Technical Contributions : Develops frameworks for industrial interoperability (e.g., OPC UA PubSub integration), edge-cloud toolchains, and MLOps methodologies. His work addresses challenges in microservices, Kubernetes distributions, and semantic data integration. Labs & Teams : Leads a research group advancing automation technologies through interdisciplinary collaboration, with partnerships in industry and academia to bridge theory and practice in smart systems.

Joseph Alejandro Gallego MejiaView profile

Academic

• Artificial Intelligence
• Machine Learning
• Computer Vision
• +12 more

Joseph Alejandro Gallego Mejia is an Assistant Teaching Professor in the Department of Computer Science at Drexel University's College of Computing and Informatics. He holds a PhD with meritorious distinction in Systems and Computing Engineering from the National University of Colombia, along with a Master’s and dual Bachelor’s degrees in Systems and Computing Engineering and Industrial Engineering. PhD in Systems and Computing Engineering, National University of Colombia (Meritorious Distinction) Master of Systems and Computing Engineering, National University of Colombia Bachelor of Engineering in Systems and Computing Engineering, National University of Colombia Bachelor of Engineering in Industrial Engineering, National University of Colombia His research focuses on artificial intelligence, machine learning, computer vision, quantum machine learning, natural language processing, and cybersecurity. He explores robustness estimation, anomaly detection, incremental learning, and scalable software architectures for AI systems. His work bridges theoretical foundations and practical applications in health, remote sensing, and edge computing. The recent publications reflect a strong trend in interdisciplinary AI research, combining machine learning with quantum computing, cybersecurity, and natural language understanding. His work spans domains such as satellite imagery analysis, medical diagnostics, IoT security, and conversational AI, demonstrating a commitment to scalable and robust intelligent systems. Keywords across publications include Computer Science, Machine Learning, Quantum Computing, and Cybersecurity, with subfields ranging from adversarial robustness to hybrid quantum-classical models. Scientific distinctions include: PhD with meritorious distinction, National University of Colombia Postdoctoral fellow, Frontier Development Lab (Trillium), supported by NASA and ESA He has served as a reviewer for top-tier journals and conferences including Neurocomputing, IEEE Access, Radioscience, NeurIPS, and NLDL. Though no formal grants are listed, his postdoc was funded by NASA and ESA, indicating significant external support. He teaches courses in programming, data science, machine learning, deep learning, NLP, and software engineering. He founded the tech company Sammu and mentors students through instruction and research supervision. He is actively involved in research and teaching, contributing to innovative programs in AI and computing education. His lab and team affiliations are not explicitly stated, but his work suggests collaboration with AI, quantum computing, and cybersecurity research groups.

• Machine Learning
• Deep Learning
• Anomaly Detection
• +5 more

Peter Karsmakers serves as Associate Professor at KU Leuven's Department of Computer Science within the Faculty of Engineering Technology, based at the Geel Campus. He coordinates the Declarative Languages and Artificial Intelligence (DTAI) research group and holds leadership roles including coordinator of Research and Education for Computer Science across Geel and Diepenbeek Campuses. Karsmakers earned his PhD in Engineering Science in May 2010, focusing on kernel-based learning algorithms for sparse modeling and efficient predictions from large datasets. His doctoral work established foundations for his current research trajectory in resource-constrained machine learning systems. His research integrates machine learning with signal processing for real-time sensor data interpretation, specializing in anomaly detection from acoustic, radar, and accelerometer signals on embedded devices. Current projects address industrial condition monitoring, elderly care systems, and livestock facility monitoring through three main tracks: acoustic monitoring (e.g., SINS, WATCHDOG), radar-based systems (e.g., FARADAY, NextPerception), and smart electronics for power converters. Recent publications demonstrate strong trends in constraint-guided deep learning architectures for industrial applications, cross-environment robustness in sensor systems, and domain-knowledge integration to reduce data requirements. His work consistently bridges theoretical machine learning with practical implementations in resource-constrained environments. No scientific awards or fellowships were mentioned in the provided materials. Karsmakers supervises over 10 master's theses annually and coordinates a research team of 10 PhD students and a post-doc within DTAI-ADVISE. He has secured approximately 2.3 million euros in funding through VLAIO, EU-ECSEL, and bilateral industry contracts, including 10 active projects such as AutoEdgeML (2024-2028) and Fault Tolerant Neural Networks for Space Applications (2024-2027). He leads the DTAI-ADVISE research group focused on developing software that attaches semantics to sensor data on resource-constrained devices. The team operates across multiple campuses with specialized labs for acoustic monitoring (Geel), radar-based systems (in collaboration with ESAT-TELEMIC), and smart electronics (with Electrical Engineering department), maintaining strong industry partnerships with companies in healthcare, manufacturing, and agriculture sectors.

• Cybersecurity
• Cyber-Physical Systems
• Industrial Control Systems
• +4 more

Andreas Ekelhart is a Researcher at TU Wien's Department of Information and Software Engineering. His work focuses on cybersecurity, cyber-physical systems, and industrial control systems. He specializes in developing frameworks like SLOGERT for automated log analysis and Kyrstal for attack discovery using knowledge graphs. His research also explores digital twin technology for threat detection and semantic web applications in machine learning systems. Key contributions include the VloGraph framework for distributed security log analysis and the QualSec approach for automated security risk identification in production systems. He collaborates on standards like AutomationML and emphasizes privacy-preserving data analysis through semantic architectures.

• Computational Linguistics
• Computational Semantics
• Natural Language Processing
• +4 more

Katrin Erk is a Professor in both the Linguistics Department and Computer Science Department at the University of Texas at Austin. She is part of the UT Austin NLP and computational linguistics research groups. Her work focuses on computational semantics, particularly exploring word embeddings and contextualized word embeddings to study polysemous words and their meanings in context. She also investigates narrative schemas and their integration with sentence-level meaning representations, often employing logic-based frameworks. Research interests include understanding the nuanced and graded nature of word meanings, how these interact with sentence structures, and the theoretical implications of using distributional models in semantics. She has contributed to advancing methods that bridge formal semantic theories with data-driven approaches derived from large text corpora. Office hours for Fall 2024 are listed, and her contact includes an address at Patton Hall (RLP) and an email. No specific grants or awards are mentioned in the provided text.

• Cartography
• Geospatial Analysis
• Urban Planning
• +4 more

Prof. Liqiu Meng serves as Chair of Cartography and Visual Analytics at the Technical University of Munich (TUM). He specializes in advanced geospatial research, digital cartography, and human-technology collaboration frameworks. Current Faculty at TUM Chair of Cartography and Visual Analytics Research Focus: His work bridges cartographic theory with cutting-edge technology, covering topics like 3D urban modeling, AI ethics visualization, geovisual analytics, and spatiotemporal data interpretation. Urban Morphology Analysis AI Ethics Cartography Geovisual Analytics 3D City Data Integration Location-Based Service Design Publications: Recent works (2025-2024) demonstrate expertise in explainable AI for urban analysis, multi-agent systems for geospatial interaction, and advanced spatial modeling techniques. Contact: liqiu.meng@tum.de | contact.lfk@ed.tum.de

Brett J. BorghettiView profile

Professor

• Artificial Intelligence
• Machine Learning
• Deep Learning
• +12 more

Dr. Brett J. Borghetti is a Professor of Computer Science in the Department of Electrical and Computer Engineering at the Air Force Institute of Technology (AFIT), Graduate School of Engineering and Management, Wright-Patterson AFB, OH. He was promoted to Professor in July 2022, following prior appointments as Associate Professor (2017) and Assistant Professor (2008/2013). His expertise lies in artificial intelligence, machine learning, deep learning, cybersecurity, and human-machine teaming. Education: Ph.D. in Computer Science, University of Minnesota, Twin Cities (2008) M.S. in Computer Systems, Air Force Institute of Technology (1996) B.S. in Electrical Engineering, Worcester Polytechnic Institute (1992) Dr. Borghetti's research focuses on applying machine learning to physical science sensors (hyperspectral, seismic, RF), cybersecurity, and enhancing human-machine team performance. He teaches graduate courses in machine learning, AI, data security, and algorithm design, and advises numerous MS and PhD students in areas such as sensor exploitation, cognitive workload, and cyber situational awareness. His recent publications demonstrate strong trends in deep learning for multimodal sensor fusion, nuclear security, and neuroergonomics. Scientific Awards: AETC Educator of the Year (2021, Civilian) AFIT Ezra Kotcher Teaching Award (2021) AFIT Teaching Excellence Award (2019) AF STEM Outstanding Science and Educator Award (2015) Multiple Eta Kappa Nu Outstanding Instructor Awards Air Force Meritorious Service Medal and other military honors Dr. Borghetti has advised numerous graduate students and led research projects with significant funding and applications in defense and national security. He has directed research in AI-driven sensor analysis, cyber defense systems, and adaptive automation. His work often involves collaboration with national labs and DoD agencies. He has contributed to major research initiatives in human factors, cyber intruder detection, and machine learning for operational environments. Labs and Research Teams: His work is associated with AFIT's research in cyber security, sensor exploitation, and human-machine systems. He collaborates with teams working on the Cyber Intruder Alert Testbed (CIAT), neuroergonomic modeling, and machine learning for defense applications.

Aidong ZhangView profile

Professor

• Machine Learning
• Data Mining
• Bioinformatics
• +3 more

Aidong Zhang is the Thomas M. Linville Professor of Computer Science at the University of Virginia, with joint appointments in Biomedical Engineering and the School of Data Science. Her research focuses on machine learning, interpretable AI, federated learning, and generative AI applications in healthcare and bioinformatics. She holds a Ph.D. in Computer Science from Purdue University. Dr. Zhang has been honored with prestigious awards including the ACM Fellow (2017), IEEE Fellow (2009), and the 2025 Distinguished Researcher Award from UVA. Her work bridges computational methods with biomedical challenges, emphasizing fairness, robustness, and explainability in AI systems. Key research areas include federated learning frameworks, concept-based models, and large language models for scientific hypothesis generation. Dr. Zhang leads a lab offering PhD positions in machine learning, bioinformatics, and health informatics. Notable grants include NSF projects on explainable AI platforms and hardware-software co-design for extreme-scale machine learning. Education: Ph.D., Computer Science, Purdue University Affiliations: School of Engineering and Applied Science, School of Data Science Grants: NSF-funded projects on federated learning, multimodal analysis, and biomedical AI Labs/Teams: Zhang's Research Group focusing on interpretable machine learning and healthcare applications

Michael WeyrichView profile

Professor

• Industrial Automation
• Digital Twins
• Large Language Models (LLMs)
• +7 more

Prof. Michael Weyrich is a faculty member at the Institute of Industrial Automation and Software Engineering (IAS) within the University of Stuttgart , leading the Cluster of Excellence IntCDC . His academic rank is Professor, and he focuses on Industrial Automation , Digital Twins , and Large Language Models (LLMs) for manufacturing and automotive systems. His research explores integrating LLMs into industrial automation for adaptive control, cloud offloading of vehicle functions, and semantic interoperability via Asset Administration Shells . He investigates modular production architectures , connected vehicle systems , and synthetic data generation for autonomous machinery. Recent publications highlight LLM-driven production planning , dynamic sensor calibration , and machine learning for fault detection in electric vehicle powertrains. His work emphasizes real-time data modeling and flexible microservice orchestration .

• Analysis of Timing Properties
• Dependable Systems
• Cyber-Physical Systems
• +9 more

Dr Kun Wei is a Lecturer in Computer Science at the University of the West of England (UWE), joining in 2015. Previously, he worked as a Research Associate at the University of York, focusing on timing properties of complex systems and formal development of safety-critical applications. His research spans formal verification, security protocols, concurrent programming, and model-checking tools. BSc in Computer Science MSc in Internet Computing PhD in Computer Science from the University of Surrey His expertise includes the analysis of timing properties in social-technical systems and cyber-physical systems using the timebands model, as well as formal verification of security protocols. He specializes in object-oriented software development , concurrent programming , and semantics of programming languages , with applications in safety-critical and dependable systems . His work integrates theorem-proving and model-checking tools for system development and verification.

• Databases
• Transaction Management
• Data Management in the Cloud
• +12 more

Heiko Schuldt is a Full Professor of Computer Science at the University of Basel and leads the Databases and Information Systems (DBIS) group. His research spans databases, transaction management, cloud data systems, digital libraries, and multimedia retrieval, with a focus on distributed systems, data streams, and service-oriented architectures. He studied at the University of Karlsruhe (KIT) and received his PhD from ETH Zurich in 2001. From 2003-2006, he served as an associate professor at UMIT, Austria. Education: University of Karlsruhe (Computer Science), ETH Zurich (PhD, 2001) Research Interests: His work integrates databases, cloud computing, and multimedia retrieval, emphasizing scalable systems for lifelog data, sports analysis, and VR/AR environments. Projects include vitrivr, Polypheny-DB, and StreamTeam. Recent Publications: Trends focus on VR/AR multimedia retrieval, cross-modal analysis, and polystore systems. Key contributions include open-source frameworks for video/image retrieval and immersive analytics. Advising: Supervised over 50 theses in areas like mixed reality, polystore optimization, and gesture-based interfaces.

Soumaya CherkaouiView profile

Professor

• Artificial Intelligence
• Telecommunications Networks
• Quantum Computing
• +6 more

Soumaya Cherkaoui is a Full Professor in the Department of Computer Engineering and Software Engineering at Polytechnique Montréal. Previously, she served as a Full Professor at Université de Sherbrooke and held industrial roles as an aerospace project manager. Her research integrates artificial intelligence with telecommunications, focusing on quantum computing, frugal edge intelligence, and applications in connected vehicles and IoT. Current Position: Full Professor, Polytechnique Montréal Prior Academic Role: Full Professor, Université de Sherbrooke Industry Experience: Aerospace Project Manager Research Interests: Convergence of AI and communications, quantum computing for networking, frugal intelligence at the edge, and applications in autonomous vehicles, industrial IoT, and smart grids. She leads government and industry-funded projects, including a $6 million quantum initiative in 2025. Recent Publication Trends: Her 2025–2024 work emphasizes quantum-enhanced anomaly detection (via QGANs), Open RAN slicing with quantum optimization, and reinforcement learning for secure cognitive radio networks. Topics span 5G/6G, vehicular networks, and zero-trust architectures. Scientific Awards: IEEE Communication Society Distinguished Lecturer (2020) ACM Mirela Notare Award (2023) IEEE Bio-Inspired Computing STC Leadership Award (2023) N2Women: Stars in Networking and Communications (2023) Best Paper Awards at IEEE ICC 2017, IEEE LCN 2021, ICCSPA 2024 Advising and Grants: Supervised 3 Master's students in 2024, with research on quantum GANs and federated learning for vehicular networks. Secured grants like the $6 million quantum project (2025) and participated in CFI-QC government funding (2022). Editorial and Leadership: Served as Associate Editor for IEEE, Wiley, and Elsevier journals. Chaired conferences like IEEE LCN 2019 and IEEE ICC2025, and held leadership roles in IEEE Communications Society committees.

• Semantic Web
• Linked Data
• Knowledge Graphs
• +7 more

Dr. Sebastian Hellmann is a senior researcher at the Institute of Computer Science , University of Leipzig , affiliated with the Business Information Systems department. He leads the Knowledge Integration and Language Technologies (KILT) Competence Center at InfAI and serves as executive director and board member of the DBpedia Association . His work spans semantic technologies, linked data, and knowledge graphs, with significant contributions to data curation, FAIR data principles, and natural language processing. PhD in Computer Science (2014) at University of Leipzig Contributed to open-source projects like DBpedia, NLP2RDF, and OWLG Author of over 80 peer-reviewed publications (h-index 21, 4300+ citations) Sebastian's research focuses on Knowledge Graphs , Ontology Management , and Data Interoperability , as evidenced by his publications and projects. Recent work includes ClassRank for knowledge graph summarization, DBpedia Databus for dataset management, and the Open Energy Ontology for energy systems analysis. His projects often bridge semantic web technologies with practical applications in data quality, integration, and user-centric tools. Selected publications highlight his expertise in Linked Data , Ontology Archiving , and Agile Knowledge Engineering . He actively participates in academic-industry collaborations through EU H2020 projects like ALIGNED and FREME , as well as the Smart Data Web initiative. His work with DBpedia, Wikidata, and the Semantic Web community underscores his commitment to advancing machine-readable knowledge representation.