جست‌وجوی استاد و پژوهشگر

Sergio Jiménez Celorrioمشاهده پروفایل

استاد

• Automated Planning
• Machine Learning
• Bayesian Inference
• +۳ مورد دیگر

Sergio Jiménez Celorrio is a Full Professor at the Department of Computer Systems and Computation of the Polytechnic University of Valencia. He has held previous positions including Ramón y Cajal fellow at the University of Melbourne, Juan de la Cierva fellow at Universitat Pompeu Fabra, and teaching assistant at Universidad Carlos III de Madrid, where he earned a Distinguished Thesis Award in 2011. His research focuses on automated planning, Bayesian inference, and machine learning synergies. He has co-organized the 7th International Planning Competition and contributed to top AI conferences. Education: PhD in Artificial Intelligence from Universidad Carlos III de Madrid (2011, Distinguished Thesis Award). Research interests emphasize automated planning frameworks, heuristic search, and integrating machine learning with planning systems. Awards include the IJCAI 2016 Distinguished Paper Award and Sister Conferences Best Paper Award at IJCAI 2022. His work spans over 50 publications in venues like AI Journal, JAIR, and IJCAI. Advises PhD student Diego Aineto García and collaborates on grants and competitions. Active in organizing conferences and workshops.

• Global Program Analysis
• Verification
• Debugging
• +۵ مورد دیگر

Manuel V. Hermenegildo is a Distinguished Professor at the IMDEA Software Institute and a Full Professor at the Department of Computer Science, Universidad Politécnica de Madrid. He holds a PhD in Electrical and Computer Engineering from the University of Texas at Austin (1986). His academic career spans over four decades, contributing to global program analysis, verification, and parallel computing. Education: PhD, Electrical and Computer Engineering, University of Texas at Austin (1986) M.S., Electrical and Computer Engineering, University of Texas at Austin (1984) M.S., Electrical Engineering, Technical University of Madrid (1981) Research Interests: His work focuses on global program analysis , verification , and optimization for functional/non-functional properties. He pioneered techniques in abstract interpretation , parallelism , and constraint/logic programming . His contributions include the Ciao programming system and the CiaoPP preprocessor, emphasizing static analysis and program debugging . Key Awards: ACM Fellow Julio Rey Pastor Prize (2006) Elected member of Academia Europaea (2010) Test of Time Award at ICLP 2017 His work has been cited over 10,000 times, with an h-index of 60. Leadership & Contributions: Founded and directed the IMDEA Software Institute Directed Spain's National Research Directorate (1999–2002) Chair of major conferences (POPL 2010, ICLP 2006) Labs & Teams: Leader of the CLIP Lab (Computational Logic, Implementation, and Parallelism) Principal investigator in EU-funded projects on resource-aware computing

• Global Program Analysis
• Software Verification
• Debugging
• +۵ مورد دیگر

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.

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

استاد پژوهشی

• Program Analysis
• Program Transformation
• Constraint Logic Programming
• +۳ مورد دیگر

John Gallagher is a Research Professor (part-time) at the IMDEA Software Institute and holds a dual appointment as a full-time Professor at the University of Roskilde, Denmark. He leads the research group 'Programming, Logic and Intelligent Systems' at Roskilde University. His academic background includes a B.A. in Mathematics with Philosophy and a Ph.D. in Computer Science from Trinity College Dublin (1976 and 1983 respectively). Research interests focus on program transformation, program analysis, constraint logic programming, semantics-based emulation of languages, and software verification. He has contributed to national and European research projects in these areas and serves on editorial and steering committees for journals and workshops, including the ACM SIGPLAN PEPM series. With over 50 peer-reviewed publications and 1,200+ citations, his work emphasizes formal methods and programming language theory. He previously held positions at the University of Bristol (UK) and conducted postdoctoral research at the Weizmann Institute and Katholieke Universiteit Leuven.

• Energy-aware software development
• Resource usage optimization
• Parallel computing
• +۸ مورد دیگر

Pedro López is an Affiliate Faculty at the IMDEA Software Institute and a Tenured Researcher at the Spanish National Research Council (CSIC). He holds a PhD in Computer Science from the Technical University of Madrid (2000) and an MS from the same institution (1994). His roles include Deputy Director of the Artificial Intelligence unit at the UPM's Computer Science Department prior to joining IMDEA. Education: PhD in Computer Science, Technical University of Madrid, 2000 MS in Computer Science, Technical University of Madrid, 1994 Research Interests: Focuses on energy-efficient software development, resource optimization (energy, execution time), parallel computing across domains like IoT, healthcare, and HPC. Expertise includes abstract interpretation, type systems, and constraint/logic programming. His work emphasizes multi-language analysis and static profiling for non-functional properties. Grants & Projects: Principal Investigator for EU projects ES_PASS (Embedded Software Assurance) and FP7 FET ENTRA (Energy Transparency) Participated in numerous international/national research initiatives Affiliations: IMDEA Software Institute, CSIC. Active in research teams addressing whole-systems energy transparency and resource-aware program synthesis.

Ernest Tenienteمشاهده پروفایل

