David Fernandez-Amoros

Registered user since Wed 8 May 2019

Name:David Fernandez-Amoros

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

Research interests:Software Product Lines, Formal methods, Computational Logic


ASE 2022 Author of Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel within the Research Papers-track
ICSE 2021 Author of Inconsistency-tolerating guidance for software engineering processes within the NIER - New Ideas and Emerging Results-track
ICSE 2019 Author of Supporting the Statistical Analysis of Variability Models within the Technical Track-track