Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
David Fernandez-Amoros

Registered user since Wed 8 May 2019

Name:David Fernandez-Amoros
Bio:

David Fernandez-Amoros received the M.S degree in Mathematics and the M.S degree in Philology from the Universidad Complutense de Madrid in 1994 and 2009, respectively, and the Ph.D. degree in Computer Science from the Universidad Nacional de Educación a Distancia (UNED) in 2004. Since November, 2001 he has held several teaching positions and now works as a Associate Professor with the UNED. His research and teaching interests include Software Engineering (mainly formal methods applied to product lines analysis) and Natural Language Processing

Country:Spain
Affiliation:UNED
Research interests:Software Product Lines, Formal methods, Computational Logic

Contributions

Show activities from other conferences

ICSE 2021-profile
View general profile