Programming Language Validation and Verification Professors and Supervisors | ApplySharif

Find Academic Supervisors

Find and connect with academic supervisors, professors, and scholars for your research journey.

Showing 736-750 of 808 supervisors

Profile data may be stale. It is sourced from public faculty pages.

Karine Even-MendozaView profile

Lecturer

InriaFrance

Karine Even-Mendoza is a Lecturer at King's College London specializing in software reliability, with active contributions to SPLASH, ASE, and ISSTA conferences. Her research bridges traditional software engineering with emerging domains like quantum computing and green software. Her research interests focus on: Advanced testing methodologies (Fuzzing, Model Checking) Machine Learning integration for test generation Quantum software validation Energy-efficient computing solutions Recent publications (2020-2025) reveal a strategic evolution from compiler testing foundations to ML-augmented quantum and green computing research. This progression demonstrates consistent innovation in software reliability while addressing industry-critical challenges in emerging technologies. As a Lecturer, she actively supervises student projects and conference submissions. Her involvement in conference organization (SPLASH, ICTSS) and industry collaborations (eBay, IBM legacy) provide students with real-world exposure to software engineering challenges. Her research group develops practical tools like CsmithEdge and SearchGEM5, maintaining strong GitHub engagement for open-source contributions to compiler and simulator testing.

Official University Profile

Stefan GrunerView profile

Professor

Western Norway University of Applied SciencesNorway

Stefan Gruner is a Professor in the Department of Computer Science, Faculty of Engineering, Built Environment and Information Technology, at the University of Pretoria, South Africa. He holds advanced degrees in Informatics (PhD, MSc) and Philosophy (MA), reflecting his interdisciplinary research that bridges formal software engineering, digital forensics, and the philosophy of technology. His work is widely published in international journals and conferences, and he is deeply involved in academic service, including supervision, examination, and program committees. Education: MA in Philosophy, Germany, 2010 PhD in Informatics, RWTH Aachen, Germany, 1999 MSc (Dipl.-Inform.) in Informatics, Germany, 1996 His research interests center on Formal Methods , Software Engineering , and the Philosophy of Computer Science . He has made significant contributions to parameterized and three-valued model checking, formal methods for railway systems, and the scientific foundations of digital forensics. His recent work explores historical semantics in software architecture and the philosophical underpinnings of informatics. His publications from the last few years reveal a strong trend towards formal verification, safety-critical systems, and the epistemological aspects of digital investigation and software engineering. Scientific Recognition: Biographic entry in Who's Who in the World (2010 edition) Member of the selection committee for the Annual Best Dissertation Award (EAPLS) Stefan Gruner is an active advisor and supervisor, having guided numerous MSc and PhD students to completion. He has secured research funding from the South African National Research Foundation (NRF) and international partners for projects on model-driven development, CSP protocol verification, and visualization of distributed algorithms. His academic service is extensive, including roles as program chair for workshops like FM+AM and SEFM, editor for conference proceedings, and external examiner for multiple universities. He has also been a visiting researcher at institutions in Bordeaux and Swansea. He was a central organizer of the Distributed Systems Research Group at the University of Pretoria and has fostered international collaborations, particularly within the formal methods and software engineering communities.

Official University Profile

Jan Friso GrooteView profile

Professor

Eindhoven University of TechnologyNetherlands

