Find Academic Supervisors

• Global Program Analysis
• Software Verification
• Debugging
• +5 more

Manuel Hermenegildo is a distinguished professor at the IMDEA Software Institute and a full professor at the Technical University of Madrid (UPM), leading the CLIP Lab. He specializes in program analysis, verification, and optimization, with contributions to logic and constraint programming. His academic roles include founding director of IMDEA and leadership in EU-funded projects. Education: PhD in Electrical and Computer Engineering, University of Texas at Austin (1986) M.S. in Electrical and Computer Engineering, University of Texas at Austin (1984) M.S. in Electrical Engineering, Technical University of Madrid (1981) Research Interests: Focuses on global program analysis, verification, debugging, and optimization for functional/non-functional properties (e.g., time, memory, energy). Explores abstract interpretation, parallelism, constraint/logic/functional programming, and computational logic. His work bridges theoretical foundations and practical tools like Ciao Programming System. Publications & Trends: Over 200+ papers in top venues like Theory and Practice of Logic Programming , POPL , and SAS . Recent work emphasizes static analysis for energy efficiency, formal verification via Horn clauses, and lightweight runtime checks. Contributions span formal methods, compiler optimization, and declarative languages. Awards & Recognition: ACM Fellow (2010) Julio Rey Pastor Prize (2006) – Spain’s top award in mathematics/ICT Academia Europaea Membership (2010) Test of Time Award (ICLP 2017) Google Scholar: 10k+ citations, h-index 60 Advising & Grants: Supervised over 20 PhD students. Principal investigator on major EU projects (e.g., María de Maeztu distinction) and national initiatives. Served as director of the Spanish National Research Directorate, shaping science policy. Labs & Teams: CLIP Lab (UPM-IMDEA), Microsoft-IMDEA Joint Research Center, and leadership in EIT Digital Spain. Collaborates globally with institutions like MIT, INRIA, and Monash University.

Ernest TenienteView profile

Professor

• Software Engineering
• Database Systems
• Conceptual Modeling
• +4 more

Ernest Teniente is a full professor at the Universitat Politècnica de Catalunya — BarcelonaTech and director of the inLab FIB . He specializes in software engineering, databases, and IoT systems, with a focus on conceptual modeling, data integration, and automated reasoning. His research spans 20 years, yielding over 60 peer-reviewed publications and leading roles in national/international projects like SUDOQU and DAGIA. He has supervised numerous students across BSc, MSc, and PhD levels, contributing to projects such as an AI-based police patrol tool and semantic IoT infrastructure monitoring. Teaching experience includes undergraduate/postgraduate courses on software analysis, requirements engineering, and advanced databases. He has collaborated with institutions like Mossos d’Esquadra and Barcelona City Council on projects like the Artificial Intelligence-assisted police patrol manager and LinDaFIX for social welfare data analysis. His work bridges academia and industry, emphasizing practical applications in transportation optimization (SORT project) and cybersecurity. Research Highlights : Conceptual modeling and automated reasoning for database schemas IoT semantic integration and critical infrastructure monitoring Artifact-centric business process modeling in UML Projects : SUDOQU (data quality via ontologies) DAGIA (threat detection in ICT infrastructures) REMEDiAL (ontology-based software development) He regularly serves on program committees for top conferences and has coordinated projects funded by Spain’s Ministry of Science. His labs and teams, notably inLab FIB, drive innovation in AI applications, DevOps benchmarking, and IoT ecosystems.

Arjun RadhakrishnaView profile

Researcher

• Program Synthesis
• Formal Methods
• Concurrency
• +3 more

Arjun Radhakrishna is a researcher at Microsoft working on program synthesis and formal methods. Previously, he was a post-doctoral researcher at the University of Pennsylvania under Prof. Rajeev Alur and completed his PhD at IST Austria under Prof. Thomas A. Henzinger. His work focuses on developing tools for reliable systems with applications in concurrency and embedded systems. Education: PhD in Computer Science from IST Austria (2014) Postdoctoral research at University of Pennsylvania Research Interests: Arjun's research lies at the intersection of program synthesis , formal methods , and quantitative system analysis . He develops tools that address soft specifications (e.g., performance, energy consumption) for concurrent and reactive systems , combining techniques from programming languages and formal verification. Key projects include performance-aware concurrency synthesis and quantitative specification frameworks for reactive systems. Scientific Awards: 2014 ACM SIGBED Paul Caspi Memorial Dissertation Award Best Paper Nomination at EMSOFT 2012 Service and Contributions: Arjun has served on program committees for conferences including CAV, PLDI, POPL, and VMCAI. He co-developed EUSolver, a tool that won multiple SyGuS competition tracks (2016). His dissertation introduced techniques for quantitative verification and synthesis with applications in embedded systems and concurrent programming.

