Looks like you have JavaScript disabled. For the full Twine experience, you will need to re-enable it.

I am a Ph.D. candidate in Computer Science and Engineering at Instituto Superior Técnico (IST) and a First Stage Researcher at INESC ID in the Automated Reasoning and Software Reliability (ARSR) unit. My research focuses on program analysis , symbolic execution , and formal verification, which is an automated form of quality assurance. I have industry experience from working at Cloudflare and OCamlPro. I am an active contributor to open-source software projects. I am a contributor to the Owi (OCaml Wasm Interpreter) cross-language bugfinder and the creator and maintainer of Smt-ml, an SMT solver frontend for OCaml.…I am a Ph.D. candidate in Computer Science and Engineering at Instituto Superior Técnico (IST) and a First Stage Researcher at INESC ID in the Automated Reasoning and Software Reliability (ARSR) unit. My research focuses on program analysis , symbolic execution , and formal verification, which is an automated form of quality assurance. I have industry experience from working at Cloudflare and OCamlPro. I am an active contributor to open-source software projects. I am a contributor to the Owi (OCaml Wasm Interpreter) cross-language bugfinder and the creator and maintainer of Smt-ml, an SMT solver frontend for OCaml.

Filipe Marques

Developer, Back-End Developer, Full Stack Developer





I am a Ph.D. candidate in Computer Science and Engineering at Instituto Superior Técnico (IST) and a First Stage Researcher at INESC ID in the Automated Reasoning and Software Reliability (ARSR) unit. My research focuses on program analysis , symbolic execution , and formal verification, which is an automated form of quality assurance. I have industry experience from working at Cloudflare and OCamlPro. I am an active contributor to open-source software projects. I am a contributor to the Owi (OCaml Wasm Interpreter) cross-language bugfinder and the creator and maintainer of Smt-ml, an SMT solver frontend for OCaml.…I am a Ph.D. candidate in Computer Science and Engineering at Instituto Superior Técnico (IST) and a First Stage Researcher at INESC ID in the Automated Reasoning and Software Reliability (ARSR) unit. My research focuses on program analysis , symbolic execution , and formal verification, which is an automated form of quality assurance. I have industry experience from working at Cloudflare and OCamlPro. I am an active contributor to open-source software projects. I am a contributor to the Owi (OCaml Wasm Interpreter) cross-language bugfinder and the creator and maintainer of Smt-ml, an SMT solver frontend for OCaml.

Available to hire

I am a Ph.D. candidate in Computer Science and Engineering at Instituto Superior Técnico (IST) and a First Stage Researcher at INESC ID in the Automated Reasoning and Software Reliability (ARSR) unit.

My research focuses on program analysis , symbolic execution , and formal verification, which is an automated form of quality assurance. I have industry experience from working at Cloudflare and OCamlPro.

I am an active contributor to open-source software projects. I am a contributor to the Owi (OCaml Wasm Interpreter) cross-language bugfinder and the creator and maintainer of Smt-ml, an SMT solver frontend for OCaml.

Skills

Experience Level

Expert

Expert

Expert

Expert

Intermediate

Language

Portuguese

Fluent

English

Fluent

Spanish; Castilian

Intermediate

French

Beginner

Work Experience

Software Engineer Intern at Cloudflare

September 1, 2025 - October 19, 2025

As a software engineer intern at Cloudflare, I worked to enhanced the security of Cloudflare's privacy proxies by integrating the Keyless SSL protocol.

First Stage Researcher at INESC ID

October 1, 2022 - Present

In my current role as a first stage researcher, I focus on automated reasoning and software reliability, contributing to cutting-edge research in the field.

Software Engineer Intern at OCamlPro

September 1, 2024 - October 19, 2025

At OCamlPro, I worked on a project called Owi, which involved symbolic analysis for web technologies.