params.json

{
  "name": "Imperial College London",
  "tagline": "Open source software developed at Imperial.",
  "body": "[Imperial College London](http://www.imperial.ac.uk/) is a science-based university with an international reputation for excellence in teaching and research.\r\n\r\nConsistently rated amongst the world's best universities, Imperial is committed to developing  the next generation of researchers, scientists and academics through collaboration across disciplines.\r\n\r\nLocated in the heart of London,  Imperial is a multidisciplinary space for education, research, translation and commercialisation, harnessing science and innovation to tackle global challenges.\r\n\r\n### Software from our Research Groups\r\nMany of the research groups at Imperial produce state-of-the-art software tools as part of their research. Below you will find descriptions of some of our groups, with links through to their projects and organisations on GitHub.\r\n\r\n## Department of Computing\r\n\r\n### [Multicore Group](https://github.com/mc-imperial)\r\n[http://multicore.doc.ic.ac.uk/](http://multicore.doc.ic.ac.uk/)\r\n\r\nThe [Multicore Programming Group‘s](https://github.com/mc-imperial) research aim is to help software developers in the construction of applications that are both reliable (ideally, they do not go wrong; realistically, they do not go wrong too often) and efficient (they run quickly and do not consume too much energy). These are competing aims: optimising software for performance and energy-efficiency is challenging, and even the most skilled developers risk introducing serious flaws into a system during the process of optimisation. The group's work attempts to help this situation by providing system-level formal verification and testing techniques to help expert programmers write correct low-level software, and high-level programming models from which efficient implementations can be generated to allow non-expert programmers to avoid the pitfalls of hand-optimisation.\r\n\r\nThe group's work focuses primarily on software for multicore and manycore systems, since exploiting parallelism is nowadays the principle means for accelerating applications. \r\n\r\n**Popular Projects: [GPUVerify](https://github.com/mc-imperial/gpuverify)**\r\n\r\n\r\n\r\n### [Software Reliability Group](https://github.com/srg-imperial)\r\n[http://srg.doc.ic.ac.uk/](http://srg.doc.ic.ac.uk/)\r\n\r\nThe continuous demand for ever more complex software systems and the emergence of new computing platforms pose significant challenges for the reliability and security of software applications. The research of the [Software Reliability Group](https://github.com/srg-imperial) focuses on designing novel techniques for improving the quality and dependability of software, with an emphasis on building practical tools for automatically finding software bugs, generating high-quality test suites, verifying the absence of certain types of bugs, and allowing applications to survive critical errors. Their research spans the areas of software engineering, software testing, computer systems and computer security, and is generously sponsored by the UK Engineering and Physical Sciences Research Council (EPSRC), Google, Microsoft Research and ARM.\r\n\r\n**Popular Projects: [KLEE](https://github.com/srg-imperial/klee)**\r\n",
  "note": "Don't delete this file! It's used internally to help with page regeneration."
}