Find Academic Supervisors

• Logic
• Well Quasi Orders
• Verification
• +6 more

Sylvain Schmitz is a Professor of Computer Science at Université Paris Cité, affiliated with the IRIF institute. He leads the Automata and Applications team and contributes to modeling and verification research. Key Research Areas: Logic, Well Quasi Orders, Program Verification, Formal Languages, Database Theory Grants: ANR BraVAS (2017–2022), ANR PRODAQ (2015–2019), ANR ReacHard (2011–2014), ANR AVeriSS (2007–2009) His work focuses on the algorithmic complexity of well-quasi-orders, with applications to vector addition systems, Petri nets, and complexity hierarchies. He has delivered lectures on Algorithmic Aspects of WQO Theory (MPRI), Model-Checking Finite Structures (LMFI), and logic for the agrégation preparation. Recent publications analyze complexity bounds for vector addition systems and lossy counter machines, often leveraging ideal decompositions of well-quasi-orders. His 2024 ICALP paper with Lia Schütze addresses strongly monotone descending chains over ℕᵈ, while 2024 LICS work with Anand et al. explores unboundedness verification. Scientific Awards: IUF junior fellowship (2018–2023) He supervises PhD students Hector Buffière (2024–present), Aliaume Lopez (2019–2023), Anthony Lick (2016–2019), and Simon Halfon (2015–2018). He has served on steering committees for STACS (co-chair) and GT-Verif, and organized conferences like Highlights 2014.

• Translation Studies
• Terminology
• Computer-Assisted Translation
• +3 more

Paul Muraille is an Associate Lecturer in English at the University of Paris 8, specializing in translation studies and translation practices. He coordinates the LISH (Literature, Digital Interfaces and Human Sciences) Master's program in Translation and teaches courses on computer-assisted translation (CAT), terminology management, and post-editing techniques. His research focuses on the application of digital tools to language professions, particularly in multilingual terminology development and quality assurance in professional translation contexts. He holds expertise in internationalization projects, standards compliance (ISO 16642/12620), and the technical and linguistic optimization of terminological data. His work bridges theoretical linguistics with practical translation challenges, addressing issues like abbreviation typology in specialized languages and equivalence problems in interlingual audit terminology. Muraille collaborates with institutions like the European Parliament on terminology standardization and has contributed to African language documentation projects in Mauritania and Senegal. His publications analyze multilingual dictionaries, XML corpus development, and the role of digital tools in language policy. No scientific awards are explicitly mentioned, though his scholarly contributions reflect sustained engagement with professional translation challenges. His advising and grants sections remain underdeveloped in available texts, though his coordination of the LISH program indicates a leadership role in academic translation initiatives.

• Program Specification and Verification
• Concurrent Separation Logics
• Symbolic Execution
• +5 more

Philippa Gardner is a Professor in the Department of Computing at Imperial College London, holding a UK Research and Innovation Established Fellowship (2018–2023). She specializes in program specification, verification, and concurrent separation logics. Her Gillian platform unifies symbolic execution, verification, and testing for C and JavaScript. She was elected a Fellow of the Royal Academy of Engineering (2020) and directed the Research Institute on Verified Trustworthy Software Systems (VeTSS, 2017–2023). Her work includes foundational contributions to separation logic, concurrent program reasoning, and mechanised language specifications. Education: PhD in Computer Science from Edinburgh (1992), supervised by Gordon Plotkin. Key roles: General Chair of POPL 2024, organiser of the Isaac Newton Institute's 'Verified Software' programme (2022). Research interests span formal methods, concurrency, and tool development. Notable grants include £1.5M EPSRC Established Career Fellowship (2018–2023) and £500K Facebook Research gift (2020). Awards include Imperial’s President and Rector’s Teaching Award (2013).

Paul WongView profile

Senior Lecturer

• Cybernetics
• Complex Systems Science
• Network Science
• +4 more

Paul Wong is a Senior Lecturer at the School of Cybernetics of the Australian National University (ANU). He holds a PhD in Non-classical Logics from ANU (2004) and a Master's in Philosophy from Simon Fraser University (1996). His academic career includes roles as a lecturer in software engineering, policy analyst, and defense analyst. His research focuses on cybernetics, complex systems science, network science, and data-driven decision-making. He has contributed to national research infrastructure development and strategic data management practices. Research Interests: Cybernetics and sociotechnical systems design Complex systems modeling and analysis Network science applications in research evaluation Data quality and integration methodologies Policy analysis using predictive analytics Recent work emphasizes leveraging data networks to forecast research impacts and optimize national innovation strategies. His 2022 publications address cybernetic frameworks for complex world design and non-academic research impacts. He has co-authored over 13 peer-reviewed works across data science, logic, and interdisciplinary systems analysis. Professional Contributions: Principal Investigator on AI Library Services and Research Performance Evaluation projects Member of ACM and IEEE since 2024 Labs/Teams: Active in ANU's School of Cybernetics research community focusing on interdisciplinarity and systems thinking.