Pablo NogueiraView profile

Lecturer

• Programming Language Theory
• Programming Language Design
• Programming Language Implementation
• +9 more

Pablo Nogueira is a Permanent Lecturer and Researcher at the Technical University of Madrid, Spain. He is affiliated with the School of Computer Engineering (E.T.S.I. Informáticos) and the Department of Computer Languages and Systems and Software Engineering. His research focuses on foundational aspects of computer science, with extensive teaching experience across diverse programming paradigms and technical domains. Research Interests: His work spans programming language theory, design, and implementation, with specialized expertise in logic-based computer science, lambda calculi, operational semantics, and program transformation techniques. Key innovations include full-reducing abstract machines, proof-directed debugging methodologies, variable-free unification using relational algebra, datatype-generic functional programming, and advanced parsing techniques. Technology Transfer: He has led projects developing virtual-reality simulators for education and public safety, with a patent pending for delta-wing hang glider flight simulation technology (WO/2025/032276). Additional contributions include synthetic content generation for neural network training and applications in educational neuroscience.

• Human-AI Interaction
• Edge Computing
• Workplace Wellness Technology
• +3 more

Oihane Gomez Carmona is a dedicated researcher at the Faculty of Engineering, University of Deusto, specializing in human-AI interaction systems and edge computing applications. Her work bridges computer science with practical implementations in workplace wellness, smart cities, and behavioral change technologies. Affiliated with multiple European research consortia, she actively contributes to Horizon 2020/Europe projects driving digital transformation. Her research focuses on privacy-preserving IoT architectures , adaptive machine learning systems , and community-centric digital solutions . Key themes include optimizing computational resources at the edge, designing ethical behavioral nudges, and developing micro-volunteering frameworks for environmental monitoring. Her work consistently addresses the human factor in technology adoption, particularly in workplace wellness programs and rural community engagement. Gomez Carmona's publication trends reveal strong emphasis on Human-in-the-loop machine learning (2022-2024) Energy-efficient behavioral systems (2023-2024) Rural digital transformation (2022-2024) Privacy-by-design architectures (2020-2021) with increasing focus on EU-funded large-scale deployments since 2021. Her scientific contributions are supported by significant European funding: AURORAL (2021-2025): €7M EU project for rural digital ecosystems REACH (2020-2024): €11M data value chain incubator WOSOCIEBE (2021-2024): €5M city observation project DEUSTEK (2022-2025): Basque government research grant She actively collaborates with the Deustek research group and participates in cross-institutional teams developing citizen science platforms, workplace wellness systems, and smart city furniture. Current projects include Food Assistant (consumer behavior change) and EngageMate (classroom interaction analytics), demonstrating her commitment to socially impactful technology design.

Hila PelegView profile

Assistant Professor

• Programming Languages
• Program Synthesis
• Human-Computer Interaction
• +4 more

Hila Peleg is an Assistant Professor at the Technion - Israel Institute of Technology , working at the intersection of Programming Languages , Software Engineering , and Human-Computer Interaction . She co-leads the TecSE lab with Prof. Shachar Itzhaky, focusing on programmer tooling inspired by programming language theory.

Alastair F. DonaldsonView profile

Professor

• Programming Languages
• Compilers
• Verification
• +2 more

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, leading the Multicore Programming Group. His research focuses on programming languages, compilers, and automated testing of software systems. He previously directed GraphicsFuzz, an Imperial College spinout acquired by Google in 2018. Education: PhD in Computer Science (University of Glasgow), Postdoctoral Research Fellow (University of Oxford), Visiting Researcher (Microsoft Research Redmond) His research interests include: Compiler Design and Verification Randomized Testing Techniques Multicore and GPU Programming Formal Methods for Software Reliability Recent publications emphasize compiler fuzzing, metamorphic testing, and verification of GPU systems. He actively contributes to the development of testing tools for programming languages and hardware interfaces. Alastair holds leadership roles in academic conferences, including Publicity Co-Chair for POPL 2024 and committee roles in ASE, ECOOP, PLDI, and SPLASH. He maintains a personal website at http://www.doc.ic.ac.uk/~afd and has been registered on conf.researchr.org since 2015.

