Andrei de Araujo Formiga, Developer in João Pessoa - State of Paraíba, Brazil
Andrei is available for hire
Hire Andrei

Andrei de Araujo Formiga

Verified Expert  in Engineering

Software Engineer and Developer

João Pessoa - State of Paraíba, Brazil

Toptal member since August 1, 2022

Expertise
AlgorithmsCC++JavaJavaScriptRustRubyElixirRuby on RailsReact.jsLinuxTypeScriptMachine LearningDirectX
Bio

Andrei is a software engineer that pivoted to academic research and lecturing as a professor of computer science. He has a solid background in programming languages and algorithms that allows him to easily handle the design and implementation of software development projects. Andrei has also worked on machine learning and formal methods and is willing to embrace new challenges.

Portfolio

Centro Universitário de João Pessoa (UNIPÊ)
Compilers, Algorithms, Data Structures
Zenite Tecnologia e Teleinformatica
Java, C, GPS
Light Infocon Tecnologia
C, C++, DCOM, Visual Basic

Experience

  • Algorithms - 8 years
  • JavaScript - 4 years
  • Rust - 3 years
  • Vue - 1 year
  • Elixir - 1 year
  • Phoenix - 1 year
  • Ruby - 1 year
  • React - 1 year

Availability

Part-time

Preferred Environment

Linux, MacOS, Emacs

The most amazing...

...project I've worked on was redesigning the file allocator for a custom database management system that significantly improved its performance.

Work Experience

Professor

2006 - 2010
Centro Universitário de João Pessoa (UNIPÊ)
  • Taught two complementary courses on compiler construction.
  • Lectured an advanced course on data structures and a course on formal languages and Automata.
  • Advised undergraduate students in their graduation projects.
Technologies: Compilers, Algorithms, Data Structures

Software Engineer

2004 - 2004
Zenite Tecnologia e Teleinformatica
  • Prototyped technologies for location-based applications using GPS.
  • Developed a monitoring application for cellphone stations in a PABX system.
  • Contributed to improving internal IT services and processes.
Technologies: Java, C, GPS

Software Engineer

2001 - 2002
Light Infocon Tecnologia
  • Redesigned the core file management services of the Lightbase database management system (DBMS) implemented in C and C++.
  • Developed a telephony server for a Lightbase DBMS application using Visual Basic and DCOM.
  • Built web applications in ASP using the Lightbase DBMS.
Technologies: C, C++, DCOM, Visual Basic

Software Engineer

2000 - 2001
Hardcode Entertainment
  • Developed a game engine for 2D games using DirectX and C++.
  • Built a small collection of test games using the created engine.
  • Developed level design and object editing tools to help with game creation using the engine.
Technologies: C++, DirectX

Experience

Concurrent Garbage Collector

As part of my doctoral research, I developed a state-of-the-art concurrent garbage collector for a functional programming language. I created the compiler for the language and the whole runtime, measured the garbage collector performance, and compared it with the best concurrent garbage collection algorithms at the time.

Education

2006 - 2011

PhD in Computer Science

Federal University of Pernambuco - Recife, Pernambuco, Brazil

2004 - 2006

Master's Degree in Computer Science

University of Pernambuco - Recife, Pernambuco, Brazil

1995 - 2001

Bachelor's Degree in Electrical Engineering

Federal University of Paraíba - Campina Grande, Paraiba, Brazil

Skills

Libraries/APIs

React, Vue, DirectX

Tools

Emacs

Paradigms

Functional Programming

Languages

Ruby, Rust, Java, C, C++, Elixir, JavaScript, TypeScript, Assembly, Go, Python, Visual Basic, Haskell

Frameworks

Ruby on Rails (RoR), Phoenix

Platforms

Linux, MacOS

Other

Software Engineering, Garbage Collection, Algorithms, Engineering, Performance, Statistics, Machine Learning, DCOM, GPS, Compilers, Data Structures

Collaboration That Works

How to Work with Toptal

Toptal matches you directly with global industry experts from our network in hours—not weeks or months.

1

Share your needs

Discuss your requirements and refine your scope in a call with a Toptal domain expert.
2

Choose your talent

Get a short list of expertly matched talent within 24 hours to review, interview, and choose from.
3

Start your risk-free talent trial

Work with your chosen talent on a trial basis for up to two weeks. Pay only if you decide to hire them.

Top talent is in high demand.

Start hiring