استاد

• Software Engineering
• Database Systems
• Conceptual Modeling
• +۴ مورد دیگر

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.

• Logic in Computer Science
• Automatic Reasoning
• Combinatorial Optimization
• +۳ مورد دیگر

Miquel Bofill Arasa is a Part-Time Lecturer in the Department of Computer Science, Applied Mathematics and Statistics at the University of Girona, where he has been teaching since 1999. His academic background includes a Degree and Doctorate in Computer Science from UPC (1991, 2004). He is affiliated with the Logic and Artificial Intelligence Research Group (LAI), contributing to research in formal methods and computational logic. PhD in Computer Science, UPC, 2004 BSc in Computer Science, UPC, 1991 His research focuses on the application of logic in computer science, particularly in automatic reasoning and solving combinatorial problems through logic-based formalisms. His work lies at the intersection of theoretical computer science and artificial intelligence, emphasizing formal verification and constraint modeling. While no recent publications are listed in the provided text, his research trajectory suggests sustained engagement with logical methods in computational problem solving, likely contributing to areas such as satisfiability, automated deduction, and knowledge representation. He has no listed scientific awards in the provided information. Miquel Bofill has served as a professor at UVic (1994–1999), contributed as a consultant professor and author for UOC materials (1997–1999), and has been a consistent teaching presence at the University of Girona since 1999. There is no mention of grant funding or student advising in the available data. He is an active member of the Logic and Artificial Intelligence Research Group (LAI) at the University of Girona, which serves as his primary research team and intellectual community.

Alessandra Gorlaمشاهده پروفایل

استاد پژوهشی

• Software Engineering
• Software Testing and Analysis
• Mobile Security
• +۳ مورد دیگر

Alessandra Gorla is an Associate Research Professor at the IMDEA Software Institute in Madrid, Spain. She holds a Ph.D. in Informatics from the Università della Svizzera Italiana (University of Lugano) in Switzerland, where her doctoral thesis on automatic workarounds for software failures earned the Fritz Kutter Award (2011). Prior to IMDEA, she was a postdoctoral researcher at Saarland University’s Software Engineering Chair in Germany and a visiting researcher at Google. Education: Ph.D. in Informatics, Università della Svizzera Italiana (2011) Research Interests: Her work focuses on software engineering, with emphasis on mobile and web security, software testing/analysis, and automatic software repair. She has pioneered techniques like intrinsic redundancy for self-healing systems and malware detection in mobile applications. Awards: Fritz Kutter Award (2011) Best Student Poster Award (2008) Best Paper Award (2014) Service: She has served as SBST program co-chair (2018), tool demo co-chair at FSE 2016, and artifact evaluation co-chair at ISSTA and ESSoS 2016. Her work spans organizing committees for major software engineering conferences. Teaching: She has taught courses on mobile testing, self-healing systems, and software engineering at Saarland University and the University of Lugano. Her lab focuses on advancing software reliability through automated techniques, with ongoing projects analyzing app behaviors, third-party libraries in iOS, and lazy initialization optimizations.

• Partial Differential Equations
• Quantum Theory
• Functional Analysis
• +۵ مورد دیگر

Miguel Angel Navarro Burgos is a PartTime Lecturer in the Department of Mathematics at the University of León , affiliated with the College of Industrial, Informatics and Aerospace Engineering. His research spans Partial Differential Equations , Functional Analysis , Quantum Theory , and Operator Theory , with a focus on stability of radial solutions, geometric quantization, and mathematical physics. He earned his Ph.D. from the Universidad de Granada (2016) under the supervision of Dr. Salvador Villegas Barranco. His recent publications analyze k-Hessian and p-Laplace equations , emphasizing semistable radial solutions , Liouville-type theorems , and geometric constraints . Additional work includes unitary operators in von Neumann algebras , Hölder norm-preserving mappings , and quantum field theory in curved spacetime . Co-authors include Victor Aldaya, Manuel Calixto, and Justino Sánchez. Key trends in his work: Stability and symmetry in PDEs Operator theory in quantum systems Geometric methods in mathematical physics Nonlinear elliptic equations Functional analysis applications No scientific awards are listed in the zbMATH Open database. His email is mnavb@unileon.es .

• Artificial Intelligence
• Logic Programming
• Constraint Programming
• +۲ مورد دیگر

Francisco Javier Larrosa Bondia is a faculty member at the Universitat Politècnica de Catalunya (UPC), affiliated with the School of Informatics of Barcelona (FIB) and the Department of Computer Science. He serves as Coordinator of the Doctoral Program in Artificial Intelligence and is part of the LOGPROG research group (Logic and Programming). Fields of Interest: Artificial Intelligence, Logic Programming, Constraint Programming, Knowledge Representation. Contact: Email larrosa@lsi.upc.edu , ORCID: 0000-0002-8322-0505, WoS Researcher ID: C-8764-2012. His academic production includes 35 indexed journal articles and 61 total scientific-technical documents, reflecting his contributions to computer science and AI research. The absence of explicit part-time status suggests full-time engagement in his roles.

