Write a Blog >>
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

ASE 2022 Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel
Show activities from other conferences

ASE 2022-profile
View general profile