Log in
The programming languages and systems group at the University of Kent has built the first comprehensive tools for refactoring functional programs: HaRe for Haskell, Wrangler for Erlang. These tools not only provide a large set of refactorings, they also have facilities for managing code clones and module structure, as well as facilities for users to easily build their own refactorings.
Programmers in both open source and commercial projects use the tools to improve their programming and testing practice, and to restructure existing systems. This improves the quality of software, reducing bugs/problems for end users and cost for companies; it thus puts companies at a competitive advantage and improves best practice in industry. Evidence of take up comes from system downloads, contributions to open source repositories and company testimonials.
Our research explored the ways the emerging Semantic Web can support teaching and learning. It identified case based learning as a key area and outputs were used to enhance the unique research council funded Economic and Social Data Service public collections and pioneers pages. Results informed the thinking of accountancy bodies on e-assessment via the Association of Chartered Certified Accountants/International Association for Accounting Education. An exemplary user case study derived from the research was selected by World Wide Web Consortium (W3C). The research supported the aggregation and presentation of Open Educational Resources via JISC. Project software and documentation was released as open source. Outcomes provided the `Liverpool, City of Radicals' Project timeline.
The delivery of interchangeable services across a range of educational platforms has been a long-term problem in the field of technology enhanced learning. The Institute for Educational Cybernetics (IEC) identified widgets as having a potential role in resolving this problem, and developed a widget server, Wookie, to provide a research tool to investigate this. The research is summarised in [4] and [6]. The work attracted international attention, and the server has been reused in a number of other projects to provide interoperable services, both in education and beyond, and including a number of European funded initiatives. The impact of the work was recognised and enhanced by its acceptance by the Apache Software Foundation as an incubator project. It has now graduated as Apache Wookie, and is a full Apache project.
Professor Zhongyu (Joan) Lu's research contributed significantly to the development of a next-generation student response system (SRS) that is fully integrated with web services, Smartphones, multimedia and other ubiquitous technologies. By incorporating the use of widely available online equipment, the system has made SRS more affordable, easier to employ and applicable in a range of settings far more diverse than the traditional classroom scenario. It is now used in Europe and the US by both academia and industry and has served as the basis for a number of dedicated prototypes. Its success has also led to additional major funding streams for further research.
Our research has created a framework that sustains new forms of effective collaboration for distributed workers and learners in `live environments'. The framework has resulted in a software toolkit and online guidelines designed for the new collaborative spaces: from avatar and embodied worlds to live video meetings. One part of the framework has transformed the work of international universities and multi-disciplinary research institutes, improving their 3D, avatar-based work and `embodied' learning spaces, while another aspect has created our FlashMeeting (FM) video-meeting tool. Released in 2003 (predating multi-party Skype™ by seven years), this research brought multi-party, in-browser, video meetings to thousands worldwide, including recording and analytic features that have only now started to emerge commercially.
Modern processor architectures (networked multi/many-core nodes), together with society's expectation of evermore-complex applications, require fluent mastery of concurrency. To enable this mastery, in the last two decades our group has taught, researched and developed fundamental notions of concurrency, new programming languages (occam-pi, and the KRoC toolset), libraries (JCSP, CCSP, C++CSP, CHP), runtime systems (the KRoC/CCSP multicore scheduler) and tools based on formal process algebra (Hoare's CSP, and Milner's pi-calculus).
Our work has had impact in providing new mechanisms for software development in a number of sectors such as chip design, large-scale real-time systems, formal interfaces and testing and the space industry. Testimonials supporting this are available from a variety of industrial and commercial sources (NXP Semiconductors, Big Bee Consultants, Philips Healthcare, 4Links Ltd. and Microsoft Research Cambridge). The breadth of impact of the work is evidenced by download statistics, as well as by third-party contributions to libraries and documentation.
This case study describes impact arising from research into designing constructionist tools that provide personalisation, support and guidance to learners and teachers, resulting in software used in several schools, FE colleges and universities world-wide. Constructionist learning is founded on the principle of constructionism which argues for the pedagogical importance of building artefacts as a way of building mental representations. A key computational challenge in the design of tools that foster constructionist learning is to provide intelligent support that guides users towards productive interaction with the tool without constraining its creative potential.
The use of technology to enhance student learning is known to have a significant impact on achievement in all subject areas and across all stages of schooling and learning. Educational computer games and online tools help engage students — making learning enjoyable and therefore more effective. Computer scientists at Leicester are expert in the analysis of online learning tools and educational games. They have used this expertise to evaluate whether and why such games or tools work and, most importantly, how they can be improved.
The research has been used by:
With computing science in schools and universities suffering from an international education crisis, University of Glasgow research has driven the development of new school curriculum across the UK. The learning and teaching materials developed at Glasgow rethink the way computing science is taught, with over 10,000 pupils taking part in workshops in Scotland and 1,600 teachers in 20 countries using the materials. In the US, this research has attracted 20 high schools and 2,000 university students into programmes demonstrating new methods in teaching computational thinking. Dr Quintin Cutts has also contributed to the Scottish Qualifications Authority's assessments for the new Scottish curriculum, consulting on assessment techniques and nationwide Computing Science exam papers.
Research by Melanie Nind of the University of Southampton and her collaborator (Hewett) has had a national and international impact on the practice of professionals who teach people with severe learning disabilities. The Intensive Interaction approach is included in UK National Curriculum guidance, the Government's Strategy for people with learning disabilities, and it is used across education, psychology, social care and speech and occupational therapies. Nind's research has shaped the implementation of Intensive Interaction, and provided practitioners in Eastern Europe, New Zealand, and Australia with new data and concepts that help to inform practice to enrich the lives of a vulnerable population.