Miguel Cardoso Neves

I am a post-doctoral researcher at the Faculty of Computer Science of Dalhousie University, working with Prof. Israat Haque. Previously, I was a Research Associate at PUCRS (2020-2021) and a Part-time Professor at INF/UFRGS (2019-2020), all in Brazil. I hold a PhD degree in Computer Science from UFRGS under the supervision of Prof. Marinho Barcellos. During my PhD, I also spent one year as a research scholar at UC San Diego working with Prof. Kirill Levchenko. I got a B.Eng. degree in Computer Engineering in 2014 from UFRGS.
Curriculum Vitae (in Portuguese, maintained by research agency CNPq)

Research interests

  • Software defined networking
  • Network function virtualization
  • Network verification
  • Network security
  • Software security
  • Program analysis

Research projects


Email: mg478789 at dal dot ca
Faculty of Computer Science
Dalhousie University
6050 University Ave., PO BOX 15000
Halifax, NS B3H 4R2