Ingeniería de sistemas informáticos interactivos más seguros

Interactuamos con la tecnología para monitorizar y controlar los aspectos más variados de nuestras vidas. Particularmente en tecnología de seguridad, como es el caso de los dispositivos médicos, las interfaces de usuario mal diseñadas pueden tener costos inaceptables. Los métodos formales, en particular cuando la herramienta es compatible, están ganando aceptación como un medio para realizar un análisis riguroso de sistemas complejos. Esta conferencia ofrecerá una visión general del trabajo sobre el modelado y análisis de sistemas de computación interactiva, y analizará también su integración con los enfoques de desarrollo más centrados en el usuario. Se presentarán ejemplos de problemas con interfaces de usuario reales y se discutirá el papel que puede desempeñar el análisis formal.

José C. Campos es profesor en la Universidad de Minho e investigador principal en INESC TEC. Sus intereses se centran en los sistemas interactivos de ingeniería, en la intersección de Métodos Formales, Ingeniería de Software e Interacción Persona-Computador, con un interés particular en desarrollar herramientas para automatizar el análisis (por ejemplo, la herramienta de análisis de interfaces de usuario basada en el modelo IVY). Es miembro del comité directivo del ACM Symposium on Engineering Interactive Computing Systems (EICS), del   consejo editorial del Proc. ACM de HCI EICS, y preside el grupo de trabajo IFIP 2.7 / 13.4 sobre Ingeniería de interfaz de usuario. Es miembro del Colegio de Asesores del Ministerio de Negocios, Innovación y Empleo de Nueva Zelanda.