Personal information
Verified email addresses
luiseduardo.bueso.debarrio@upm.es
Verified email domains
upm.es
Computer Science, Formal Methods, Property-Based Testing
Spain
Activities
Employment (3)
2023-02-03
to
present
|
R1 - POSTGRADUADO NO DOCTOR
(Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Software, Escuela Técnica Superior de Ingenieros Informáticos)
Employment
Source:
Luis Eduardo Bueso de Barrio
2020-09-01
to
2023-01-31
|
I3 - INVESTIGADOR POSTGRADUADO NO DOCTOR
(Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Software, Escuela Técnica Superior de Ingenieros Informáticos)
Employment
Source:
Luis Eduardo Bueso de Barrio
2017-03-01
to
2017-06-30
(Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Software, Escuela Técnica Superior de Ingenieros Informáticos)
Employment
Source:
Luis Eduardo Bueso de Barrio
Education and qualifications (5)
2022-03
to
present
|
Doctorado en Software, Sistemas y Computación
Education
Source:
Luis Eduardo Bueso de Barrio
2019-06
to
present
|
Grado en Música
Education
Source:
Luis Eduardo Bueso de Barrio
2019-09
to
2020-10
|
Máster Interuniversitarrio en Métodos Formales en Ingeniería Informática
Education
Source:
Luis Eduardo Bueso de Barrio
2014-09
to
2019-06
|
Graduado en Ingeniería Informática
Education
Source:
Luis Eduardo Bueso de Barrio
2017-06
|
Grado Medio en Música
Education
Source:
Luis Eduardo Bueso de Barrio
Professional activities (1)
2017-07
to
present
Membership
Source:
Luis Eduardo Bueso de Barrio
Works (18)
2025
|
Book chapter
Contributors:
Ignacio Ballesteros;
Luis Eduardo Bueso de Barrio;
Julio Mariño
Source:
check_circle
Crossref
Journal of Logical and Algebraic Methods in Programming
2025-01
|
Journal article
Contributors:
Luis Eduardo Bueso de Barrio;
Lars-Åke Fredlund;
Ángel Herranz;
Julio Mariño;
Clara Benac Earle
Source:
check_circle
Crossref
grade
Preferred source
(of
2)
2024-08-28
|
Conference paper
Contributors:
Luis Eduardo Bueso de Barrio;
Lars-Åke Fredlund;
Clara Benac Earle;
Ángel Herranz;
Julio Mariño
Source:
check_circle
Crossref
grade
Preferred source
(of
2)
Proceedings of the Acm Sigplan International Workshop on Erlang, Erlang
2023
|
Journal article
Contributors:
Bueso de Barrio, Luis Eduardo;
Fredlund, Lars-Ake;
Benac Earle, Clara;
Herranz, Angel;
Marino, Julio
Source:
check_circle
Web of Science Researcher Profile Sync
grade
Preferred source
(of
2)
Formal Methods for Blockchains 2022
2022
|
Conference paper
Contributors:
Ignacio Ballesteros;
Clara Benac-Earle;
Luis Eduardo Bueso de Barrio;
Lars-Åke Fredlund;
Ángel Herranz;
Julio Mariño
Source:
Luis Eduardo Bueso de Barrio
Proceedings of the Acm Sigplan International Workshop on Erlang, Erlang
2022
|
Journal article
Contributors:
Perez, Sergio;
de Barrio, Luis Eduardo Bueso;
Ballesteros, Ignacio;
Herranz, Angel;
Marino, Julio;
Earle, Clara Benac;
Fredlund, Lars-Ake
Source:
check_circle
Web of Science Researcher Profile Sync
grade
Preferred source
(of
2)
Elixir Madrid Meetup
2022-09
|
Lecture
Contributors:
Ángel Herranz Nieva;
Luis Eduardo Bueso de Barrio
Source:
Luis Eduardo Bueso de Barrio
Code Beam Europe 2022
2022-05-20
|
Lecture
Source:
Luis Eduardo Bueso de Barrio
Erlang: Proceedings of the Acm Sigplan International Workshop on Erlang
2021
|
Journal article
Contributors:
Bueso de Barrio, Luis Eduardo;
Fredlund, Lars-Ake;
Herranz, Angel;
Benac Earle, Clara;
Marino, Julio
Source:
check_circle
Web of Science Researcher Profile Sync
grade
Preferred source
(of
2)
Actas de las Jornadas de PROgramación y LEnguajes 2021
2021-09
|
Conference paper
Contributors:
Ignacio Ballesteros González;
Luis Eduardo Bueso de Barrio;
Julio Mariño Carballo
Source:
Luis Eduardo Bueso de Barrio
ACM SIGPLAN Erlang Workshop
2021-08-26
|
Lecture
Contributors:
Luis Eduardo Bueso de Barrio
Source:
Luis Eduardo Bueso de Barrio
Actas de las Jornadas de PROgramación y LEnguajes 2018
2018-09
|
Conference paper
Contributors:
Ignacio Ballesteros González;
Luis Eduardo Bueso de Barrio;
Lars-Åke Fredlund;
Julio Mariño Carballo
Source:
Luis Eduardo Bueso de Barrio
Capítulo de estudiantes ACM UPM
2018-02-18
|
Lecture
Contributors:
Luis Eduardo Bueso de Barrio
Source:
Luis Eduardo Bueso de Barrio
Software
Contributors:
Luis Eduardo Bueso de Barrio;
Lars-Åke Fredlund;
Ignacio Ballesteros González
Source:
Luis Eduardo Bueso de Barrio
Software
Contributors:
Ángel Herranz Nieva;
Luis Eduardo Bueso de Barrio
Source:
Luis Eduardo Bueso de Barrio
Software
Contributors:
Luis Eduardo Bueso de Barrio;
Ignacio Ballesteros González
Source:
Luis Eduardo Bueso de Barrio
Software
Contributors:
Lars-Åke Fredlund;;
Luis Eduardo Bueso de Barrio
Source:
Luis Eduardo Bueso de Barrio
Software
Contributors:
Luis Eduardo Bueso de Barrio;
Lars-Åke Fredlund
Source:
Luis Eduardo Bueso de Barrio