Sistema informatiko interaktibo seguruagoen ingeniaritza

Teknologiarekin elkarreragiten dugu gure bizitzako aspektu desberdinen jarraipena eta kontrola egiteko. Segurtasun teknologiarentzat bereziki, hala nola gailu medikoen kasuan, gaizki diseinatutako erabiltzaile interfazeak kostu onartezinak izan ditzake. Metodo formalak, batez ere, tresna onartzen dutenean, sistema konplexuen azterketa zorrotza egiteko bide gisa onartzea lortzen ari da. Hitzaldi honetan ordenagailu interaktiboaren modelizaziorako eta azterketarako lanen ikuspegi orokorra eskainiko da, baita erabiltzaileari erabiltzeko zentratutako garapen ikuspegi tradizionalei buruzko integrazioa ere. Erabiltzaileen interfaze errealen arazo batzuk azalduko dira eta analisi formalaren rola eztabaidatu izango da .

José C. Campos Minhoko Unibertsitateko irakaslea eta INESC TECeko ikertzailea da. Bere iIntereseko gaiak hauek dira: Sistema Interaktiboen Ingeniaritza,  Metodo Formalak, Software Ingeniaritza, eta Pertsona-Konputagailu Elkarekintza. Azterketa automatizatzeko tresnak garatzeko interes berezia du (adibidez, IVY modeloa oinarritutako erabiltzaileen interfazeen analisi tresna). ACM Symposium-eko zuzendaritza batzordeko kidea da Ingeniaritza Konputazio Elektronikoko Sistemetan (EICS), Proc-en. ACM-k HCI EICS-ko editorialeko batzordean eta IFIP laneko taldea 2,7 / 13,4 Erabiltzaileen interfazeen ingeniaritzan. Zeelanda Berriko Enpresa, Berrikuntzako eta Enpleguko Ministerioaren Ebaluatzaileen Taldeko kide da.