CS /
Project Proposals from the CS Division
Projects in Programming Logic
- Quantifier Elimination and functional programming
- Programming language support for a course on Type Systems
- Exact real number computation in Agda
- Dependent type theory and imperative computation
- Constructive algebra in functional programming and type theory
Projects in Language Technology
- Here is a list of project proposals.
Projects in Algorithms
- Here is a list of project proposals.
- Simulation and Analysis of p2p networks on Planetlab
- Emergence of small worlds with economic incentives
Projects in Bioinformatics
- Project proposals from Graham Kemp (local access only)
Projects in Databases
- Project proposals from Graham Kemp (local access only)