- 🌍 I'm based in Corumbá, Brazil
- 🖥️ See my profile on linkedin
- ✉️ You can contact me at [email protected]
- 🤝 I'm open to collaborating on interesting projects as a developer
- ⚡ I've been developing as much code as I can using Javascript-related frameworks, namely Node.JS, React.JS, Next.JS, Angular 11+ and developing as much code as I can among various projects.
- 2018 - Computer Science (Ph.D.)
- Trinity College Dublin, Ireland
- Software Engineering • Formal Methods
- Thesis: Model-Checking Circus with FDR using Circus2CSP
-
2012 - Computer Science (M.Sc.)
- University of York, England
- Software Engineering • Formal Methods
- Thesis: Formal Specification of the ARINC 653 Architecture Using Circus
-
2010 - Computer Science (B.Sc.)
- Federal University of Rio G. do Norte, Brazil
- Software Engineering • Formal Methods
- Thesis: Formal Development of a Cardiac Pacemaker: From Specification to Code
- In my PhD thesis, I wrote a translation tool using Haskell, a functional language, which is quite different from what I was used to before. And since then, I see other programming languages in a different way.
- When I was in college, I worked as a freelancer shooting professional photos for weddings and graduation cerimonies.
- I like to travel a lot and went to 🇧🇷🇫🇷🇩🇪🇧🇪🇳🇱🇬🇧🇵🇹🇧🇴🇮🇪🇪🇸🏴🇭🇷🇦🇹🇮🇹🇨🇾🇨🇿🇦🇪🇹🇭🇦🇷🇺🇾