Program Synthesis Professors and Supervisors in Spain

Fernando López Ortizمشاهده پروفایل

استاد

University of AlmeríaSpain

Fernando López Ortiz is a Professor in the Department of Organic Chemistry at the University of Almería, where he leads the Organic and Organometallic Chemistry Research Group. With an extensive publication record of 163 articles and 16 doctoral theses supervised, he has established himself as a leading researcher in organometallic chemistry with particular expertise in phosphorus and gold chemistry. His research interests span multiple interconnected areas including organometallic synthesis, structural chemistry of phosphorus compounds, development of gold-based antimicrobial agents, and applications in catalysis and materials science. Professor López Ortiz has made significant contributions to understanding ortho-lithiated phosphinamides, cyclometallated gold complexes, and phosphorus-based multifunctional materials. His work bridges fundamental chemical principles with practical applications, particularly in addressing antimicrobial resistance through novel metal-based therapeutics. Analysis of his 15 most recent publications reveals a strong focus on gold chemistry for biomedical applications, with multiple papers on gold(III) complexes as antimicrobial and antiviral agents. He also maintains active research in phosphorus chemistry, publishing structural studies of phosphinothioic amides and novel phosphorus-containing compounds. A more recent direction involves energy applications, as evidenced by his 2025 paper on zinc-air batteries. h-index: 30 (Scopus and Web of Science) i10-index: 100 (Scopus) 163 peer-reviewed articles 16 doctoral theses supervised Multiple competitive research grants including EU Horizon 2020 funding As Principal Investigator on numerous research projects totaling over €1.5 million in funding, Professor López Ortiz has built a productive research program that trains graduate students while advancing knowledge in organometallic chemistry. His lab maintains active collaborations with microbiologists and pharmacologists to evaluate the biological activity of synthesized compounds, creating a rich interdisciplinary research environment. The Organic and Organometalic Chemistry Research Group under Professor López Ortiz's leadership focuses on synthesizing novel compounds with potential applications in medicine and technology, particularly targeting the growing challenge of antimicrobial resistance through innovative gold-based therapeutics and exploring sustainable energy solutions through advanced materials chemistry.

پروفایل رسمی دانشگاه

Georg Zetzscheمشاهده پروفایل

پژوهشگر

IMDEA Software InstituteSpain

Georg Zetzsche is a tenure-track faculty member at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, since November 2018. He leads the Models of Computation group , focusing on theoretical foundations of formal verification and synthesis for infinite-state systems. His work bridges decidability, computational complexity, and automata theory , with applications to program analysis and concurrent systems .

پروفایل رسمی دانشگاه

Hiroshi Unnoمشاهده پروفایل

استاد

IMDEA Software InstituteSpain

Hiroshi Unno is a Professor at Tohoku University 's Research Institute of Electrical Communication and a Visiting Professor at the National Institute of Informatics. He has served on program committees for major conferences like POPL , PLDI , ICFP , and CAV . Dr. Unno's research focuses on Programming Languages Software Verification Artificial Intelligence Higher-Order Model Checking Refinement Type Systems Temporal Logic His recent work (2023-2025) includes advancements in algebraic effects , probabilistic program verification , and prophecy-based type systems . Key contributions appear in POPL , PLDI , and ICFP journals. Scientific awards include Distinguished Paper Award at POPL 2024 Distinguished Paper Award at POPL 2023 PPL 2014 Best Paper Award He leads development of tools like RCaml , Thrust , and EffCaml for refinement type checking. Current projects involve Kakenhi grants 20H04162 and 25H00446 . Dr. Unno actively contributes to academic communities through Program Committee roles at AAAI, CAV, and SAS Editorial work for IPSJ Transactions Organizing PPL Summer School (2022)

پروفایل رسمی دانشگاه

Limin Jiaمشاهده پروفایل

استاد پژوهشی

IMDEA Software InstituteSpain

Limin Jia is a Research Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department. She is affiliated with CyLab, CMU's security and privacy research institute. She received her PhD in Computer Science from Princeton University and a BE from the University of Science and Technology in China. Her research applies formal techniques to enhance software security, focusing on programming languages and distributed systems. Key interests include: Language-based security mechanisms Formal verification of distributed systems Secure compilation techniques Intermittent computing foundations Her publications demonstrate strong emphasis on security guarantees in programming languages (Rust/WebAssembly), formal methods for intermittent systems, and software supply chain security. Recent works frequently address type systems, compiler verification, and energy-constrained computing. Dr. Jia maintains an extensive advising portfolio with current and former students spanning PhD and Master's programs. She teaches foundational security courses including Browser Security and Introduction to Information Security .

