Human-Centred Computing News

Tim Davidson successfully completed his PhD titled "Formal Verification Techniques using Quantum Process Calculus" under the supervision of Dr Rajagopal Nagarajan. Quantum information processing is an emerging technology and formal modeling of quantum protocols is important for the design and development of quantum communication and cryptographic systems. Tim's thesis contributes to the development of the quantum process calculus CQP, proposed by Gay and Nagarajan in POPL'05. In particular, it investigates process equivalence and solves an open problem by proposing a suitable congruence. Tim's external examiner was Dr Paulo Mateus (Lisbon) and his internal examiner was Dr Jane Sinclair.

Tim is currently attending interviews for jobs in information security.

Recent results on the Unistats official website show that of those Computer Science graduates from Warwick, who have gained employment 6 months after graduation, 100% are in working in graduate level employment.

Warwick Computer Science is in the top tier of computer science departments (with four other universities) with respect to graduate employability. It is also the second most targeted by graduate employers for graduate recruitment programmes in the UK - second only to Cambridge.

Professor Jianfeng Feng from the Department of Computer Science, has been awarded a Royal Society Wolfson Research Merit Award.

The Wolfson Research Merit Award is one of the most prestigious UK awards, supported by the Royal Society, the UK's national academy of science. The scheme provides up to 5 years’ funding after which the award holder continues with a permanent post at the host university. Jointly funded by the Wolfson Foundation and the Department for Business, Innovation and Skills (BIS), the scheme aims to provide universities with additional support to enable them to attract to this country or to retain respected scientists of outstanding achievement and potential.

The Wolfson Foundation is a grant-making charity established in 1955. Funding is given to support excellence and the focus of the award is a salary enhancement. More information is available from http://www.wolfson.org.uk.

Professor Feng will be working on a project entitled "Bridging the gap between fMRI and Genome-wide data with applications in diseases".

News on some of Professor Feng's more recent work can be found at: http://edition.cnn.com/2011/10/04/health/depressed-brains-hate-differently/?hpt=he_c2

(See also The Royal Society announcement.)