Breaking science news and articles on global warming, extrasolar planets, stem cells, bird flu, autism, nanotechnology, dinosaurs, evolution -- the latest discoveries ...

The RiSE group builds the system and foundations of programming through open-ended fundamental research in formal methods, high-performance computing, programming languages, and software engineering.

Global temperature record - updated January 2025. Our research. The Unit undertakes both pure and applied research, sponsored almost entirely by external contracts and grants from academic funding ...