Skip to topic
|
Skip to bottom
IST-15905
Mobius
Home
Objectives
Partners
Workpackages
End User Panel
Scientific Advisory Board
Publications
Deliverables
Links to Related projects
Intranet
Tools
Search
Changes
Start of topic |
Skip to actions
---++ The University of Edinburgh *Profile* The Mobius team at Edinburgh are from the [[http://www.lfcs.ed.ac.uk/m+s][Mobility and Security]] group in the [[http://www.lfcs.ed.ac.uk/][Laboratory for Foundations of Computer Science (LFCS)]]. This is a research institute within the School of Informatics, carrying out fundamental investigations in theoretical computer science. Established in 1986, it has a high international reputation and currently comprises around 40 academic and research staff, including seven full professors. The LFCS runs an active !PhD program, attracting excellent students from across the world, and many alumni have gone on to lead research groups at other European universities. The [[http://www.inf.ed.ac.uk][School of Informatics]] at the University of Edinburgh is an internationally leading research institution in the fields of Computer Science, Artificial Intelligence and Cognitive Science. This breadth of study supports a range of interdisciplinary connections, as well as the "critical mass" of the UK's largest grouping of researchers in the field. It is the only department in the UK to hold the top 5*A national rating for Computer Science research. *Fields of expertise* The research groups in LFCS have expertise covering a wide range of topics in theoretical computer science. Several are relevant to Mobius: programming languages; type systems; security; specification and verification; semantics and concurrency. The Edinburgh team also has specific technical expertise arising from the [[http://www.lfcs.ed.ac.uk/mrg][Mobile Resource Guarantees]] project undertaken in collaboration with LudwigMaximilianUniversitat as part of the original FET Global Computing initiative. This includes the construction of a resource-aware compiler (Camelot) targeting a specialised form of Java byte code (Grail), with proofs of functional and resource properties in a byte code logic. These proofs are checked with a logic-based verifier built within the [[http://www.cl.cam.ac.uk/Research/HVG/Isabelle/][Isabelle]] proof assistant, and the team have also formally verified the soundness of their logic against a resource-counting operational semantics. Both the tools developed in MRG, and the experience of the researchers in building this prototype PCC infrastructure for resource control, will be a significant input to Mobius. *Key Personnel* | [[http://www.ed.ac.uk/~stark][Dr. Ian Stark]] \ | Site Leader, Leader [[WorkPackage.WorkPackage6][Work Package 6]] and Tasks 1.2 and 6.4 | | [[http://homepages.inf.ed.ac.uk/da/][Dr. David Aspinall]]\ | Task Leader 2.4 and 3.2 | | [[http://homepages.inf.ed.ac.uk/dts/][Prof. Don Sannella]]\ | Member of Scientific Advisory Board | -- Main.IanStark - 02 Aug 2005
End of topic
Skip to action links
|
Back to top
r1.4 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Members
>
UniversityOfEdinburgh
to top
Ideas, requests, problems regarding the Mobius site