• Database Systems
• Software Engineering
• User Interface Design
• +4 more

Mark Kochanski serves as an Associate Teaching Professor in the Division of Computing & Software Systems at the University of Washington Bothell's School of Science, Technology, Engineering & Mathematics. With over 25 years of professional experience in the computing industry, he brings substantial real-world expertise to his academic role. Professor Kochanski's research and teaching interests focus on database technologies, user-friendly applications, component-based systems, and XML technologies. His work emphasizes creative solutions to complex real-world problems through practical software development approaches. His industry background spanning from the 1970s to present informs his teaching philosophy of developing software developers capable of growing into technical leads and software architects. Having worked across computing environments ranging from palm devices to mainframes and from standalone to massively distributed systems, Kochanski has developed expertise from device drivers and database engines to business and scientific applications. His career includes significant experience in the petroleum industry developing data models and applications, as well as founding his own consulting company, Albion Technology, in 1993. His educational background includes an M.S. in Economic Geology with a computer application-based thesis from Purdue University (1984), where he studied both geology and computer sciences. This interdisciplinary foundation supports his holistic approach to software development education.

Goran SoldarView profile

Senior Lecturer

• Large Scale Data Processing
• Secure Computer Systems
• Machine Learning
• +3 more

Goran Soldar is a Senior Lecturer at the University of Brighton, UK, affiliated with the School of Computing, Engineering and Mathematics. With over 20 years of higher education teaching experience, he specializes in programming, databases, operating systems, and enterprise middleware for large data processing. He leads several undergraduate and postgraduate computing courses and is involved in course design and student learning enhancement. Education: PhD, University of East Anglia (2008) MSc Distributed Systems, University of East London (1995) BSc (Hons) Information Systems, University of Belgrade (1985) Research Interests: Large-scale data processing frameworks Secure computer systems design Machine learning applications Transaction management in distributed systems Software engineering project management methodologies His work spans audio segmentation for health applications, agent-based risk management, and semantic web architectures. Research Trends: Recent work focuses on AI-driven healthcare diagnostics (e.g., cough analysis for disease detection) and automation of IT project risk management through multi-agent systems. Earlier contributions include foundational work in semantic web ontologies and distributed systems architectures. Collaborations: Co-led the Lankelma KTP project (2021-2023) focusing on geotechnical data analysis. Active in international conferences with publications in applied informatics, database systems, and semantic technologies. Teaching & Leadership: Course leader for multiple computing programs. Committed to innovative curriculum development and student-centered learning approaches.

• Software Engineering
• Data Engineering
• Information Systems
• +4 more

Carles Farré Tost is an Associate Professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Facultat d'Informàtica de Barcelona (FIB) and the Departament d'Enginyeria de Serveis i Sistemes d'Informació. He leads research in software engineering, data engineering, and information systems through the inSSIDE and GESSI groups. His work focuses on agile methodologies, software quality, data-driven decision-making, and green AI. With over 92 professional activities, including 39 conference presentations and 17 competitive R&D projects, he has contributed to tools like QaSD and GLiDE for education and industry. Notable awards include the Best Forum Paper Award at RCIS 2023 and the Best Paper Award at CIbSE 2021. His research spans decades, from foundational database query validation (CQC method) to modern applications in gamified learning dashboards and sustainability in AI. Research Interests: Software Engineering: Agile development, quality assurance, and team-based project management Data Engineering: Schema validation, data-driven decision-making frameworks, and API design Green AI: Investigating environmental impacts and ethical considerations in AI systems Educational Technology: Tools for learning analytics and collaborative software education Grants & Projects: "Human-centred collaborative framework for accelerating software development" (2024) "Transición hacia sistemas de software verdes basados en IA" (2023) "Digital and Emerging Technologies for Competitiveness" (EU-funded, 2021) Lab/Teams: Active contributor to the inSSIDE (integrated Software, Services, Information and Data Engineering) and GESSI (Group of Software and Service Engineering) research groups at UPC.

