| Departments |
Computer Science
|
|---|
| Description | This project is based on a sequence of articles written by Anton Setzer with Stephan Adelsberger and other coauthors (see top items in the publications of Anton etzer (http://www.cs.swan.ac.uk/~csetzer/) on creating verified user interfaces in the dependently typed programming language Agda. This included a system for
supporting doctors in prescribing medication (so called NOACs).
The manual prescription of those medicine has been shown to have a high error rate (up to 40 percent), therefore apps have been created to support doctors in prescribing those medicines. However, there is the danger of giving erroneous prescriptions, which could be harmful to patients. The goal of this project is to refine the application and making it more user friendly, and transform it for similar applications.
Language: Agda which is taught as part of the project. Some background in Haskell is desirable, since Agda delegates program intense tasks to Haskell. |
|---|
| Preparation | Install Agda on your computer (Anton Setzer can help with that). Any of the modules CSC375/CSCM75, CSC385/CSCM85 or CSC313/CSCM13 would be beneficial but none would be required. |
|---|
| Project Categories |
Software Engineering, Theorical Computer Science |
|---|
| Project Keywords |
Logic, Programming Languages, Testing and Verification |
|---|
Level of Studies
|
| Level 6 (Undergraduate Year 3) |
yes
|
|---|
| Level 7 (Masters) |
yes
|
|---|
| Level 8 (PhD) |
yes
|
|---|