پروفایل رسمی دانشگاه

Pedro López-Garcíaمشاهده پروفایل

پژوهشگر

IMDEA Software InstituteSpain

Energy-aware software development
Multi-language analysis
Verification of non-functional properties
+۱۱ مورد دیگر

Pedro López-García is a Tenured Researcher at the Spanish National Research Council (CSIC) and Affiliate Faculty at the IMDEA Software Institute. He received his MS and PhD in Computer Science from the Technical University of Madrid (UPM), Spain, in 1994 and 2000, respectively. Previously, he held academic positions as associate and assistant professor at UPM and served as deputy director of the Artificial Intelligence unit within the Computer Science Department. Education: MS (1994), PhD (2000) in Computer Science from UPM Current Role: Tenured Researcher at CSIC, Affiliate Faculty at IMDEA Software Institute Past Roles: Associate Professor, Assistant Professor at UPM His research focuses on energy-aware software development, multi-language analysis, and optimization of non-functional properties like resource usage, determinism, and non-failure. He has contributed to projects such as ES_PASS and FP7 FET ENTRA. Publications include over 60 refereed papers in high-impact conferences and journals. No explicit scientific awards or student advisement details are mentioned.

پروفایل رسمی دانشگاه

John Wickersonمشاهده پروفایل

مدرس ارشد

IMDEA Software InstituteSpain

concurrency semantics
FPGAs
GPUs
+۵ مورد دیگر

John Wickerson is a Senior Lecturer in the Department of Electrical and Electronic Engineering at Imperial College London. His research spans formal methods, concurrency, and hardware/software synthesis. Academic Rank: Senior Lecturer Affiliation: Imperial College London His research interests include concurrency semantics, weak memory models, transactional memory, GPU and FPGA programming, and high-level synthesis for hardware accelerators. These areas intersect formal verification, programming language design, and hardware-software interface optimization. The publications of John Wickerson reflect trends in formalizing memory models, improving hardware synthesis reliability, and testing concurrency frameworks. His work addresses challenges in quantum compiler validation, GPU workgroup progress, and weak memory persistency across Intel, ARM, and C++ architectures. He actively contributes to academic communities as a Publicity Co-Chair and Session Chair in conferences like POPL and as a Committee Member in SPLASH and PLDI. His GitHub repository activity and X (Twitter) presence further demonstrate his engagement in technical dissemination.

پروفایل رسمی دانشگاه

Ohad Kammarمشاهده پروفایل

پژوهشگر

IMDEA Software InstituteSpain

Ohad Kammar is a researcher at the University of Edinburgh , actively contributing to programming language theory, denotational semantics, and algebraic effects. His work bridges theoretical foundations with practical implementations. Research Themes : Type-driven development, concurrency, probabilistic programming, normalization algorithms, and algebraic effects. Conference Involvement : Committee member in Diversity, Equity and Inclusion , Student Research Competition , and LAFI tracks at POPL; program committee roles in ICFP, APLAS, PEPM, and HOPE. Publications : Focus on denotational semantics, effect handlers, relaxed memory concurrency, and dependently-typed probabilistic models.

پروفایل رسمی دانشگاه

Steve Zdancewicمشاهده پروفایل

استاد

IMDEA Software InstituteSpain

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania. His research spans programming languages, computer security, formal verification, and type theory, with significant contributions to LLVM verification, program synthesis, and quantum programming. He co-leads Penn's Programming Languages Research Group with Benjamin Pierce and Stephanie Weirich. His research focuses on: Programming language foundations (type theory, linear logic, semantics) Formal verification (Coq, LLVM, interaction trees) Security (information-flow control, memory safety) Emerging paradigms (quantum programming, secure distributed systems) Publication trends reveal deep engagement with formal methods (67%), programming language design (20%), and systems security (13%), primarily using Coq for mechanized verification. Recent works demonstrate increased focus on parallel/streaming computation and synthesis techniques. Awards Distinguished Paper Awards (ECOOP 2023, POPL 2020) Schlein Family President's Distinguished Professor (2021) Lindback Distinguished Teaching Award (2018) IEEE MICRO Top Picks (2013) Sloan Fellowship (2009-2010) NSF CAREER Award (2004) Best Paper Awards (SOSP 2001, ICFP 1999) Research Leadership Directs multiple NSF-funded projects including DeepSpec (verified systems infrastructure), Vellvm (LLVM semantics), and ExCAPE (program synthesis). Advises 5 PhD students and 31 former advisees/postdocs. Served as General Chair for POPL 2025 and associate chair for PLDI/ICFP/POPL. Infrastructure Leads the Vellvm project developing Coq-based LLVM semantics, the Interaction Trees framework for recursive/impure programs, and Qwire for quantum circuit verification. Maintains active collaborations with Galois Inc. and INRIA.