Jan Friso Groote is a Full Professor and Chair of the Formal System Analysis group in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). He also holds professorial roles in the EAISI Foundational and EAISI High Tech Systems institutes. Since 2016, he has been working part-time at ASML, contributing his expertise in formal verification to industrial applications. Education: Born in 1965, studied Computer Science at Twente University of Technology (now University of Twente), 1983–1988. PhD in 1991 from the University of Amsterdam with thesis 'Process algebra and structured operational semantics', based on research at CWI (Centrum Wiskunde en Informatica). Jan Friso Groote is a leading researcher in formal methods and software verification. His work focuses on enabling the development of flawless software through rigorous formal analysis. Key research areas include structural operational semantics, model checking, branching bisimulation, protocol verification, and the development of the mCRL2 toolset. His current goal is to integrate formal techniques into complete software system design, improving both development speed and quality. His research has demonstrated that formal methods can reduce development time by a factor of three and increase quality tenfold, with potential for zero-defect software. His recent publications demonstrate sustained contributions in formal verification, including work on mutual exclusion algorithms, industrial control system modeling, probabilistic systems, and efficient bisimulation algorithms. The articles span topics such as tunnel control systems, simulation lower bounds, and formal methods for critical systems, reflecting both theoretical depth and practical application. Scientific Awards: Best Paper Award FACS 2018 FMICS-AVoCS Best Paper Award (2017) Jan Friso Groote has held significant leadership roles in education, including Director of Education for Computer Science (2000–2010) and for multiple bachelor’s and master’s programs. He has advised numerous researchers and supervised a large body of research output (over 320 publications). He leads the Formal System Analysis group and has been involved in projects such as 'Composable Embedded Systems for Healthcare'. His work bridges academia and industry, particularly through collaborations with ASML and Rijkswaterstaat, and he has been a visiting researcher at institutions across Europe and China. He is a key contributor to the mCRL2 toolset, which supports modeling and verification of software behavior with data, time, and probabilities. His research fingerprints highlight strong expertise in model checking, transition systems, software design, and process algebra. He teaches courses such as System Validation, Embedded Software, and Capita Selecta in Formal System Analysis.

Official University Profile

Besnik SelimiView profile

Professor

South East European UniversityMacedonia

Besnik Selimi is a Full Professor at the Faculty of Contemporary Sciences and Technologies, South East European University (SEEU). He holds a Ph.D. in Computer Sciences from Joseph Fourier University (Grenoble 1), France, specializing in Software Testing. His academic career spans roles as Associate Professor (2015–present), Assistant Professor (2010–2015), and part-time Lecturer (2009–2010). He also served as a State Advisor on Information Technologies for the Republic of Macedonia (2007–2008) and held research roles in France. Education: Ph.D. in Computer Sciences (2009), Joseph Fourier University, Grenoble Master in Software Engineering (2004), Joseph Fourier University Bachelor of Computer Sciences (2002), Joseph Fourier University Research Interests: Software Testing and Formal Methods Blockchain Technology and Smart Contracts IoT and Smart Agriculture Natural Language Processing for Low-Resource Languages Recommender Systems and Trust Metrics Cybersecurity and Data Privacy Recent work focuses on systematic reviews in testing methodologies, blockchain applications, and AI-driven solutions for education and agriculture. His contributions include the BCERT blockchain-based academic certification system and neural network models for low-resource language processing. Labs/Teams: Active in SEEU's research initiatives, collaborating with institutions like the "Max van der Stoel" Institute and the Institute for Environment and Health .

Official University Profile

Julian ErhardView profile

Researcher

Technical University of MunichGermany

Julian Erhard is a researcher and lecturer at the Technical University of Munich (TUM), affiliated with the Chair of Languages and Description Structures in Computer Science under Prof. Helmut Seidl. His research focuses on static analysis techniques, particularly leveraging abstract interpretation to enhance precision and performance in compiler optimization and concurrency analysis. He contributes to the Goblint static analyzer and is a member of the ConVeY research training group. Erhard has organized preparatory mathematics courses and served as an exercise instructor for core computer science courses such as Functional Programming and Verification, Compiler Construction, and Static Analysis. His teaching spans multiple semesters from 2019 to 2025, emphasizing practical programming concepts and theoretical foundations. In research, he addresses challenges in context-sensitivity management, concurrency validation, and pointer analysis. His work includes developing frameworks like the digest framework for concurrency-sensitivity and tools like C-2PO for weakly relational pointer domains. Recent publications explore correctness witnesses for concurrent programs and optimizing context sensitivity dynamically. Erhard has co-organized ConVeY retreats and contributed to projects such as the Goblint validator and the Clustered relational thread-modular analysis framework. His expertise bridges theoretical advancements in abstract interpretation with practical compiler tool development.

Official University Profile

Michael PetterView profile

Lecturer

Technical University of MunichGermany

