Hi, I'm Filipe Marques. I'm a PhD Student in Computer Science and Engineering at Instituto Superior Técnico (IST) and a junior researcher at INESC ID, enrolled through the CMU Portugal Affiliated PhD Program.
My research focuses on programming languages, formal methods, and automated test generation, with a particular interest in making software systems more secure and reliable. I am fortunate to be advised by Professors José Fragoso Santos, Nuno Santos, and Limin Jia.
I'm also an open-source enthusiast, a strong advocate for well-typed code, and an unapologetic fan of OCaml. I believe programming languages should help you reason, not just compile.