Who is Gabriela Moreira? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Gabriela Moreira is listed as CEO at Quint Co, based in Joinville, Santa Catarina, Brazil. AeroLeads shows a matched LinkedIn profile for Gabriela Moreira.
Gabriela Moreira previously worked as Research Engineer at Informal Systems and Temporary Lecturer at Universidade Do Estado De Santa Catarina. Gabriela Moreira holds Master'S Degree In Applied Computing, Formal Software Specification And Distributed Systems from Universidade Do Estado De Santa Catarina.
Company email context
Email format at Quint Co
This section adds company-level context without repeating Gabriela Moreira's masked contact details.
Quint Co
Review company-level records connected to Gabriela Moreira before choosing the right outreach path.
Profile bio
About Gabriela Moreira
I'm working on a formal specification language called Quint, based on TLA+. I'm also teaching Formal Methods at Santa Catarina State Universtity (UDESC).My interests beyond formal methods are programming languages, type theory, and compilers. I love the tools that I use for my day-to-day work: Emacs (specially org-mode!), Xmonad and NixOS.
Current workplace
Gabriela Moreira's current company
Company context helps verify the profile and gives searchers a useful next step.
5 roles
Gabriela Moreira work experience
A career timeline built from the work history available for this profile.
Research Engineer
Temporary Lecturer
Teaching Formal Methods for the Computer Science course.
Software Engineer
I work with a remote high performant developer team alongside developers and managers from Magrathea's clients, helping them solve complex problems. The latest solution we are working on involves a real-time clustering mechanism over a stream of events, which can get as high as thousands of events per second. We design everything for 10x scalability while keeping overall latency below company standards.
Feb 2019 - Dec 2021
Intern
Aug 2018 - Jan 2019
2 education records
Gabriela Moreira education
Master'S Degree In Applied Computing, Formal Software Specification And Distributed Systems
Bachelor'S Degree, Computer Science
FAQ
Frequently asked questions about Gabriela Moreira
Quick answers generated from the profile data available on this page.
What company does Gabriela Moreira work for?
Gabriela Moreira works for Quint Co.
What is Gabriela Moreira's role at Quint Co?
Gabriela Moreira is listed as CEO at Quint Co.
Where is Gabriela Moreira based?
Gabriela Moreira is based in Joinville, Santa Catarina, Brazil while working with Quint Co.
What companies has Gabriela Moreira worked for?
Gabriela Moreira has worked for Quint Co, Informal Systems, Universidade Do Estado De Santa Catarina, and Magrathea Labs.
How can I contact Gabriela Moreira?
You can use AeroLeads to view verified contact signals for Gabriela Moreira at Quint Co, including work email, phone, and LinkedIn data when available.
What schools did Gabriela Moreira attend?
Gabriela Moreira holds Master'S Degree In Applied Computing, Formal Software Specification And Distributed Systems from Universidade Do Estado De Santa Catarina.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Gabriela Moreira you were looking for.
View similar profiles
