Personal information

Malta

Activities

Employment (8)

University of Aberdeen: Aberdeen, GB

2014-02-03 to present | Postdoctoral Research Fellow (Dot.Rural Digital Economy Hub)
Employment
Source: Self-asserted source
Abigail Cauchi

Swansea Univeristy: Swansea, Swansea, GB

2010-10-01 to 2014-01-31 | PhD Student (Computer Science)
Employment
Source: Self-asserted source
Abigail Cauchi

Bbraun Medial Ltd.: Melsungen, DE

2012-05-01 to 2012-05-31 | Consultant
Employment
Source: Self-asserted source
Abigail Cauchi

Swansea University: Swansea, GB

2011-01-01 to 2011-01-31 | Research Assistant (Computer Science)
Employment
Source: Self-asserted source
Abigail Cauchi

2x Software: Msida, MT

2009-02-01 to 2009-09-30 | Software Developer
Employment
Source: Self-asserted source
Abigail Cauchi

Malta College of Arts Science and Technology: Kalkara, MT

2009-01-01 to 2009-07-15 | Lecturer (Information and Communication Technology)
Employment
Source: Self-asserted source
Abigail Cauchi

Microsoft Research India: Bangalore, Karnataka, IN

2008-07-07 to 2008-12-05 | Research Intern (Technology for Emerging Markets)
Employment
Source: Self-asserted source
Abigail Cauchi

Prisma Technology (Now Altaro Ltd.): Msida, MT

2007-07-01 to 2007-10-01 | Software Developer
Employment
Source: Self-asserted source
Abigail Cauchi

Education and qualifications (3)

Swansea University: Swansea, Swansea, GB

2010-10-01 to 2014-07-17 | PhD in Computer Science (Computer Science)
Education
Source: Self-asserted source
Abigail Cauchi

Swansea University: Swansea, GB

2009-09-21 to 2010-10-15 | Master of Science in Computing and Future Interaction Technologies (Computer Science)
Education
Source: Self-asserted source
Abigail Cauchi

University of Malta: Msida, MT

2004-08-17 to 2008-12-07 | Bachelor of Science (Hons.) Information Technology (Department of Computer Science and AI)
Education
Source: Self-asserted source
Abigail Cauchi

Funding (2)

The Global Hub in Medical Technologies and NanoHealth at Swansea University

2012-01 to 2013-03 | Salary award
Engineering and Physical Sciences Research Council (London, GB)
GRANT_NUMBER: EP/K004549/1
Source: Self-asserted source
Abigail Cauchi

CHI-MED: Computer-Human Interaction for Medical Devices

2010-10 to 2014-03 | Salary award
UK Engnineering and Physical Sciences Research Council (London, GB)
GRANT_NUMBER: EP/G059063/1
Source: Self-asserted source
Abigail Cauchi

Works (20)

Triangulating empirical and analytic techniques for improving number entry UIs for medical devices

2014-06 | Conference paper
DOI:

10.1145/2607023.2607025

Source: Self-asserted source
Abigail Cauchi

Using medical device logs for improving medical device design

ICHI'13 Proceedings of the IEEE International Conference on Healthcare Informatics
2013-09 | Conference paper
DOI:

10.1109/ICHI.2013.14

Source: Self-asserted source
Abigail Cauchi

Dependable number entry using differential formal analysis

2013-06 | Conference paper
Source: Self-asserted source
Abigail Cauchi

Guidelines for number entry interface design (infusion devices)

2013-06 | Online resource
Source: Self-asserted source
Abigail Cauchi

Using Differential Formal Analysis for dependable number entry

Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
2013-06 | Conference paper
DOI:

10.1145/2494603.2480339

Source: Self-asserted source
Abigail Cauchi

MediCHI: safer interaction in medical devices

CHI '13 Extended Abstracts on Human Factors in Computing Systems
2013-05 | Conference paper
DOI:

10.1145/2468356.2479663

Source: Self-asserted source
Abigail Cauchi

The benefits of formalising design guidelines: A case study on the predictability of drug infusion pumps

Innovations in Systems and Software Engineering
2013-04 | Journal article
DOI:

10.1007/s11334-013-0200-4

Source: Self-asserted source
Abigail Cauchi

Safer “5-key” Number Entry User Interfaces using Differential Formal Analysis

Proceedings BCS Conference on HCI, XXVI
2012-09 | Conference paper
Source: Self-asserted source
Abigail Cauchi

Simulation to evaluate alternative approaches to blocking use errors

Design for Medical Devices
2012-09 | Journal article
Source: Self-asserted source
Abigail Cauchi

Differential Formal Analysis: Evaluating safer 5-key number entry user interface designs

Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
2012-06 | Conference paper
DOI:

10.1145/2305484.2305540

Source: Self-asserted source
Abigail Cauchi

Design of Interactive Medical Devices: Feedback and Its Improvement

International Symposium on IT in Medicine and Education (ITME)
2011-12 | Conference paper
DOI:

10.1109/ITiME.2011.6132022

Source: Self-asserted source
Abigail Cauchi

Buffer Automata: A discrete UI software architecture based on user models

Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
2011-06 | Conference paper
DOI:

10.1145/1996461.1996497

Source: Self-asserted source
Abigail Cauchi

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
2011-06 | Conference paper
Source: Self-asserted source
Abigail Cauchi

On formalising interactive number entry on infusion pumps

4th International Workshop on Formal Methods for Interactive Systems
2011-06 | Conference paper
Source: Self-asserted source
Abigail Cauchi

Towards Dependable Number Entry for Medical Devices

1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care
2011-06 | Conference paper
Source: Self-asserted source
Abigail Cauchi

Visualising Medical Device Logs

2011-04 | Conference paper
Source: Self-asserted source
Abigail Cauchi

Collaboration and Creativity in Different Environments, TechVista

2008-08 | Conference poster
Source: Self-asserted source
Abigail Cauchi

Model Checking User Interfaces

2008-08 | Conference paper
Source: Self-asserted source
Abigail Cauchi

KIKI - A Key to the Integration of Knowledge and Innovation

2007-08 | Conference paper
Source: Self-asserted source
Abigail Cauchi

Goal-based design improves interaction dependability

Conference poster
Source: Self-asserted source
Abigail Cauchi