• Automated Deduction
• Logic in Computer Science
• Formal Methods
• +۷ مورد دیگر

Jose Miguel Rivero Almeida is a researcher at the Department of Computer Sciences, Faculty of Computer Science of Barcelona (FIB), Universitat Politècnica de Catalunya (UPC). He is a member of the LOGPROG - Logic and Programming research group, focusing on formal reasoning, automated deduction, and algorithmic solutions in computer science. His research interests lie at the intersection of logic and computation, including automated deduction, constraint satisfaction, formal methods, and parallel algorithms. His work emphasizes theoretical foundations and practical implementations in theorem proving and logical reasoning systems. The recent publications reflect a sustained engagement in computational logic, with applications extending into engineering simulations and educational logistics. His research trajectory shows a consistent focus on logical frameworks and algorithm design, evolving from foundational work in term rewriting and unification to parallel computational methods in mechanics. Rivero Almeida has participated in several competitive R&D projects such as Sweetlogics-UPC and Soluciones Efectivas basadas en la Lógica, demonstrating collaborative and applied research efforts. While no specific scientific awards are listed, his long-standing contributions to the field are evident through his publications and research grants. He has advised or collaborated on various research initiatives, particularly within formal methods and logic-based computing. His work often involves interdisciplinary collaboration, including with the Barcelona Supercomputing Center. He has contributed to educational organization projects, indicating involvement in academic administration. Rivero Almeida is active in research labs and teams centered around logic and programming, notably the LOGPROG group. His work integrates with broader UPC research networks in automated reasoning and formal technologies.

• Proof Complexity
• Computational Complexity
• Algorithmics
• +۵ مورد دیگر

Ilario Bonacina is a Lecturer at the Department of Computer Science within the College of Computer Science of Barcelona (FIB) at the Polytechnic University of Catalonia . His research focuses on Proof Complexity , Computational Complexity , and Algorithmics , particularly in Polynomial Calculus and MaxSAT Optimization . Education: Laurea in Mathematics, Laurea Specialistica in Mathematics, and Doctorate from UPC. Research Interests include proof systems (Sherali-Adams, Nullstellensatz), algebraic methods, and theoretical computer science. Recent publications analyze complexity bounds and optimization algorithms. Scientific Awards include recognition for Best Italian PhD Theses in Theoretical Computer Science. He participates in competitive R+D+i projects like the State Plan for Scientific Research and Innovation.

Hila Pelegمشاهده پروفایل

استادیار

• Programming Languages
• Program Synthesis
• Human-Computer Interaction
• +۴ مورد دیگر

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.

Magnus O. Myreenمشاهده پروفایل

استاد

• Formal verification
• Interactive theorem provers
• Compilers
• +۶ مورد دیگر

Magnus O. Myreen is a Professor at Chalmers University of Technology in the Department of Computer Science and Engineering. His research focuses on formal verification , interactive theorem provers, compilers, machine code, and functional programming. He leads the CakeML project, aiming to create verified compilers and runtime systems. Education: B.A. in Computer Science from University of Oxford, Ph.D. in Program Verification from University of Cambridge. Current Roles: Professor at Chalmers, part-time researcher at Arm Ltd., and steering committee chair for ITP conference. His research integrates decompilation into logic , proof-producing synthesis , and verified stacks that connect software and hardware verification. Recent work includes verified compilers for Scheme and Dafny via CakeML, and end-to-end verification of subgraph-solving algorithms. Key publications highlight verified compiler ecosystems , including bootstrapping CakeML, cross-architecture compilation, and hardware verification. Trends in his work emphasize automated reasoning , compiler optimization , and verified computation for AI/ML . Scientific Awards: BCS Distinguished Dissertation Competition 2010 ACM SIGPLAN Most Influential POPL Paper Award 2024 Amazon Research Award for Compiling Dafny to CakeML (2023) Myreen has supervised PhD students Alejandro Gomez , Oskar Abrahamsson , and Andreas Loow . Funding includes grants from the Swedish Research Council and a Royal Society University Research Fellowship . He also contributes to projects like Milawa and HOL Light verification.

Philipp Ruemmerمشاهده پروفایل

استاد

• Program Verification
• Theorem Proving
• SMT Solving
• +۹ مورد دیگر

Philipp Ruemmer is a Professor of Theoretical Computer Science at University of Regensburg (2022–present) and a Senior Lecturer at Uppsala University's Department of Information Technology (2018–present). His research focuses on Program verification and theorem proving SMT/SAT solving and automata theory Embedded systems analysis and Java verification Machine learning applications in formal methods Concurrent and timed systems modeling His recent work includes string constraint solvers (Norn, OSTRICH, Sloth) and model checking tools (JayHorn, Eldarica). He has authored key papers in POPL, CPP, PLDI, and VMCAI on topics like Transducer-based string solving Certified decision procedures Regular constraint propagation Flattening techniques for constraints Notable scientific awards include the 2013 Uppsala University Oscar Prize and the 2005 SAP Award for academic excellence. He has led and participated in research grants from the Knut and Alice Wallenberg Foundation, Swedish Research Council, and Microsoft.