Michael Petter is a faculty member at the Technische Universität München (TUM), affiliated with the School of Computer Science II (Informatik 2) and the Department of Languages and Description Structures in Computer Science. He specializes in compiler design, static analysis, and formal verification, with a focus on developing tools like the Goblint framework for multi-threaded C programs. His teaching spans courses such as Compiler Construction, Program Optimization, and Functional Programming, reflecting his expertise in programming languages and software engineering. His research interests include static analysis techniques, concurrency control, and abstract interpretation frameworks. He has contributed to advancements in flow-sensitive analysis, context-sensitivity management, and precision recovery in program analysis. Recent work emphasizes improving static analysis tools for industrial benchmarks and enhancing their usability through incremental methods. Petter’s publications highlight innovations in numerical abstract domains (e.g., octagons), non-local jump misuse detection, and thread-modular analysis for multi-threaded systems. His involvement in projects like the DFG Research Training Group ConVeY underscores his commitment to advancing continuous verification in cyber-physical systems. He advises thesis projects on topics like quantum computing at compile time and program synthesis, fostering interdisciplinary collaboration. While actively engaged in academic events and editorial roles, he maintains a lab focused on cutting-edge compiler and static analysis research.

Official University Profile

Mark UttingView profile

Associate Professor

University of QueenslandAustralia

Associate Professor Mark Utting is affiliated with the University of Queensland (UQ), specifically within the School of Electrical Engineering and Computer Science. He holds the rank of Associate Professor and focuses on software verification, model-based testing, and programming language design. His academic journey includes roles at multiple Queensland universities, Waikato University (NZ), and the University of Franche-Comte (France). He earned his PhD from UNSW on object-oriented language semantics. Utting has authored over 80 publications and the book 'Practical Model-Based Testing: A Tools Approach.' His current research emphasizes verifying compilers, blockchain smart contracts, ARM64 binaries, and AI-generated code. Key projects include the Algorand Centre for Sustainability Informatics and the BASIL project on secure information-flow logics. His research spans formal methods, theorem proving, and software engineering. Utting leads supervision in areas like compiler verification and smart contract analysis, with active involvement in grants such as the 'Directed and Incremental Analysis for DevSecOps' project. Utting collaborates on interdisciplinary projects, including energy grid simulations and cybersecurity strategies. His work bridges academia and industry, with past experience in genomics and manufacturing software development.

Official University Profile

Ioannis StefanakosView profile

Academic

University of YorkUnited Kingdom

Ioannis Stefanakos is a Research Associate at the Department of Computer Science, University of York, affiliated with the High Integrity Systems research group. His work focuses on formal verification of autonomous systems, safety-critical robotics, and software performance analysis. Current projects include assurance frameworks for drones, adaptive reinforcement learning in healthcare robotics, and probabilistic modeling of software performance. Recent research emphasizes interdisciplinary applications in UAV systems, medical decision support systems, and collaborative manufacturing robots. No academic awards are listed, though his work has been published in top-tier conferences. Advising and grants details are not explicitly stated, but his involvement in doctoral forum papers suggests potential supervision roles in software systems research.

Official University Profile

Tianyin XuView profile

Assistant Professor

University of Illinois Urbana-ChampaignUnited States

Tianyin Xu is an Assistant Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), with a courtesy appointment in the Department of Electrical and Computer Engineering (ECE). His research focuses on ensuring reliability and security in large-scale cloud and datacenter systems, with particular emphasis on configuration management, system verification, and distributed system resilience. He has held positions including a year at Facebook's Core Systems and completed his PhD at the University of California San Diego. Dr. Xu teaches courses such as CS 598(XU) on Cloud-Scale System Reliability, CS 523 (Advanced Operating Systems), and CS 423 (Operating Systems Design). He actively contributes to academic communities through roles like co-editing the SIGOPS Blog, serving on program committees for conferences like NSDI, OSDI, and EuroSys, and organizing the UIUC Systems Research Seminar. His research has been recognized with awards including the 2025 Best Paper Award at ASPLOS, 2024 Jay Lepreau Best Paper Award, and NSF CAREER Award. His work has led to impactful contributions like the Sieve framework for testing configuration changes and the Rex tool for kernel extension safety. Dr. Xu advises a vibrant group of students and collaborates with industry partners including VMware, IBM, and Intel. His lab focuses on advancing system reliability through innovative tools and methodologies.

