José Francisco Creissac Freitas de Campos

I am an Associate Professor at the Department of Informatics of the University of Minho and a senior researcher at HASLab - INESC TEC. I mainly work on the application of formal software engineering techniques and tools to the modelling and analysis of interactive system.

Current and recent funded research includes: formal modelling and analysis of interactive systems (with a particular focus on medical devices); model-based testing of user interfaces; prototyping of ambience intelligence systems using virtual reality simulations; and the reverse engineering of the user interface layer of software systems.

Domains

High-Assurance Software

Projects

NanoStima-RL1

Project NanoSTIMA will try to respond to two great challenges: going from the current macro technologies used today to micro and nano technologies, which will play a key role in the health and well-being sectors; and managing the large amounts of information that these wearable and implantable sensors will generate, integrating them with data from other sources, such as medical records, genetic data, and even social networks. The project’s research line 1 will be developed by two INESC TEC centres: C-BER and CAP. At C-BER, the goal of CAD-RL5 is to develop advanced capabilities for computer-aided detection and diagnosis (CAD). This requires research on innovative methodologies for CAD development, that will make it possible to go from ad hoc engineering approaches, driven by direct expert knowledge, to more automated approaches, driven by the intrinsic structure of data, knowledge discovery and expert supervision. Problems tackled will be generic in the sense that appropriate outcomes can be applied universally to medical imaging practices. The developed method will enable lab demonstrations of several clinical problems where the research team has relevant experience (e.g. radiology, ophthalmology and ultrasound imaging).

NanoSTIMA - Macro-to-Nano Human Sensing Technologies

SpecRep

The SpecRep projects aims at promoting the correct formal specification of software components, an essential step for the development of reliable software.

Publications

Towards Automated Load Testing Through the User Interface

Teixeira, B;Campos, JC;

2023

HUMAN-COMPUTER INTERACTION - INTERACT 2023, PT II

Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language

Ferreira Moreira, EJV;Campos, JC;

2023

Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium - Swansea, UK, June 26-27, 2023, Selected Papers

An Online Repository for Educational Resources in HCI-Engineering

Spano, LD;Campos, JC;Dittmar, A;Forbrig, P;

2024

DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I

Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education

Spano, LD;Campos, JC;Dittmar, A;

2024

DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I

View all publications

Supervised theses

Ensuring Time Series Data Privacy via Complex Networks

Jaime Amaro Soares do Vale

UP-FCUP

Ensuring Time Series Data Privacy via Complex Networks

Jaime Amaro Soares do Vale

UP-FCUP

Ensuring Time Series Data Privacy via Complex Networks

Jaime Amaro Soares do Vale

UP-FCUP

Centres

High-Assurance Software

At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.