Henrik BjörklundView profile

Associate Professor

• Natural Language Processing
• Formal Languages
• Machine Learning
• +3 more

Henrik Björklund is an Associate Professor at the Department of Computer Science, Umeå University. His research focuses on natural language processing , formal languages , and mitigating social bias in large language models . Primary affiliation: Umeå University Department: Computing Science Role: Faculty member Research interests include: Detecting and mitigating gender bias in NLP systems like ChatGPT Foundational studies in formal languages and automata theory Developing language technology for Swedish, particularly nonbinary pronouns like 'hen' Publication trends show: Recent work (2023-2024) on intersectional bias analysis in LLMs 2017-2023 studies on hyperedge replacement grammars and DAG language transduction 2013-2017 contributions to XPath evaluation and tree pattern queries Contact : henrik.bjorklund@umu.se

Elisa BertinoView profile

Professor

• Information Security
• Database Systems
• Privacy and Access Control
• +6 more

Elisa Bertino is the Samuel D. Conte Professor of Computer Science at Purdue University, where she also directs the Purdue Cyberspace Security Lab (Cyber2Slab) and serves as Research Director at CERIAS. Since joining Purdue in January 2004, her work has integrated rigorous theory with practical solutions across information security, database systems, and emerging cyber-physical domains. Education Ph.D. in Computer Science, University of Pisa (1980) Research Interests Professor Bertino’s research portfolio is exceptionally broad, spanning information security and assurance , database and data mining technologies , and AI-driven cybersecurity . She pursues foundational advances in access-control models (RBAC, ABAC, trust negotiation), secure data publishing and broadcast protocols for XML and streaming data, privacy-preserving analytics through differential privacy and secure multi-party computation, and zero-trust architectures for 5G/6G and software-defined networks. Application domains include secure mobile and IoT ecosystems, medical informatics, and humanities data. Recent Publication Trends Her 2024–2025 publications reveal a strategic pivot toward next-generation network security (5G/6G, SDN/NFV), trustworthy AI (federated learning, transformer-based malware analysis), and privacy technologies (differential privacy, homomorphic encryption). A recurring theme is the rigorous integration of AI techniques with cryptographic and systems-level defenses to achieve scalable, privacy-preserving security solutions. Scientific Awards & Honors IEEE Fellow ACM Fellow IEEE Computer Society Technical Achievement Award (2002) IEEE Tsutomu Kanai Award (2005) ACM Athena Lecturer Award (2019) Kristian Beckman Award (2020) IEEE 2021 Innovation in Societal Infrastructure Award Advising & Grants Professor Bertino has mentored a large cohort of doctoral students and post-doctoral researchers. Recent externally funded projects include NSF “Privacy-Enhanced Secure Data Provenance” (2011-2016), NIST “Advancing Commercial Participation in the NSTIC Ecosystem” (2012-2013), and Sypris Electronics “Security Techniques for Smart Mobile Devices” (2012). Laboratories & Teams She leads the Cyber2Slab (Cyber Space Security Lab), a vibrant research group investigating insider-threat mitigation, IoT and drone security, digital identity management, cloud data protection, and AI-assisted defense mechanisms. The lab collaborates extensively with federal agencies, industry partners, and international research consortia such as the Data Analytics and Information Science International Technology Alliance (DAIS ITA).

Jingyue LiView profile

Professor

• Software Engineering
• Software Security
• Software Engineering and AI
• +2 more

Jingyue Li is a Professor in the Department of Computer Science at the Norwegian University of Science and Technology (NTNU), within the Faculty of Information Technology and Electrical Engineering. She earned her Ph.D. in Software Engineering from NTNU in 2006 and has extensive industrial experience including positions at IBM and DNV Research and Innovation. Her educational background includes: Ph.D. in Software Engineering from NTNU (2006) Professor Li's research spans several key areas in software engineering with a focus on both theoretical and practical applications. Her work bridges traditional software engineering practices with emerging technologies, particularly in the domain of security and blockchain systems. She has conducted extensive empirical research and applied design science methodologies to develop innovative tools and approaches. Her recent publications demonstrate a strong trend toward blockchain technologies, software security, and the intersection of AI with software engineering. The research shows increasing focus on practical applications of blockchain in decentralized autonomous organizations, consensus protocols, and security vulnerabilities in smart contracts. There's also significant work on integrating security practices into DevOps (DevSecOps) and applying machine learning techniques to software engineering problems. Professor Li has received recognition through her leadership roles in major conferences: General Chair for FSE 2025 (The ACM International Conference on Foundations of Software Engineering) Member of the EASE (International Conference on Evaluation and Assessment in Software Engineering) steering committee In terms of research leadership, Professor Li has served as Principal Investigator (PI) or Key Scientist on numerous research projects including TRACE4EU (2023-2025), PaaSforChain (2020-2023), CyberSmart (2017-2020), and several others focused on blockchain, security, and software engineering. She has also conducted research visits to institutions including University College London, University of Washington, Hiroshima University, and Peking University. Her research group appears to be actively engaged in both theoretical and applied research, with strong industry connections through projects like CyberSmart and SecureCyber that address real-world challenges in cybersecurity and smart city infrastructure.

