Skip to main content

Main navigation

  • About ITEFI
  • Research
  • Formación y empleo
  • OpenLab
  • Servicios científico técnicos
  • Staff Directory

López García, Pedro

Investigador científico
438866
914 221 136
Contacto

Publicaciones recientes

VeriFly: On-the-fly Assertion Checking via Incrementality
Theory and Practice of Logic Programming, 21(6), 768-784.
Regular Path Clauses and their Application in Solving Loops
Proceedings of the Eighth International Workshop Horn Clauses for Verification and Synthesis (HCVS 2021), Electronic Proceedings in Theoretical Computer Science (EPTCS), pág. 1-14, Open Publishing Association (OPA), Agosto 2021. Co-located with ETA
VeriFly: On-the-fly Assertion Checking with Ciao PP
6th Workshop on Formal Integrated Development Environment (F-IDE 2021), Electronic Proceedings in Theoretical Computer Science (EPTCS), pág. 1-5, Open Publishing Association (OPA), Mayo 2021. Co-located with ETAPS 2021
A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking
Tesis doctoral presentada en la Escuela Técnica Superior de Ingenieros Informáticos de la Universidad Politécnica de Madrid el 5 de marzo de 2021
Testing Your (Static Analysis) Truths
Truths. Logic-Based Program Synthesis and Transformation - 30th International Symposium, Post-Proceedings, Lecture Notes in Computer Science, Vol. 12561, pág. 271-292, Springer, 2021.
Acoustics and Non Destructive Evaluation (DAEND)
  • Environmental Acoustics (GAA)
  • G Carma: Materials Characterization by Non Destructive Evaluation
  • ULAB, Ultrasounds for Liquid Analysis and Bioengineering
Information and Communication Technologies (TIC)
  • Cybersecurity and Privacy Protection Research Group (GiCP)
  • Research group on Cryptology and Information Security (GiCSI)
    • Quantum Communications Laboratory (LCQE)
  • Multichannel Ultrasonic Signal Processing Group (MUSP)
Sensors and Ultrasonic Systems (DSSU)
  • Ultrasonic Systems and Technologies (USTG)
  • Nanosensors and Smart Systems (NoySi)
  • Ultrasonic Resonators for cavitation and micromanipulation (RESULT)
  • Advanced Sensor Technology (SENSAVAN)
  • Quantum Electronics (QE)
Laboratorios
  • Laboratorio de Acústica
  • Laboratorio de Metrología Ultrasónica Médica (LMUM)
  • Laboratorio de Comunicaciones Cuánticas
  • Laboratory for International Collaboration in Advanced Biophotonics Imaging

Instituto de Tecnologías Físicas y de la Información Leonardo Torres Quevedo  - ITEFI
C/ Serrano, 144. 28006 - Madrid • Tel.: (+34) 91 561 88 06  Contacto  •  Intranet
EDIFICIO PARCIALMENTE ACCESIBLE POR PERSONAS CON MOVILIDAD REDUCIDA