Iago A. is a Senior Software Engineer specializing in Program Analysis at Semgrep since May 2021, focusing on the static analyzer Semgrep. Previously, Iago A. worked at Prover Technology from April 2017 to April 2021 as an R&D/Software Engineer, where contributions included developing CENELEC T2-class translators in OCaml and applying AI techniques to enhance the PSL model-checker. Prior experience includes a PhD research position at the IT University of Copenhagen from September 2013 to February 2017, which involved bug finding in C programs and co-creating the Variability Bug Database. Iago A. also interned and served as a research assistant at Educed Lda & University of Minho, designing a SAT solver for software requirements, and conducted research on bit-vector arithmetic problems at Universidade do Minho. Iago A. holds a 5-year Engineer's degree in Computer Engineering from Universidade da Coruña and completed a specialization course in Formal Methods in Software Engineering at Universidade do Minho.
This person is not in any offices