Research Space Applications Embedded Systems Hardware Description Languages (VHDL) Reconfigurable Computing (FPGAs) Computer Architecture & Organization Digital Systems Design Test of Digital Systems Fault Tolerance Space Communications Protocols (CCSDS) Object-Oriented Programming (Java, C++) Algorithms and Data Structures Microprocessors & Microcontrollers Parallel Processing, CSP, occam, Transputer, source Space Technology Research LaboratorySpaceLab Embedded Systems for Space Applications GSE – Research Group FloripaSat Engineering Model under integration/test (video) Thesis/Dissertation useful tips