Lead Research Scientist at CodeDNA
Miguel is the Lead Research Scientist at CodeDNA, an OutSystems AI research team that focuses on code analysis. His main research interests are Automated Reasoning, Program Analysis, and Synthesis. He studied Computer Engineering at Técnico Lisboa, where he completed a Ph.D. focused on the application of Automated Reasoning techniques to Multi-Objective Optimization. At OutSystems, he helped kickstart the AI-powered code analysis initiatives. Outside of work, his interests include board and video gaming, 3D printing, and mixology.