Francisco Servant is Assistant Professor at the Institute for Software Engineering and Software Technology (ITIS) of the University of Málaga. Before, he was Assistant Professor at Virginia Tech. You can find him at: Despacho 3.3.2.IV.
Francisco received a Ph.D. in Software Engineering from the University of California, Irvine, advised by James A. Jones. He also holds a M.S. in Information and Computer Sciences from the University of California, Irvine, supervised by André van der Hoek. Francisco obtained his B.S. in Computer Science from the University of Granada in Spain.
His research focuses on software development productivity
, software quality
, and software security
.
He uses software evolution analysis and program analysis to create practical, efficient, and human-friendly techniques and tools that provide automatic support for all stages of software development. His research interests include software development productivity, software quality, mining of software repositories, program comprehension, and software visualization.
He has published articles in these areas at top software engineering conferences (e.g., ICSE, FSE, ASE) and journals (e.g., TOSEM, JSS). He also performed research for large technology companies, such as Microsoft Research and DreamWorks Animation.
Dr. Servant obtained the NSF CAREER award, an International Distinguished Researcher award, the Ramón y Cajal award, and the R3 Certificate for Research Quality and Independence. His research has been supported by the United States National Science Foundation (NSF), an International Distinguished Researcher award, and the Spanish Agencia Estatal de Investigación (AEI).
2024 | Paper accepted to Journal of Systems and Software (JSS) | |
2023 | Received the R3 Certificate for Research Quality and Independence | |
2023 | Research Grant Awarded: Proyecto de Generación de Conocimiento (PGC) by Agencia Estatal de Investigación (AEI) | |
2023 | Paper accepted to Journal of Systems and Software (JSS) | |
2023 | Paper accepted to ACM Transactions on Software Engineering and Methodology (TOSEM) | |
2023 | Paper accepted to IEEE Symposium on Security and Privacy (S&P) | |
2022 | 2x Papers accepted to Journal of Systems and Software (JSS) | |
2022 | Joined Universidad de Málaga | |
2021 | Received the Ramón y Cajal Award. #1 position in my category. | |
2021 | 2x Papers accepted to Journal of Systems and Software (JSS) | |
2021 | Paper accepted to IEEE Symposium on Security and Privacy (S&P) | |
2021 | Paper accepted to International Conference on Software Engineering (ICSE) | |
2021 | Joined Universidad Rey Juan Carlos as International Distinguished Researcher | |
2021 | Received the NSF CAREER Award |
2023 | R3 Certificate for Research Quality and Independence. Agencia Estatal de Investigación, Spain. |
2021 | Ramón y Cajal Award (#1 in my category). Agencia Estatal de Investigación, Spain. |
2021 | International Distinguished Researcher. Universidad Rey Juan Carlos, Spain |
2021 | NSF CAREER Award, National Science Foundation, U.S.A. |
2020 | Distinguished Reviewer Award, MSR 2020. |
2019 | ACM SIGSOFT Distinguished Paper Award, ASE 2019. |
2019 | Second Best Paper Award, SIGCSE 2019. |
2018 | ACM SIGSOFT Distinguished Paper Award, ESEC/FSE 2018. |
2023–2026 | “EGSVAI: Verificación De Software Eficiente Y Ecológica Mediante La Inteligencia Artificial”. Agencia Estatal de Investigación (AEI), PID2022-142964OA-I00, Francisco Servant (PI), 2023–2026. Total: €128,750 |
2021–2025 | “Autonomous Targeted Software Verification”. National Science Foundation (NSF) CCF-2046403 (CAREER), Francisco Servant (PI), 2021–2025. Total: $470,374 |
2024 Spring | Introducción a la Ingeniería del Software. |
Redes y Sistemas Distribuídos. | |
2023 Fall | Análisis y Diseño de Algoritmos. |
Ingeniería del Software. | |
2022 Spring | Fundamentos de Software de Comunicaciones. |
Protocolos e Interfaces de Comunicación. | |
Redes y Sistemas Distribuidos. | |
2022 Fall | Redes Móviles Definidas por Software. |
2022 Spring | Servicios y Aplicaciones en Redes de Ordenadores. |
Servicios y Aplicaciones Telemáticas. | |
Servicios Telemáticos. |
2020 Fall | CS 3704: Intermediate Software Design and Engineering |
CS 6704: Software Engineering Automation | |
2020 Spring | CS 3704: Intermediate Software Design and Engineering |
2019 Fall | CS 5704: Software Engineering |
2019 Spring | CS 3704: Intermediate Software Design and Engineering |
2018 Fall | CS 4704: Software Engineering Capstone |
CS5974 Independent Study | |
CS 6704: Software Engineering Automation | |
2018 Spring | CS 3704: Intermediate Software Design and Engineering |
2017 Fall | CS 5704: Software Engineering |
2016 Fall | CS 6704: Software Engineering Automation |
2016 Spring | CS 3704: Intermediate Software Design and Engineering |
2015 Fall | CS 5704: Software Engineering |
2012 Spring | IN4MATX 115: Software Testing and Quality Assurance. |
2012 Winter | IN4MATX 42: Informatics Core II. |
IN4MATX 191C: Senior Design Project. | |
2011 Fall | IN4MATX 113: Requirements Analysis & Engineering. |
IN4MATX 191B: Senior Design Project. |
2022 | Proceedings Chair, International Conference on Open Source Systems (OSS). |
2021 | Co-chair, International Conference on Software Engineering (ICSE), Demonstrations Track. |
2023 | ACM SIGSOFT Early Career Researcher Award. |
ACM SIGSOFT Frank Anger Memorial Award. | |
ACM SIGSOFT Outstanding Doctoral Dissertation Award. |
2022 | Agencia Estatal de Investigación (AEI), Spain. |
2021 | National Science Foundation (NSF), U.S.A. |
2016 | National Science Foundation Fonds de recherche du Québec – Nature et technologies (FRQNT), Canada. |
2023 | IEEE Software. |
IEEE Transactions on Software Engineering Journal (TSE). | |
Journal of Systems and Software (JSS). | |
Empirical Software Engineering Journal (EMSE). | |
2022 | Journal of Systems and Software (JSS). |
Empirical Software Engineering Journal (EMSE). | |
IEEE Transactions on Software Engineering Journal (TSE). | |
2021 | IEEE Transactions on Software Engineering Journal (TSE). |
Empirical Software Engineering Journal (EMSE). | |
2020 | IEEE Transactions on Software Engineering Journal (TSE). |
Empirical Software Engineering Journal (EMSE). | |
Journal of Systems and Software (JSS). | |
2019 | IEEE Transactions on Software Engineering Journal (TSE). |
Empirical Software Engineering Journal (EMSE). | |
2018 | IEEE Transactions on Software Engineering Journal (TSE). |
IEEE Software. | |
Empirical Software Engineering Journal (EMSE). | |
Journal of Systems and Software (JSS). | |
2017 | IEEE Transactions on Software Engineering Journal (TSE). |
2016 | IEEE Transactions on Software Engineering Journal (TSE). |
2015 | Journal of Internet Services and Applications (JISA). |
Journal of Systems and Software (JSS). | |
2013 | Central European Journal of Computer Science (CEJCS). |
2024 | International Conference on the Foundations of Software Engineering (FSE), Technical Track. |
2023 | Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Technical Track. |
International Conference on Software Engineering (ICSE), Technical Track. | |
2022 | International Conference on Software Maintenance and Evolution (ICSME), Technical Track. |
International Conference on Program Comprehension (ICPC), Technical Track. | |
2021 | International Conference on Software Maintenance and Evolution (ICSME), New Ideas and Emerging Results (NIER) Track. |
International Conference on Automated Software Engineering (ASE), Technical Track. | |
International Conference on Software Engineering (ICSE), Judge for Student Research Competition (SRC) Track. | |
2020 | International Conference on Automated Software Engineering (ASE), Technical Track. |
International Conference on Mining Software Repositories (MSR), Technical Track. Distinguished Reviewer Award. |
|
2019 | International Conference on Mining Software Repositories (MSR), Technical Track. |
International Symposium on the Foundations of Software Engineering (FSE), Judge for Student Research Competition (SRC) Track. | |
International Conference on Software Maintenance and Evolution (ICSME), Short papers Track. | |
International Working Conference on Source Code Analysis and Manipulation (SCAM), Engineering Track. | |
International Conference on Software Engineering (ICSE), New Ideas and Emerging Results (NIER) Track. | |
2018 | International Conference on Software Maintenance and Evolution (ICSME), Technical track. |
International Conference on Software Maintenance and Evolution (ICSME), Artifacts track. | |
International Symposium on the Foundations of Software Engineering (FSE), New Ideas and Emerging Results (NIER) Track. | |
International Conference on Program Comprehension (ICPC), Industry Track. | |
International Conference on Program Comprehension (ICPC), Demonstrations Track. | |
2012 | International Conference on Program Comprehension (ICPC), Demonstrations Track. |
International Working Conference on Mining Software Repositories (MSR), Mining Challenge Track. |