Official University Profile

Varun ChandrasekaranView profile

Assistant Professor

University of Illinois Urbana-ChampaignUnited States

Varun Chandrasekaran is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Illinois' Grainger College of Engineering. His research focuses on computer security, privacy, and information trust, with a growing emphasis on AI ethics and governance. He teaches courses including Computer Security I & II (CS 461/463) and Advanced Topics in Security, Privacy, and Machine Learning (CS 562). His work addresses critical challenges in generative AI security, adversarial machine learning, and privacy-preserving technologies. Dr. Chandrasekaran's research highlights include analyzing risks of AI models like OpenAI's Strawberry, advocating for transparent AI development, and proposing solutions like machine unlearning frameworks (e.g., Amun). His contributions span theoretical advancements and practical applications, such as secure code translation and watermarking defenses. He emphasizes peer-reviewed security practices over proprietary solutions, aligning with cryptographic principles for reliability. Recent projects explore multimodal data curation (MM-GEN), bias mitigation in LLMs, and automated benchmarking (Benchagents). His work bridges academic research with real-world cybersecurity needs, addressing threats from adversarial actors exploiting AI capabilities. Chandrasekaran frequently collaborates with industry and policy experts to shape ethical AI frameworks and standards.

Official University Profile

Elizabeth WilliamsView profile

Senior Lecturer

Australian National University (ANU)Australia

Dr Elizabeth Williams is a Senior Lecturer at the ANU Centre for European Studies and an Honorary Senior Lecturer in the ANU Department of Nuclear Physics. She holds a B.S. (Intensive) in Physics from Yale University (2004) and a Ph.D. in Experimental Nuclear Structure from Yale (2009). Her research bridges nuclear physics and applied ethics, focusing on AI governance and responsible innovation. As a Research Fellow at the 3A Institute, she develops frameworks for managing data, AI, and cyber-physical systems in societal contexts. Her work emphasizes anticipatory governance, ethical AI implementation, and the societal impacts of emerging technologies. Her academic journey includes postdoctoral roles at Yale and CSIRO, an ARC DECRA fellowship at ANU (2012–present), and leadership in transdisciplinary research programs. Key interests include fusion-fission dynamics in superheavy elements, trustworthy autonomous systems, and policy around AI ethics. She has contributed to projects like the AI Observatory for the Nuclear Sector and studies on rehabilitation robotics in healthcare. Williams has published extensively on nuclear physics phenomena (e.g., quasifission, fission dynamics) and AI-related topics such as voice data documentation, trust in human-machine systems, and defense technology implications. Her research highlights the intersection of science and policy, advocating for proactive approaches to technological development's societal consequences.

Official University Profile

Shekoufeh Kolahdouz RahimiView profile

Researcher

University of RoehamptonUnited Kingdom

Shekoufeh Kolahdouz Rahimi is a researcher affiliated with the Centre for Research in Arts and Creative Exchange under the School of Arts, Humanities, and Social Sciences . Her work bridges academic disciplines through innovative research collaborations and publications. Research Focus: Integration of Large Language Models (LLMs) into software engineering practices, including Agile methodologies, Model-Driven Engineering (MDE), and formal verification of BPMN models. Conference Contributions: Active participation and organization in workshops like Agile MDE 2024 and Agile MDE 2025, with peer-reviewed publications in CEUR Workshop Proceedings. Academic Leadership: Peer-review roles for journals like Frontiers in Computer Science , and supervision of PhD research initiatives. Publication Trends: Recent work highlights the application of LLMs to automate tasks in software requirement engineering, game development, and MDE workflows. Her research emphasizes interdisciplinary collaboration, combining computational methods with creative arts frameworks.

Official University Profile

Salvatore ORLANDOView profile

Professor

Ca' Foscari University of VeniceItaly

