- Design and implementation of both front-end and back-end applications for wide variety of industries.- Conducting code reviews and tracking the quality of code bases.- Specifying and conducting software tests.

- Research on control and state estimation strategies for autonomous vehicles and mobile robots.- Research on kinodynamic motion planning methods for autonomous vehicles and mobile robots, specially sampling and convex optimization based methods. - Research on software architectures for autonomous navigation systems.- Research on codesign of distributed real-time embedded systems and control strategies based on formal methods, probabilistic timing analysis and nonlinear control theory.- Development of a seismic data compressor.- Development of a method to analyze the estimation error stability of chains of interdependent machine learning predictors using techniques from control theory.- Assisting undergraduate students from SpaceLab, at UFSC, with the sizing of a magnetorquer-based attitude control system for CubeSats. - Assisting undergraduate students from Ampera, UFSC's formula SAE team, with the design and analysis of autonomous navigation systems for the driverless competition, including control and state estimation strategies, motion planning methods and real-time software development.

- Development of a physics-based high frequency model of a single parallel-axis gear pair, including contact dynamics, for fault-injection in datasets used to evaluate anomaly detection machine learning algorithms applied to the diagnosis of faults in wind turbines based on gearbox vibration.- Implementation of machine learning algorithms used to attribute confidence to data produced by vibration and acoustics sensors in the context of data-driven fault diagnosis in wind turbines based on gearbox vibration.- Implementation of a library for information theory based feature selection strategies in the context of machine learning methods for anomaly detection In wind turbines based on gearbox vibration and acoustic signals.- Research on formal models for SmartData, a data-driven software architecture for real-time systems.- Research on real-time adaptive control and filtering for nonlinear dynamic systems and it's application to attitude determination and control systems for CubeSats.- Development CubeSat attitude control systems simulations using ROS2 and Gazebo.

- Development of numerical simulations for a passive attitude control system for a CubeSat.- Design and analysis of feedback linearization and sliding mode controllers for attitude control of Cubesats in the presence of model uncertainty and measurement noise in a simulation environment.

- Development of a desktop software application to automate the modification of the electronic unit calibration process and verify the correctness of calibration files with respect to logical expressions expressed in a proprietary specification language.- Assisting engineers in the analysis of vehicle compliance with international standards and regulations with a focus on ADAS systems.

- Development of multiphysics mathematical models of electrical drives and it's interaction with other subsystems of hermetic compressors for refrigeration systems aiming at numerical simulation, analysis and design of control strategies, sensibility analysis and multi-objective optimization using the GT-Suite simulation software.

- Evaluation of economic and technical viability of innovative topologies, materials and manufacturing processes in the context of electric motors applied to hermetic compressors for household refrigeration systems using finite element analysis tools and optimization methods.- Performance evaluation of magnetic measurement procedures for permanent magnet characterization using statistical methods.- Assistance in electromagnetic-vibroacoustics analysis of electric motors and power electronics inductors. - Maintenance of computational simulation tools for semi-analytical simulation of electric machines.- Specifying test plans and supporting test execution.- Supporting prototype manufacturing.- Supporting validation of computational models and tools.- Critical analysis of quality standards for magnetic materials.

Assistance to students in the discipline of Electromagnetism.

Parameter determination and high frequency analytical models of transformers for investigation of fast-front transient responses.

Assistance to students in the discipline of Linear Algebra for Scientists and Engineers.