• Programming Languages
• Formal Verification
• Compilers
• +6 more

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), where he heads the SYSTEMF lab. Previously, he was a PhD candidate at MIT under Adam Chlipala and a Senior Applied Scientist at Amazon AWS. His research focuses on programming languages, compilers, and formal verification, with broader interests in systems engineering, hardware design languages, security, performance engineering, and type theory. Key research areas include extensible compilation, hardware design languages verification, and tooling for proof assistants. Recent publications span topics like JavaScript regular expression verification ( ICFP 2024 ), relational compilation ( PLDI 2024 ), and foundational integration verification for cryptographic servers ( PLDI 2024 ). Scientific Awards: Distinguished Artifact, ACM SIGPLAN International Conference on Software Language Engineering (2020) William A. Martin Memorial Thesis Award for Outstanding Thesis in Computer Science, MIT (2016) Frederick C. Hennie III Teaching Award, MIT (2016) As an educator, he teaches Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. His teaching philosophy emphasizes hands-on learning, oral examinations, and project-based assignments that lead to tangible artifacts. The SYSTEMF lab focuses on building small, fast, and completely verified systems components through machine-checked proofs, hardware-software co-design, low-level compiler engineering, and theorem prover tooling.

Andreas PavlogiannisView profile

Associate Professor

• Formal Methods
• Algorithmic Verification
• Automata Theory
• +6 more

Andreas Pavlogiannis is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, where he leads research in the Programming Languages group. His work focuses on formal methods, algorithmic verification, and concurrency analysis, with additional interests in network diffusion and evolutionary graph theory. He holds a PhD from IST Austria and actively recruits PhD students and PostDocs. Research Interests: Pavlogiannis investigates foundational and applied aspects of concurrent systems, including static/dynamic program analysis, automata theory, and weak memory models. His interdisciplinary work bridges computer science with evolutionary biology through network diffusion models and game theory. Awards: Distinguished Paper Award (PLDI 2025) Best Paper Award (ASPLOS 2024) Best Presentation Award (SOAP 2024) Best Paper Award (ASPLOS 2022) Teaching: He teaches courses on Programming Languages (Bachelor), Algorithmic Model Checking (Master), and Program Analysis (Master). Service: Serves on program committees for top conferences including POPL, PLDI, CAV, and IJCAI. Organizer of CONFEST 2025. Funding: Research supported by Villum Foundation, Danish Free Research Foundation (DFF), Stibo Foundation, and Austrian Science Fund (FWF).

• Program Analysis
• Software Verification
• Debugging
• +13 more

Manuel V. Hermenegildo is a Distinguished Professor at the IMDEA Software Institute and a Full Professor in the Department of Artificial Intelligence at the Technical University of Madrid (UPM). He is the founding Scientific Director of IMDEA Software and leads the CLIP Lab, a joint research unit between UPM and IMDEA Software focused on computational logic, programming languages, and parallelism. His career spans leadership in national research policy, academic positions in Spain and the U.S., and extensive international collaboration. PhD in Electrical and Computer Engineering, University of Texas at Austin (1986) M.S. in Electrical and Computer Engineering, University of Texas at Austin (1984) M.S. in Electrical Engineering, Technical University of Madrid (1981) His research centers on global program analysis, verification, debugging, and optimization for functional and non-functional properties such as time, memory, and energy. He has pioneered work in abstract interpretation, partial evaluation, constraint and logic programming, parallelizing compilers, and computational logic. His methodologies support the development of safe, efficient, and reliable software systems. The integration of static and dynamic analysis, resource-aware compilation, and assertion-based debugging are recurring themes in his work. His recent publications emphasize incremental and modular analysis, assertion checking, energy-aware computing, and verification via Horn clauses. Trends show a strong focus on making static analysis more practical, scalable, and integrated into real-world development workflows, particularly for logic and declarative languages. He frequently publishes in top venues such as TPLP, SCP, TOPLAS, and POPL. ACM Fellow Julio Rey Pastor Prize (2006) Aritmel Prize (2005) Elected member, Academia Europaea (2010) Test of Time Award, ICLP 2017 Best Paper Awards at ICSOC 2011 and ICLP 2005 Fulbright-Hays Scholarship Hermenegildo has supervised numerous PhD students and postdocs, many of whom are now leading researchers. He has been principal investigator in over 50 research projects funded by the EU, Spanish government, NSF, and industry partners. His leadership extends to national research policy, where he directed Spain’s National Research Directorate and launched the Ramón y Cajal fellowship program. He has served on tenure and evaluation committees for institutions worldwide and is active in shaping research agendas through roles in Informatics Europe and EIT Digital. He leads the CLIP Lab, which develops advanced program analysis tools and systems such as the Ciao programming environment, CiaoPP static analyzer, and LPdoc documentation generator. The lab fosters collaboration across academia and industry, focusing on next-generation program development tools, verification, and resource-aware computing.

