Francisco Nascimento

- Developed advanced deep learning algorithms (MLP, LSTM, GRU) for decentralized machine learning in IoT environments using Python and PyTorch.
- Applied these algorithms to address IoT-specific cybersecurity challenges and published results in prestigious conferences.
- Key contributor to a startup competition-winning system at TechnoPUC.

- Instructed a diverse range of computer science courses, including "Computer Architecture", "Distributed Systems", "Performance Evaluation of Computational Systems", "Artificial Intelligence", and "Software Engineering".
- Provided mentorship to undergraduate theses and student groups, fostering academic excellence.
- Honored as paraninfo and recognized for exceptional teaching contributions.

- Led teams and played a pivotal role in developing a corporate web app for municipal tax administration.
- Big data system for anomaly detection in municipal tax information, implemented using Hitachi Vantara (aka Pentaho), Knime, and Spark.
- Leveraged Java, SpringBoot, Postgresql, Redis, and RabbitMQ within a microservices-based architecture.
- Successfully deployed the system across multiple municipalities, enhancing tax management, and attracting investments.

- Pioneered formal verification techniques for avionic reconfiguration schemes utilizing model checking and the Uppaal tool.
- Transformed UML diagrams into timed automata for rigorous formal verification.
- Published groundbreaking research outcomes in IEEE Transactions and book chapters.

- Developed a Model-Driven Engineering (MDE) framework to improve embedded system design.
- The framework adopts concepts from MDE for the automatic generation of a control and data flow internal representation, starting from the functional specification of an embedded application described using UML class and sequence diagrams.
- By means of transformation rules applied on the UML model of the embedded system, a MOF-based (Meta Object Facility is a standard representation for meta-models and models proposed by OMG) internal representation is automatically obtained, which is iteratively mapped into a hardware/software implementation by means of model transformations.
- The framework was implemented in Java and Eclipse Metamodeling Framework and the results were published in journal and conference proceedings.

- Developed retiming algorithms, in the C language in IBM AIX
Workstations, as part of an Electronic Design Automation (EDA) tool,
- Integration of algorithms implementation in the IBM Yorktown
Silicon Compiler.

- Engineered a system-level synthesis tool for computational system
design utilizing a partial order-based model and BDD (Binary
Decision Diagrams), implemented in the C language.
- Presented groundbreaking research findings at the "Symposium on
Integrated Circuits and Systems Design".