- ๐ I'm based in Corumbรก, Brazil
- ๐ฅ๏ธ See my profile on linkedin
- โ๏ธ You can contact me at artur.o.gomes@gmail.com
- ๐ I'm currently working at Universidade Federal de Mato Grosso do Sul (Brazil)
- ๐ค 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 ๐ง๐ท๐ซ๐ท๐ฉ๐ช๐ง๐ช๐ณ๐ฑ๐ฌ๐ง๐ต๐น๐ง๐ด๐ฎ๐ช๐ช๐ธ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ญ๐ท๐ฆ๐น๐ฎ๐น๐จ๐พ๐จ๐ฟ๐ฆ๐ช๐น๐ญ๐ฆ๐ท๐บ๐พ