• Fuzzy Logic Programming
• Fuzzy Deductive Databases
• Automatic Program Transformation
• +4 more

Pascual Julián-Iranzo is an Associate Professor in the Information Technologies and Systems Department at the Higher School of Computer Science, University of Castilla-La Mancha (UCLM), where he has served since April 2003. He is a founding member and current co-director of the DEC-tau research group focused on Declarative Programming and Automatic Program Transformation. His academic career includes over 27 years of university teaching experience across various positions, with significant contributions to curriculum development including the Degree Curriculum in Computer Engineering (2008/09 and 2009/10). Education Background: Doctor in Computer Science (1994-2000) from Universitat Politècnica de València, Department of Computer Systems and Computation His research centers on declarative programming languages with emphasis on fuzzy logic programming, functional-logic paradigm integration, and automatic program transformation. He pioneered work in proximity-based reasoning systems like Bousi-Prolog and FASILL, developing novel approaches for similarity-based unification, thresholded tabulation, and fuzzy deductive databases. His publications demonstrate consistent innovation in fuzzy logic semantics, particularly in handling truth degrees and semantic similarity measures for knowledge representation. Analysis of his 15 most recent publications reveals a strong trajectory in formalizing fuzzy logic programming frameworks, with increasing focus on practical implementations (2018-2023) after establishing theoretical foundations (2015-2017). Key thematic clusters include proximity-based unification algorithms (2018-2021), semantic frameworks for truth degree management (2016-2017), and real-world applications in natural language processing (2021) and security systems (2017). Research Recognition: Positive evaluation by CENAI for three consecutive research periods: [1997-2002], [2003-2008], and [2009-2014] Consistent publication record with 24 scientific journal articles (16 JCR-indexed) As an academic leader, Julián-Iranzo has supervised 2 doctoral theses and chaired the PROLE 2021 Conference Program Committee. His grant portfolio includes significant European funding, notably the MERINET project (2016-2019) supported by ERDF and MINECO. He has served on 12 conference program committees and reviewed for top journals including Journal of Theory and Practice of Logic Programming. His DEC-tau research group maintains active international collaborations, evidenced by coordination of the UCLM node in the ALFA Lernet Project (2005-2009) and partnership with Argentina's National University of San Luis (2009-2013).

Carolina Fernández GarcíaView profile

Lecturer

• Software Development
• Web Development
• Information Systems Management
• +3 more

Carolina Fernández García serves as a Lecturer and Coordinator at the Center for Professional Studies of Camilo José Cela University (UCJC), specializing in vocational training for software development. With over 20 years of industry experience in IT consulting and application development, she leads Advanced Vocational Training Courses in Multiplatform Application Development (DAM) and Web Application Development (DAW), bridging academic instruction with real-world technical demands. Her academic foundation includes a Technical Engineering in Management Computing from the Polytechnic University of Madrid (2000) and a Master's Degree in Secondary Education from UCJC. Professional development encompasses specialized training in: Java programming and enterprise application frameworks Full-stack web development technologies Agile methodologies (Scrum certification) SAP ERP systems implementation Business process optimization Her instructional expertise focuses on practical software engineering through hands-on curriculum design, emphasizing industry-relevant skills in application development and information systems. Recent scholarly work includes a 2024 programming manual serving as a core educational resource for technical training programs. As an academic mentor, she supervises Final Year Projects and coordinates workplace training for CFGS students, leveraging industry partnerships with major organizations including Mapfre insurance and Carrefour supermarkets to facilitate student transitions into IT careers.