Ahmed Ezzeldin KhaledView profile

Associate Professor

• Internet of Things
• Smart Healthcare Systems
• Location-aware Services
• +6 more

Ahmed Ezzeldin Khaled is an Associate Professor in the Department of Computer Science at Northeastern Illinois University (NEIU) in Chicago, USA, and a Visiting Associate Professor in the Masters Program in Computer Science at The University of Chicago since March 2024. He joined NEIU in August 2018 after completing his Ph.D. in Computer Engineering from the University of Florida. His educational background includes: Ph.D. in Computer Engineering from University of Florida (2018) M.S. in Computer Engineering from Cairo University (2013) B.S. from Cairo University Dr. Khaled's research focuses on designing systems and applications for distributed systems with the Internet of Things (IoT) as a primary use case. His work spans three main areas: smart healthcare systems and e-Health applications, location-aware services for smart spaces, and utilizing data management techniques for descriptive and predictive analytics. He has developed the Atlas IoT Framework, which includes IoT Device Description Language (IoT-DDL), Atlas Thing Architecture, and Inter-Thing Relationship Framework. His research involves software and hardware platforms from different vendors with various operating environments, focusing on creating interoperable systems for smart spaces. Analysis of Dr. Khaled's recent publications shows a strong trend toward practical implementations of IoT frameworks, particularly in healthcare applications. His work bridges theoretical concepts with real-world deployments, emphasizing context-aware systems, data pipelines, and location-based services. The research demonstrates expertise in creating frameworks that can work across different hardware platforms and communication protocols while addressing specific challenges in healthcare monitoring and smart space development. Dr. Khaled actively mentors students across multiple research domains including IoT applications, healthcare systems, and cloud architecture. His advising approach emphasizes connecting research with teaching, believing that "through the teaching process, we gain a deeper perspective of the subjects we teach and a better view on how the various concepts are linked into a 'bigger picture'." He has developed courses related to operating systems, computer networks, parallel computing, database systems, and the Internet of Things, bringing his research expertise directly into the classroom. Dr. Khaled leads the IoT & Systems Lab at NEIU, which focuses on developing practical IoT solutions for real-world applications. Current active projects include the Atlas IoT Framework for smart spaces, IoMT and Digital Healthcare systems, IoT Emulator (E-IoT) for application development and testing, and Location Based Services for smart tourism. The lab works with various hardware and software platforms to develop and test IoT applications before deployment in real environments, with a particular emphasis on healthcare applications and location-aware services.

Dominik FreydenbergerView profile

Senior Lecturer

• Database Theory
• Formal Language Theory
• Combinatorics on Words
• +5 more

Dominik Freydenberger serves as a Senior Lecturer and Director of Studies at Loughborough University, affiliated with the Theoretical Computer Science research group since joining in 2017. His academic journey includes a Computer Science degree from the University of Kaiserslautern (2006), doctoral studies at Goethe University Frankfurt am Main (PhD 2011), and postdoctoral positions at Goethe University (until 2015) and Bayreuth University (2015-2017) supported by a Deutsche Forschungsgemeinschaft (DFG) fellowship. His research centers on algorithmic and combinatorial properties of repetition operators in formal models, with significant applications in information extraction systems, real-world regular expressions (including back-reference operators), XML schema inference, and graph database query languages like IBM's AQL. Core disciplines span Database Theory, Formal Language Theory, and Combinatorics on Words, with emerging intersections in Learning Theory. Professional recognitions include a competitive DFG Fellowship and Fellowship of the Higher Education Academy (FHEA), reflecting contributions to both research and academic practice. His work bridges theoretical foundations with practical implementations in data processing technologies.