FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
José Creissac Campos

Registered user since Sat 18 Sep 2021

Name:José Creissac Campos
Bio:

I am an Associate Professor at the Department of Informatics of the University of Minho. I mainly work on the application of formal Software Engineering techniques and tools to the modelling and analysis of Interactive Systems.

I currently chair the Steering Committee of the ACM SIGCHI Engineering Interactive Computing Systems (EICS) conference. I am a member of the editorial board of ACM Proceedings on HCI and of the IFIP WG 2.7/13.4 on User Interface Engineering.

Country:Portugal
Affiliation:University of Minho & HASLab/INESC TEC
Research interests:Software Engineering, Human-Computer Interaction, Formal Methods

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile