School of Mathematical and Computer Sciences

Intelligent Systems

ULTRA
(Logics, Types & Rewriting)

VIS&GE
(Vision, Interactive Systems & Graphical Environments)

Biomedical Informatics Systems Engineering Laboratory

Dependable Systems

Database, Information and Knowledge Based Systems

Technical Reports

Computer Science Grants

Click on a title for more details:

Start Date	Project
2009	Digital Sensoria : Design Through Digital Perceptual Experience. Funding: EPSRC
2009	HPC-GAP: High Performance Computational Algebra and Discrete Mathematics. Funding: EPSRC
2009	Argudas - Argumentation-based Data Sharing across Gene Expression Databases. Funding: BBSRC
2009	Requirements Study for the Integration of the Edinburgh Mouse Atlas and the Allen Brain Atlas. Funding: INCF
2009	Multiobjective Probability Collectives
2008	Membrane Computing
2008	Mobile Network Infrastructure Optimisation II
2008	Self-Optimisation in Future Mobile Networks
2008	Scottish Manufacturing Institute
2008	Adaptive Hardware Systems with Novel Algorithmic Design and Guaranteed Resource Bounds
2008	LIREC - LIving with Robots and intEractive Characters
2008	PERSIST (Personal Self-Improving Smart Spaces)
2008	Cooperative Reasoning for Automatic Software Verification
2007	Mobile Network Infrastructure Optimisation
2007	Evolving Data Mining Algorithms
2006	Adventure Author
2006	Consultancy for a feasibility study in Mobile Network Infrastructure Optimisation
2006	ReDSeeDS: Requirements Driven Software Development System
2006	SCIEnce:Symbolic Computation Infrastructure for Europe
2006	SeaLife: A Semantic Grid Browser for the Life Sciences Applied to the Study of Infectious Diseases
2006	A Retargetable Polymorphic Type System for Mobility Calculi
2006	Daidalos (Designing Advanced Interfaces for the Delivery and Administration of Location independent Optimised personal Services)
2006	Education through Characters with emotional-Intelligence and Role-playing Capabilities that Understand Social interaction (e-Circus)
2006	Perceptual Measurement of Surface Texture
2005	EmBounded Framework VI Research Project
2005	System Engineering and Integrated Systems for Defence and Semi-Autonomous Vehicles (SEAS) DTC
2005	Cell-modelling with conformon-P system
2004	CO-STAR*
2004	HUMAINE - Research on Emotions and Human-Machine Interaction
2004	Haptic Interfaces for the Virtual Manufacture and Assembly of Micro, Medium and Large Scale Products
2004	MAGIK-I: Managing Grids Containing Information and Knowledge that are Incomplete
2004	REWERSE: Reasoning on the Web with Rules and Semantics
2003	Digital Business EcoSystem
2003	PAMGUARD
2002	The Integration and Interaction of Multiple Mathematical Reasoning Processes
2002	NuPulse: A non-destructive Pulse Neutron Multiple Detector Tool for use in environmental, hydrocarbon and mineral exploration work
2002	XSPAN - A Cross-species Anatomy Network

........ ............................ ............................. ................................... .......................... ....... ......... ...... ... ....

Computer Science,
Office: Room 1.24,

Earl Mountbatten Building,

Heriot-Watt University,

Edinburgh,

EH14 4AS.

Enquiries:

T:+44 (0)131 451 4156

F:+44 (0)131 451 3327

E: enquiries

Text Only Version