Salvatore Orlando is a Full Professor and Director of the Department of Environmental Sciences, Computer Science and Statistics at Ca' Foscari University of Venice. He holds academic roles including membership in the University Scientific Instrumentation Service Center (CSA) Management Committee and the Academic Senate. His research focuses on machine learning, information retrieval, and data mining, with notable contributions to learning-to-rank algorithms, decision tree ensembles, and adversarial machine learning. Key areas include efficient algorithms for large-scale systems, model interpretability, and fairness in AI. Orlando’s work bridges theoretical advancements with practical applications in database technology and cybersecurity. His recent publications emphasize optimizing ranking models, enhancing algorithm resilience, and addressing ethical considerations in AI systems. He is actively involved in organizing international conferences and serves on program committees, further contributing to the academic community.

Official University Profile

Kevin SullivanView profile

Associate Professor

University of VirginiaUnited States

Kevin Sullivan is an Associate Professor of Computer Science at the University of Virginia, School of Engineering and Applied Science. He has been at UVa since 1994, transitioning from Assistant to Associate Professor. His research focuses on software evolvability, cyber-social learning systems, and software engineering economics. Sullivan holds degrees from Tufts University (B.S., 1987) and the University of Washington (M.S. and Ph.D., 1990/1994). Research interests include human factors in software systems, cybersecurity, programming languages, and formal methods. Notable areas of work involve reconciling modularity principles with aspect-oriented programming, and establishing cyber-social learning systems across healthcare, education, and defense sectors. Recent publications emphasize ultra-large-scale systems, data warehousing, and AI perception security. His work with John Knight on real-world types and interpreted formalisms has advanced software assurance methodologies. Award-winning former student Hridesh Rajan (Ph.D. advisee) now leads data science programs at Iowa State University. Sullivan has also been involved in projects like the SQOTA system qualities ontology and the SEHC workshop series. His current focus includes learning health systems and formal synthesis techniques for software architectures.

Official University Profile

Eerke BoitenView profile

Professor

De Montfort UniversityUnited Kingdom

Eerke Boiten is Professor of Cyber Security and Head of the School of Computer Science and Informatics at De Montfort University (DMU), where he also leads the Cyber Technology Institute (CTI). He previously served as Director of the Research Centre in Cyber Security at the University of Kent from 2012 to 2017 and has been a senior academic since 1995. His work bridges formal methods, cybersecurity, and privacy, with significant contributions to refinement in Z and Object-Z, and current research in anonymisation, privacy impact assessment, and AI ethics. Full Name: Eerke Boiten Institution: De Montfort University School: School of Computer Science and Informatics Academic Rank: Professor Email: eerke.boiten@dmu.ac.uk Boiten's research interests are centered on ensuring software correctness and data privacy. He began his career in formal methods, publishing extensively on refinement, program transformation, and state-based systems. His later work shifted toward cybersecurity and privacy, with current projects including privacy-preserving unified communication, synthetic data trade-offs, and cyber intelligence sharing under GDPR. He is particularly interested in the societal implications of computing, especially in health data governance and AI policy. The recent publications highlight a strong trend in privacy and security, particularly in communication systems, data anonymisation, and regulatory compliance. His work increasingly focuses on real-world applications, such as smart toilets and NHS data sharing, reflecting a commitment to socially responsible computing. He also critically engages with emerging technologies like blockchain and large language models, emphasizing technical realism over hype. Boiten has received significant external funding from EPSRC, Alan Turing Institute, EU H2020, and InnovateUK for projects on ransomware, synthetic data, and railway cybersecurity. He has supervised PhD students and served as a principal investigator on multiple grants. His leadership roles include chairing the BCS-FACS Refinement Workshop and serving on EPSRC and NWO grant panels. He is actively involved in public discourse, having authored over 39 articles for The Conversation on topics like NHS data sharing, AI regulation, and online age verification. His media engagement underscores his role as a public intellectual in cybersecurity and data ethics. Boiten leads the Cyber Technology Institute, which held NCSC/EPSRC Academic Centre of Excellence in Cyber Security Research status (2019–2023) and NCSC Academic Centre of Excellence in Cyber Security Education (Gold) status since 2021. He also contributes to professional organizations including BCS and the Higher Education Academy.

Official University Profile