Abigail Cauchi

I'm a CHI+MED PhD student at the Future Interaction Technologies Lab at Swansea University advised by Prof. Harold Thimbleby and Dr. Parisa Eslambolchilar. My interests are in human computer interaction and interaction design, stochastic methods, formal methods and development tools for safe and usable safety critical systems.

I recently completed my M.Sc. in Computing and Future Interaction Technologies at Swansea University and hold a B.Sc. (Hons) in Information Technology from the University of Malta.

 

Publications

2013

[1] Cauchi, A.; Harrison, M.; Thimbleby, H.; Oladimeji, P.; Using medical device logs for improving medical device design, ICHI'13 Proceedings of the IEEE International Conference on Healthcare Informatics, Pages 56-65, IEEE, New York, NY, USA, 2013.

[2] Cauchi, A.; Using Differential Formal Analysis for dependable number entry, EICS'13 Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems, Pages 155-158, ACM New York, NY, USA, 2013.

[3] Cauchi, A.; Dependable number entry using differential formal analysis, Institute of Ergonomics and Human Factors, Early Careers Research Symposium Abstracts, page 23, UK, 2013.

[4] Li, Y.; Ding, X.; Dong, Z.; Qin, L.; Masci, P.; Vincent, C.; Thimbleby, H.; Cauchi, A.; Lewis, A.; Xing, B.; Sun, S.; Liu, E.; Di, J.; Wang, J.; Welch-Brady, M.; MediCHI: safer interaction in medical devices, CHI '13 Extended Abstracts on Human Factors in Computing Systems, pages 3267-3270, ACM New York, NY, USA, 2013.

[5] Masci, P.; Ruksenas, R.; Oladimeji, P.; Cauchi, A.; Gimblett, A.; Li, Y.; Curzon, P.; Thimbleby, H; The benefits of formalising design guidelines: A case study on the predictability of drug infusion pumps, In Innovations in Systems and Software Engineering, Pages 1-21, Springer-Verlag London, 2013.

2012

[6] Cauchi, A.; Gimblett, A.; Thimbleby, H.; Curzon, P.; Masci, P.; Safer 5-key number entry user interfaces using Differential Formal Analysis, BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers, Pages 29-38, British Computer Society Swinton, UK, 2012

[7] Cauchi, A.; Differential Formal Analysis: Evaluating safer 5-key number entry user interface designs, EICS'12 Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, Pages 317-320, ACM New York, NY, USA, 2012.

[8] Thimbleby, H.; Cauchi, A.; Gimblett, A.; Simulation to evaluate alternative approaches to blocking use errors, Design for Medical Devices 2012, Minnesota, US.

2011

[9] Cauchi, A.; Gimblett, A.; Thimbleby, H.; Goal-based design improves interaction dependability, Digital Engagement 2011, Newcastle.

[10] Li, Y.; Oladimeji, P.; Monroy, C.; Cauchi, A.; Thimbleby, H.; Furniss, D.; Vincent, C.; Blandford, A.; Design of Interactive Medical Devices: Feedback and Its Improvement, 2011 International Symposium on IT in Medicine and Education (ITME), vol. 2, pp.204-208, Guangzhou, China.

[11] Oladimeji, P.; Li, Y.; Cauchi, A.; Eslambolchilar, P.; Gimblett, A.; Lee, P.; Thimbleby, H., Visualising Medical Device Logs , 1st BCS Health Wales Workshop, Wrexham, Wales, 2011

[12] Masci, P.; Ruksenas, R.; Oladimeji, P.; Cauchi, A.; Li, Y.; Curzon, P.; Thimbleby, H., On formalising interactive number entry on infusion pumps, 4th International Workshop on Formal Methods for Interactive Systems, Limerick, Ireland, 2011

[13] Cauchi, A.; Curzon, P.; Eslambolchilar, P.; Gimblett, A.; Harrison, M.; Huang, H.; Lee, P.; Li, Y.; Masci, P.; Oladimeji, P.; Ruksenas, R.; Thimbleby, H., Towards Dependable Number Entry for Medical Devices, 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care, Pisa, Italy, 2011

[14] Blandford, A.; Cauchi, A.; Curzon, P.; Eslambolchilar, P.; Furniss, D.; Gimblett, A.; Harrison, M.; Huang, H.; Lee, P.; Li, Y.; Masci, P.; Oladimeji, P.; Rajkomar, A.; Ruksenas, R.; Thimbleby, H., Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. , 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care, Pisa, Italy, 2011

[15] Thimbleby, H.; Gimblett, A.; Cauchi, A., Buffer Automata: A discrete UI software architecture based on user models, EICS '11 Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, Pages 73-78, ACM New York, NY USA, 2011

2008

[16] Cauchi, A.; Pace, G. & Spina, S., Model Checking User Interfaces, Workshop for Information and Communication Technologies, Malta, 2008

[17] Cauchi, A.; Toyama, K., Collaboration and Creativity in Different Environments, TechVista, Chennai, 2008 [Poster]

2007

[18] Cauchi, A.; Fenech, J.; Fenech, K.; Micallef, L., KIKI - A Key to the Integration of Knowledge and Innovation, Computer Science Annual Workshop, Malta, 2007

 

Activity

I have reviewed papers for the following
MediCHI2013 - Workshop at The ACM SIGCHI Conference on Human Factors in Computing Systems, 2013
EICS 2012 - The 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012
EWDC 2011 - 13th European Workshop on Dependable Computing, 2011

I am active at giving talks about my work at international conferences and workshops as well as local meetings and workshops organized by CHI+MED.

I have been on workshop committes for national and international workshops such as MediCHI 2013 Safer Interaction in Medical Devices, part of the SIGCHI Conference on Human Factors and Computing Systems, Paris, France, April 2013

 

Achievements

2013

Awarded the "Best Doctoral Consortium Presentation" prize at the 5th ACM SIGCHI symposium on Engineering interactive computing systems.

2010

Took part in the Imagine Cup 2010 student competition organized by Microsoft and my team was one of the 6 finalists in the UK competition.

2007

Was selected as part of the team to represent the University of Malta in the Imagine Cup 2007 and made it to the worldwide finals in Seoul, South Korea after going through the first three rounds. At the finals we were awarded first prize for best use of MultiPoint technology.

This page was last updated on the 1st of October 2013