پروفایل رسمی دانشگاه

Bernd Finkbeinerمشاهده پروفایل

استاد

IMDEA Software InstituteSpain

Bernd Finkbeiner is a Professor of Computer Science at Saarland University and a faculty member at the CISPA Helmholtz Center for Information Security . He leads the Reactive Systems Group, which merged with CISPA in 2020, focusing on formal methods for ensuring system safety and security. University: Saarland University Research Institution: CISPA Helmholtz Center for Information Security His research spans synthesis, verification, and monitoring of reactive systems , with applications to program repair, static/dynamic analysis, and security guarantees . Recent work includes coinductive proofs for hyperliveness, asynchronous hyperproperty verification, and symbolic execution for bug detection. Key trends in his publications include: Hyperliveness and fairness in reactive systems Symbolic execution for hyperbug identification Integration of synthesis and verification techniques Formal guarantees for cybersecurity and software reliability He contributes to academic communities through committee roles at conferences like POPL, ICFP, SPLASH, and VMCAI.

پروفایل رسمی دانشگاه

Jordi Llorca Piqueمشاهده پروفایل

استاد

Polytechnic University of CataloniaSpain

Jordi Llorca Pique is a Professor in the Department of Chemical Engineering at the Eastern Barcelona School of Engineering (EEBE), part of the Polytechnic University of Catalonia (UPC). He is affiliated with the Institute of Energy Techniques and leads multiple research initiatives focused on sustainable energy solutions. His research expertise spans catalysis, hydrogen production, renewable energy, environmental engineering, and advanced materials science. Llorca Pique's work focuses on developing novel catalytic materials for energy conversion processes, particularly in hydrogen production, CO2 utilization, and sustainable fuel development. His laboratory employs advanced techniques including Direct Ink Writing for catalyst fabrication and investigates both fundamental reaction mechanisms and practical applications for clean energy technologies. The most recent publications reveal a strong trajectory in developing structured catalytic materials for hydrogen production, CO2 conversion to valuable chemicals, and advanced materials for energy applications. His work demonstrates particular innovation in additive manufacturing of catalytic structures, bimetallic catalyst systems, and novel approaches to CO2 hydrogenation. The research shows increasing interdisciplinary collaboration across materials science, chemical engineering, and environmental science domains. Llorca Pique has successfully supervised multiple PhD students and leads several major research groups including CCEM (Center for Research in Multiscale Science and Engineering of Barcelona), NEMEN (Nanoengineering of Materials Applied to Energy), CER-H2 (UPC Hydrogen Research Center), and ENCORE (Energy, Catalysis, Process and Reaction Engineering). His work has received significant funding from competitive national and European research programs. His laboratory maintains strong industry connections and focuses on translating fundamental research into practical energy solutions, particularly in the areas of hydrogen economy and carbon-neutral fuel production. The research group actively collaborates with international partners and participates in European research initiatives addressing sustainable energy challenges.

پروفایل رسمی دانشگاه

Rafael Lucena Hernándezمشاهده پروفایل

استاد

University of SevilleSpain

Rafael Lucena Hernández is a Professor in the Department of Cell Biology at the School of Biology, University of Seville, where he leads The Lucena Lab. His research focuses on understanding the fundamental mechanisms of cell growth regulation in eukaryotic organisms, with particular emphasis on lipid metabolism and ceramide signaling. Dr. Lucena earned his B.S. in Biology from the University of Seville, followed by a PhD in Biotechnology from CABD, University Pablo de Olavide. He completed his postdoctoral training in Molecular, Cell & Developmental Biology at the University of California, Santa Cruz before establishing his independent research program at the University of Seville. His laboratory investigates how cells measure their growth and coordinate it with cell cycle progression. The lab's work has revealed that ceramides play a crucial role in orchestrating the coordination of cell growth with cell division in both fission and budding yeast. They use Schizosaccharomyces pombe and Ustilago maydis as model organisms to study these processes, with implications for understanding cancer development and fungal pathogenesis. The Lucena Lab is currently funded through multiple research projects including 'Control of Cell Growth and Size in Eukaryotic Cells. A Model to Study Cancer (P18-FRJ-1132)' where Dr. Lucena serves as Principal Investigator, and 'Role of eisosomes in control of cell growth in eukaryotic cells' where he participates as a collaborator. His research has resulted in numerous publications in high-impact journals including Current Biology, Molecular Biology of the Cell, and Journal of Cell Science. Dr. Lucena currently supervises several students including Ana María Serrano Caravaca (PhD candidate with FPU 2024 fellowship), and undergraduate students Isabel Castaño and Isabel Silva. The lab has previously trained Master's students like Nacho Quesada-Márquez and other undergraduate researchers, demonstrating a strong commitment to student development.

