Daniel-Jesus Munoz Joins SoftVarE Group as Guest Researcher

Ulm University

Daniel-Jesus Munoz received his M.Sc. Degree in Computer Science Engineering from the University of Málaga (Spain) in 2015, and his M.Sc. Degree in Astronomy and Astrophysics in 2017 from the Valencian International University (Spain). He started his IT PhD. in 2016, and currently is a PhD. Candidate. Since then, he is part of the CAOSD group, led by Professor Lidia Fuentes, who has been his mentor alongside Professor Mónica Pinto. He has been a lecturer since 2021 at the Department of Computer Science of the University of Malaga. He is a former guest Researcher at the University of Bristol (UK), the University of Texas at Austin (USA) and the KTH Royal Institute of Technology in Stockholm (Sweden). His current areas of expertise are Software Product Lines, Variability, Automated Reasoning, Energy Efficiency, Optimisation, Category Theory, and Blockchain.

Since June 2023, he has been conducting a four months research stay in the Software Variability and Evolution (SoftVarE) group in the Institute of Software Engineering and Programming Languages at Ulm University. Under the leadership of the head of the group Prof. Dr. Thomas Thüm, Daniel’s main plan is to work alongside the PhD. Student Chico Sundermann by including numerical features, arithmetic constraints, and variant-wise quality attributes in (near) optimal search approaches that are boolean-based. A parallel plan is to collaborate with the PhD. Student Paul Maximilian Bittner in migrating Daniel’s Category Theory framework for Software Product Lines to another set of formal theories tools and reasoning methods.