deploments of computer secnies

Theory and Practice of Programming Research Group

 
The T∀PP group is involved in a broad spectrum of research aimed at improving programming methodologies - whether from the point of view of improving efficiency or increasing trustworthiness, and with application scope ranging from software development to systems design. The foundation underlying these efforts is rigorous though abstract modelling, firmly guided by practical outcomes.

Formal Methods Warwick

The formal methods group in the Department of Computer Science at the University of Warwick has research interests in theoretical and application aspects of the verification of software and hardware. We focus on model checking, theorem proving, testing, specification formalisms and notation, games and tools developement.

Research

Research in the department encompasses a variety of topics, ranging from advancing the foundations of computing to exploring novel, interdisciplinary applications. The activity is strengthened by a range of collaborations, including within the University, nationally, and internationally. Recent large-scale funding has resulted in the establishment of cross-faculty centres of research which bring together emergent technologies and target disciplines.The Department is consistently ranked amongst the top Computer Science Departments in the UK in independent surveys.
he MSc in Computer Science and Applications is an exciting interdisciplinary course that offers a choice from a range of advanced topics at the frontiers of Computer Science, together with their application to business, technology, science and education. It has been designed for graduates with a Computer Science or scientific and computational background, and provides a solid preparation for the use of cutting-edge tools, techniques and technologies in an industrial or business context. The course also provides an excellent grounding for further research, either through PhD study or in a commercial setting.
The MSc comprises a choice of 90 CATS credits (typically 6 modules) from an extensive list of options in the first two term along with a module on research methods, followed by a dissertation project in the third term and during the summer. The dissertation component offers the opportunity to specialise, and to explore in greater depth areas related to the topics previously covered. Dissertations may be research focused or be directed towards the practical application of advanced topics in Computer Science, and there is scope for commercial or industrial collaboration.