Hi! I am dr. Carlos Diego Nascimento Damasceno. I am a researcher in model-based software engineering. Currently, I am a Postdoctoral Researcher at the Institute for Computing and Information Sciences (ICIS) of the Radboud University.
- Software Engineering (particularly, modeling and testing)
- Empirical Software Engineering
- Test Case Generation and Prioritization
- Model-Based Testing
- Model-Driven Engineering
- Automata learning (e.g., Angluin L*, L*M)
- Software Product Lines
- Project Management
- Research Data Management (RDM)
I am former Student supervisor and Online tutor of the Postgraduate course on Applied Computing in Education at University of Sao Paulo (CAE-USP). From March to November 2020, I worked in the CAE-USP course supervising students developing term papers on Educational Data Mining and producing video content to a module on Scientific Writing and Methodology.
Between 2016 and 2020, I was a research assistant and PhD candidate at the University of São Paulo (ICMC-USP) under the joint supervision of Adenilso Simao and Mohammad Mousavi. During my doctoral studies, I spent one year as Visiting PhD student researcher at the University of Leicester performing research in the broad field of software engineering. In my PhD thesis, I investigated techniques to construct finite state machine models from evolving systems.
I earned my Master’s degree in Computer Science (2014-2016) also from the ICMC-USP. In my MSc dissertation, I performed studies in model-based test generation and prioritization for Role-Based Access Control systems and empirical software engineering.
I hold a Bachelor in Computer Science (2008-2014) from the Federal University of Pará (UFPa). Within the scope of my undergraduate course, I had working and research experiences as Software Engineering Intern at Siemens, and Scientific initiation scholar of multiple research laboratories at UFPa, such as Software Engineering Laboratory (LabES), High Performance Network Planning Laboratory (LPRAD) and Laboratory of Computational Intelligence (LINC).