Manuel HermenegildoView profile

Professor

• Computer Science
• Programming Languages
• Software Engineering
• +6 more

Manuel Hermenegildo is a distinguished academic holding dual appointments as a Full Professor at the Polytechnic University of Madrid (Spain) and a Distinguished Professor at the IMDEA Software Institute. He earned his Ph.D. in Computer Science from the University of Texas at Austin in 1986. His roles include Founding Director of IMDEA Software (2007–2017) and former Director of Spain's national research funding agency. He leads the CLIP Lab (UPM) and contributes to the Ciao programming language and CiaoPP analysis tool. Education: Ph.D. in Computer Science, University of Texas at Austin (1986) Research focuses on global program analysis, verification, debugging, parallelism, and logic programming. He has authored over 250 papers and received prestigious awards like the ACM Fellowship and Spain's Julio Rey Pastor Prize. His leadership roles span international organizations such as INRIA's Scientific Board and the European Association for Programming Languages and Systems (EAPS). Key contributions include static analysis frameworks, energy-aware programming models, and educational tools like the Ciao Prolog Playground. Notable collaborations include the ENTRA project for whole-system energy transparency. His work emphasizes practical applications of formal methods, with projects funded by national and international grants. Advises on policy and research strategy for EU and Spanish science initiatives.

Nata StulovaView profile

Researcher

• Software Engineering
• Formal Methods
• Natural Language Processing
• +3 more

Nata Stulova is a Researcher currently working as a staff research scientist at MacPaw's Technological R&D Center, focusing on software engineering research involving formal and informal program specifications. Formerly, she held academic roles including senior postdoctoral researcher at the University of Bern (SCG), researcher at EPFL's LARA Lab, and PhD work at the Technical University of Madrid (UPM). Her research spans software documentation consistency, NLP applications, runtime verification, and low-code tools. She has led multiple projects addressing code comment quality, empirical studies on documentation practices, and tool development for requirements engineering. Despite transitioning to industry in 2022, she maintains active collaboration with academia, publishing in top conferences like ICSE and IEEE Transactions. She holds a PhD in Computer Science from UPM and has authored numerous peer-reviewed articles and conference papers. Her work emphasizes bridging academic research with industry applications, particularly in software analysis and developer productivity. Education: PhD in Computer Science, Technical University of Madrid (2018) MSc in Artificial Intelligence, Technical University of Madrid (2013) BSc in Applied System Analysis, NTUU "KPI" (2012) Research Interests: Her work focuses on improving software quality through automated documentation tools, runtime verification techniques, and low-code solutions for requirements engineering. She explores NLP methods for detecting inconsistent or outdated comments and optimizing static analysis efficiency. Recent projects include SwiftEval (LLM-generated code evaluation) and RepliComment (cloned comment detection). She also emphasizes practical applications of formal methods in dynamic languages like Prolog and Python. Grants & Funding: ASA: Agile Software Assistance TRACES: Resource-Aware Software Tools N-GREENS: Energy-Efficient Software Labs/Teams: Core member of the Ciao system development team at IMDEA Software Institute, contributor to the Software Composition Group (SCG) at UniBe, and collaborator with MacPaw's TR&D team on industry-focused R&D.

Petar JovanovicView profile

Researcher

• Big Data Management
• Data Governance
• Data Integration
• +3 more

Petar Jovanovic is a researcher at the Department of Service and Information Systems Engineering within the Barcelona School of Computer Science at Polytechnic University of Catalonia (UPC). His work focuses on Big Data management , data governance , and user-centered data integration platforms . PhD (2016) from UPC and Université Libre de Bruxelles Software Engineering degree from University of Belgrade Jovanovic created the Quarry platform, enabling non-technical users to perform data analysis for global health initiatives like WHO disease eradication programs. His 2017 SCIE/BBVA award recognized innovations in applying Big Data to combat diseases such as Chagas in underprivileged countries. Recent research emphasizes: Knowledge graph-based data governance frameworks (2024) Web API evolution prediction models (2024) Automated FAIR data lifecycle systems (2023-2024) He has co-authored 15+ high-impact publications and holds one patent as primary innovator. His work spans European Union research programs and WHO collaborations.