Loading...
 

José Luis Conradi Hoffmann

Perfil4

Ph.D. in Computer Science at UFSC (2025) with a sandwich period at Friedrich-Alexander-Universitat-Erlangen-Nurnberg (Supervisor: Wolfgang Schröder-Preikschat) and co-supervision at Universitá di Pisa (Supervisor: Paolo Milazzo), with a focus on data-driven critical systems design and security property specification.
M.Sc. in Computer Science at UFSC (2021), where the main research area was the monitoring and optimization of performance and energy consumption in real-time embedded systems, using Machine Learning techniques for such optimizations. Bachelor's degree in Computer Science from the Federal University of Santa Catarina (2018), where my undergraduate thesis focused on real-time and embedded systems.

Profession

  • Post-Doc at Federal University of Santa Catarina (UFSC) in the topic of Safety Property Verification in Autonomous Vehicles and Data-Driven Critical Systems.
  • Curriculum vitaes: Lattes, ORCID, Research Gate, Google Scholar, LinkedIn

Research Topics

  • Autonomous Vehicles Safety and Security
  • Data-Centric Design of Cyber-Physical Systems
  • Multi-Core Real-Time Systems
  • Machine Learning Techniques

Current Projects

Past projects

Publications (bibtex, full list)

Contact

UFSC/CTC/LISHA
88049-900 Florianópolis - SC - BRAZIL
E-mail: hoffmann@lisha.ufsc.br