Bernardo Borges
Computer Scientist
Belo Horizonte, BR
Skills
Rust (Systems Programming)
Lean 4 (Theorem Proving)
C/C++ (Competitive)
React Native/React.js
Python/Flask
Haskell
Languages
🇧🇷 Portuguese (Native)
🇬🇧 English (Fluent)
🇩🇪 German (B2 Certified)
Work Experience
Academic Researcher - Trex - UFMG
Oct 2023 Current
Implemented formal verification of the correctness of cutting planes reasoning rules in Lean 4, to integrate cvc5 with the pseudo-Boolean solver rounding sat under the guidance of Prof. Haniel Barbosa. Contributed to the carcara proof checker in Rust, and also extended the Alethe Proof format to encompass the new rules.
Front End Developer / iJunior - UFMG
Jan 2022 - Apr 2023
I had the opportunity to extend my abilities by developing in the React.js framework, but now in its web form. The syntax and paradigm is so similar to the mobile version that I am not finding it hard so far. We are working on a project called Par Digital, a web app for teachers and parents of children with special needs, focused on proposing new teaching strategies.
Mobile Developer / iJunior - UFMG
Jul 2021 - Jan 2023
In the junior enterprise iJunior I am currently working in a mobile app as part of Mobile Research project. It is called "iFofoca" and it works like a Social Media, where members of iJunior can interact and post images, like them and comment on them. We used React Native in this implementation and Express.js is running the backend.
Back End Developer / iJunior - UFMG
Jan 2021 - Dec 2021
In the junior enterprise iJunior I worked as Backend Dev in a Python Flask web application. This project is called "Projeto Montanhas", it is a platform for runners and training management, including user authentication, a calendar for multiple activities and connection with Strava through their API.
Education
UNIVERSIDADE FEDERAL DE MINAS GERAIS
2020 - 2025
Bachelor Degree
Projects
Carcara - Proof Checker for Alethe format
Jun 2024 - May 2025
Proof checker for the Alethe format written in Rust while working in the Smite Lab, UFMG.
Haskell Game Development with SDL
2025
SDL2-based implementations of classic games: haskell-pong and haskell-asteroids based on the project of the subject DCC192- Development of Digital Games.
Mirax App
Nov 2021 - May 2025
Mobile app developed by iJunior to be used as Guiding App for Ophthalmologist taking medical pictures of their patient's eyes. Is uses React Native and Expo, with access to Camera and local database. It is now called Mirax, and it can be downloaded for Android and iOS
iFofoca
Sep 2021
Mobile project - similar to Instagram - developed using React Native
Discoteca
Dec 2020
Web App built using Python Flask as trainee project for iJunior
Space Invaders!
Sep 2020
Computer Game developed in C using Allegro, as PDS1 Project. A similar game can be played right here!
Awards
Gold Medal - X Maratona Mineira de Programação
May 2023
3rd place among 61 teams (UFMG Amigos do Detran)
Bronze Medal - IX Maratona Mineira de Programação
May 2022
9th place among 51 teams (UFMG Repescados)