پروفایل رسمی دانشگاه

Valentine Rosine Francoise Comaillsمشاهده پروفایل

پژوهشگر ارشد

University of SevilleSpain

Valentine Rosine Francoise Comaills is a Research Fellow leading the Cellular Plasticity and Diseases research group in the Department of Cell Biology at the University of Seville. She currently directs two major research projects: 'Origin of chromosomal instability in inflammation-induced pancreatic cancer' (PRDSE258807MEND) and 'Chromosomal instability during the Epithelium-Mesenchyme Transition' (PID2022-136786OA-I00). Her research program centers on chromosomal instability as a driver of cancer evolution, with investigations spanning nuclear envelope integrity, DNA damage response, and epithelial-to-mesenchymal transition mechanisms. She examines how these processes contribute to breast and pancreatic cancer progression, metastasis, and therapeutic resistance through molecular and genomic approaches. Her work bridges fundamental genome biology with clinical cancer applications. Dr. Comaills maintains an active publication record in high-impact journals including Science, Nature Communications, and PNAS. Analysis of her recent publications (2020-2025) reveals consistent thematic focus on chromosomal instability mechanisms, with increasing emphasis on therapeutic implications and evolutionary perspectives in cancer genomics. Her interdisciplinary work connects molecular cell biology with evolutionary theory. Her current research funding includes: R&D&I Project: Origin of chromosomal instability in inflammation-induced pancreatic cancer (PRDSE258807MEND) Chromosomal instability during the Epithelium-Mesenchyme Transition (PID2022-136786OA-I00) The Cellular Plasticity and Diseases research group operates at the intersection of cancer biology and genome evolution, utilizing advanced molecular techniques to investigate how chromosomal instability arises during cellular plasticity events and drives disease progression. The group's work has significant implications for understanding cancer heterogeneity and developing novel therapeutic strategies.

پروفایل رسمی دانشگاه

Gioconda del Cisne Riofrío Calderónمشاهده پروفایل

پژوهشگر

University of SalamancaSpain

Gioconda del Cisne Riofrío Calderón is a researcher and doctoral candidate at the Private Technical University of Loja (UTPL) in Ecuador, with significant academic activities at the University of Salamanca, Spain. She holds a Master in Civil Law and Civil Procedure, a Master's Degree in Open and Distance Teaching and Learning, and is currently completing her doctoral studies in the Knowledge Society program at the University of Salamanca, with thesis defense scheduled for September 26, 2024. Educational Background: Master in Civil Law and Civil Procedure Master's Degree in Open and Distance Teaching and Learning Lawyer Doctoral Candidate: Program Training in the Knowledge Society, University of Salamanca, Spain (Thesis: Mediation practices for learning in MOOC courses on energy sustainability to promote open innovation) Riofrío Calderón's research focuses on educational technology innovation, particularly examining mediation models in online learning environments and MOOCs for energy sustainability education. Her work bridges educational theory with practical applications in digital learning, emphasizing how mediation strategies can enhance open innovation in educational contexts. She has conducted systematic literature reviews and applied data analytics to understand participant behavior in online courses, contributing to the evolving field of digital pedagogy. Her publication record demonstrates a consistent focus on the intersection of educational technology, sustainability education, and learning analytics. The research trajectory shows progression from foundational work on MOOC mediation practices toward more sophisticated applications of data analysis in online learning environments, with particular attention to energy sustainability education as a domain for innovation. Scientific Recognition: Felicitación por publicación Q1 (Recognition for Q1 journal publication) Reconocimiento en X Investiga y V Innova UTPL (Recognition at X Investiga and V Innova UTPL) Carta de agradecimiento for evaluation of Law program in Open and Distance modality Riofrío Calderón has received research funding through a postdoctoral scholarship from UTPL (2016-2019) and has participated in international research collaborations, including a research stay at the Monterrey Institute of Technology in Mexico (January-April 2017). She has been actively involved in the Research Group on Interaction and eLearning (GRIAL), contributing to projects focused on educational technology innovation. Her professional development includes extensive participation in academic seminars, conferences, and training courses related to educational technology, research methodology, and university management. She has served as a reviewer for academic publications and conferences, demonstrating her growing recognition within the educational research community.

پروفایل رسمی دانشگاه