ATLAS - Systems & Aeronautics
Francisco Engenheiro
franciscoengenheiro
CSE BSc student in Lisbon, Portugal.
Former production line operator @TEConnectivity.
Dog dad, gamer and gym rat.
ISEL @kresil Lisbon
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
