Felipe de Azeredo Coutinho Xavier
I am a 27-year-old Brazilian currently pursuing a PhD under the Cynergy4MIE project
for Society 5.0. My work focuses on combining low-code platforms, embedded systems,
software architecture, and formal verification. I have recently finished my Master's
thesis focused on developing a method for rapid generation of interfaces for
Digital Twins, which was approved at the MODELS 2024 conference. I have 5+ years
of work experience focused on embedded systems for logistics automation and FPGA
design for motor controllers and gate drivers. I am self-motivated, reliable, responsible,
hard-working, and have ample teamwork experience.
Work experience
Dec 2021 - Sep 2024 | Bin processing solution
Prodrive technologies
- Lead software engineer responsible for the architecture and implementation of key features to allow 24/7 operation with other machines and humans.
- Development of software tools to facilitate the production and setup of the machines on the production floor.
- Development of friendly web UI for easy interaction with the machines.
Aug 2020 - Jan 2021 | High-voltage gate-driver
Prodrive technologies
- Improvement of the design to handle faster and more stable switching rates.
- Design and implementation of features required to test high-voltage drivers for MRI machines.
- General improvements and bug fixes.
Mar 2019 - Dec 2021 | AMR solution
Prodrive technologies
- Design and implementation of an overhanging and transparent obstacle detection sensor to the existing architecture of the AMR.
- Integration of the safe and non-safe controllers.
- Integration of an automatic door controller into the existing fleet management system to allow the AMRs to work 24/7 with secure buildings.
- General improvements and bug fixes.
Aug 2017 - Jan 2020 | Project Varpulis (Multi-Rotor Robotics)
Fontys University of Applied Sciences / Dutch Ministry of Defence
- Design of electronic and mechanical parts of a heavy-lifting multi-rotor.
- Initial conception of an automatic landing and picking system.
- Design and implementation of the flight and motor controllers.
Mar 2015 - May 2016 | Volunteer Teacher
Casa de Ismael - Lar da Criança (SGAN 913, Conj. G. Brasília, Brazil)
- Multi-subject teacher for children from 6th to 12th grade.
- Help the orphanage take care of the children during afternoons.
Publications
Sep 2024 | MODELS
Felipe Xavier, David A. Manrique Negrin, and Loek Cleophas. 2024. Rapid interface generation method for heterogeneous models in Digital twins. In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion '24), September 22-27, 2024, Linz, Austria. ACM, New York, NY, USA, 10 pages. https://doi.org/10.1145/3652620.3688218Education
Aug 2024-Present | PhD Computer Science
Eindhoven University of Technology, Eindhoven, Netherlands
Sep 2022 -Aug 2024 | MSc Embedded systems
Eindhoven University of Technology, Eindhoven, Netherlands
- Seminar: Multilingual system dependencies: A literature review
- Thesis: Rapid interface generation for heterogeneous models in digital twins
Sep 2019-Jan 2020 | Pre-Master Embedded systems
Eindhoven University of Technology, Eindhoven, Netherlands
Sep 2018-Jan 2019 | Pre-Master Electrical Engineering
Eindhoven University of Technology, Eindhoven, Netherlands
Sep 2016 -July 2020 | BSc Mechatronics Engineering
Fontys University of Applied Sciences, Eindhoven, Netherlands
- Thesis: Overhanging and transparent obstacle detection for autonomous mobile robots
Technical Skills
Language
| Portuguese | English | Spanish | Dutch | French |
| Native | C2 | A2 | A2 | A1 |
Computer and tools
- C, C++, Python, MATLAB, Java, C#, VHDL, and Javascript
- Certified Solidworks Associate (CSWA)
- Machine learning, machine vision, language creation, and code generation
- Knowledge of the Microsoft Office pack, and LaTeX
- Lots of experience with Linux and embedded Linux (Buildroot, and BusyBox) development
Other
- Experience with turning and milling machines, and 3d printers.
- Flexible, broadly interested, capable of working under pressure, and eager to learn.
Free-time
Projects
Intrusion game simulator
This project evaluates the framework proposed in "Physical Intrusion Games—Optimizing Surveillance by Simulation and Game Theory", focusing on the second-phase intrusion game. The goal is to verify the findings found in the aforementioned paper by recreating the simulations using the information provided, in addition to interpreting the effects of adjusting certain parameters.NACTG
NACTG (Not A C Test Generator), pronounced as "nac”, is a language that facilitates C++ unit test generation. It was developed using Rascal with the Clair extension. The idea is that the user inputs the path to a class header file and sets the expected input and outputs for the desired method. The language will, based on these inputs, generate the necessary unit tests. The generated tests utilise the gtest framework, a well-known and mature unit-test framework made by Google.Outloud DJ bot
A simple bot that allows the user to automatically cast votes in the Outloud DJ app. Very fun for the user but not very democratic.LinAlg and CppHelpers
LinAlg is a simple vector and matrix library inspired by p5.js's Vector. The support is focused on 2d and 3d vectors but most methods are also available for bigger vectors. CppHelpers is a collection of C++ libraries used to help me code C++ projects. It has support for things such as logging, optional returns, string operations, and thread safe types. These libraries were initially created to help me with my SDL experimentsOpen-source contributions
Yakuake
Improved movement across terminals in split mode. Yakuake is now able to focus on terminals in all directions instead of just cycling between previous and next. I also added support for shrinking terminals so that terminals in split mode can "grow" its neighbour.Flameshot
Added an OCR tool to Flameshot so the user is able to extract unselectable text from the screen.Hobbies
- Reading
- Travelling
- Playing team-base video games
- Board games