Computer Fundamentals

The Computer Fundamentals Research Line seeks to research theoretical foundations and abstract models that serve as a basis for systems, as well as to develop techniques to ensure correctness in software development.

The themes of interest to the line include specification, construction by refinement and verification of software and hardware systems, to reach higher levels of quality and increasing confidence in the correction of software through formal tests and refinements; application of information theory in the field of computer sciences; development and analysis of the complexity of computational mathematical models applied to the study and analysis of population dynamics and environmental phenomena.

Area Advisors:

  • Luciana Foss
  • Marilton Sanchotene de Aguiar
  • Renata Hax Sander Reiser
  • Simone André da Costa Cavalheiro