A graduate in Industrial Automation currently pursuing a degree in Computer Engineering, with a keen interest in development and the acquisition of new programming languages.

Postgraduate in Agile Product Management with certifications as Product Owner and Scrum Master, currently holding the position of Agile Coach. Proficient in steering multifunctional team efforts in product development, consistently achieving substantial value deliveries. Possesses strong expertise in comprehending user experiences and overseeing the full product lifecycle from conception to delivery across various industries, including Fintech, Healthcare, Services, and Logistics/Transport. Dedicated to advancing a career in product development with a focus on excellence in end-user experience.

Full Stack Developer with expertise rooted in Information Systems and a career transition initiated in 2014, resuming in 2019 with a specific emphasis on JavaScript development. This professional's experience encompasses significant contributions to the retail sector through web system development, utilizing a comprehensive skill set that includes JavaScript/TypeScript, Node.js, and React. Specializations involve crafting robust frontends with React and developing efficient backends with Node.js APIs, alongside proficiency in serverless implementations for optimal resource management and scalability through the use of non-relational databases. Additional technical skills span Ruby on Rails, Oracle, and NoSQL databases, complemented by a personal interest in Arduino hobby projects. Current endeavors focus on advancing expertise in Ruby on Rails and Arduino, reflective of a commitment to continuous learning. Dedicated to seeking innovative projects and challenges within the development landscape.

As a Systems Analyst and Developer with a degree in Information Systems, I have crafted solutions for a variety of platforms, including Web, Mobile, and Desktop. My expertise extends to the development of 3D solutions, particularly tailored for the furniture industry. Additionally, I have devised systems for a range of applications such as sales force automation, helpdesk management, pharmaceutical services, ISPs, warehouse management, digital processing, marketing, mobile technology, augmented reality, and embedded software. I am also the founder and organizer of GDG Serra Gaúcha, a professional group focused on enhancing the IT ecosystem.

A seasoned software engineer with eight years of programming experience, currently dedicated to addressing real-world technological challenges through innovative solutions. Professional journey includes founding a software development company, driven by a passion for problem-solving. Additionally, engaged in game development, utilizing advanced platforms such as Unreal Engine 5 and Unity.

An experienced BI Analyst with nearly two years in the field, exhibiting a dynamic background in both the vehicle insurance sector and mixed-economy organizations involving state and private entities. Possesses a robust foundation in data analysis, data visualization, and deriving insights from varied data sources. Skilled in a range of technologies including Python, SQL, Power BI, and Excel. Committed to contributing to organizational growth through current expertise and an ongoing dedication to learning in the business intelligence domain.

Angular and .NET Core Developer with five years of experience in specialized technologies and design patterns, including NGRX, RXJS, NGX-TRANSLATE, Lazy Loading, Angular I18n, D3.js, as well as SOLID principles, Domain-Driven Design (DDD), Facade pattern, and CQRS with Mediator.

A Computer Science graduate from the Catholic University of Brasília, possessing three years of experience in .NET back-end application development, alongside expertise in front-end development utilizing Angular and VueJs frameworks.

Averest is a framework for the specification, verification, and synthesis of reactive systems. It provides tools for modeling systems using synchronous programming languages, verifying their properties through model checking, and generating executable code from these models.

An Averest expert must have strong skills in synchronous programming, formal verification methods, and model checking. Proficiency in specification languages and experience with reactive systems design are also essential. Familiarity with related tools and frameworks for system synthesis is beneficial.

How to hire a Averest expert

Averest was developed to address the need for a comprehensive framework in the specification, verification, and synthesis of reactive systems. It emerged from academic research in the early 2000s, focusing on synchronous programming and formal verification techniques. The framework aimed to provide robust tools for ensuring the correctness and reliability of complex systems.

About Averest

Averest's strengths include its robust tools for formal verification and synthesis of reactive systems, as well as its support for synchronous programming languages. Its weaknesses may involve a steeper learning curve and limited community support compared to more popular frameworks. Competitors include tools like UPPAAL, NuSMV, and the Ptolemy project.

Averest

Top 5*

Programming Languages

About Averest

How to hire a Averest expert

The Best of the Best Optimized for Your Budget