Software Systems and Processes Group
| People |
| Publications | Projects |
| Events |
|
|
Software Systems and Processes Group |
||||
|
We develop novel ways of specifying and deploying software, using automated reasoning and formally represented knowledge. Our target problems are those which because of their scale, complexity or distributed nature cannot be tackled by traditional forms of software engineering. Current interests include multi-agent systems, peer to peer coordination and semantic webs. Applications include astrophysics, business processes, ecological modeling, healthcare and proteomics. | ||||
| Contact: Dave Robertson |