Research /
VRWorkshop
Advice on proposal writing
- Writing a good grant proposal (Simon Peyton Jones and Alan Bundy)
- How to write a great research grant proposal (Slides, Simon Peyton Jones and Alan Bundy)
- Proposal Writing 101 (Slides, Sally McKee)
- VR and Research Proposals (Slides (reduced size to fit wiki limit), David Sands)
Advice on writing, presentation of data etc.
- The elements of style, fourth edition, Strunk and White, Longman Essential!
- A Handbook for Scholars, revised edition (1992), Mary-Claire van Leunen, Oxford University Press
- On Writing Well, 30th Anniversary Edition or later, William Zinseer, Collins
- Handbook of Writing for the Mathematical Sciences, second edition, Siam
- The Complete Plain Words, Sir Ernest Gowers, 1987 edition, Penguin This is Mary's favourite because she was first introduced to it by one of her lecturers as an undergraduate. It has very enjoyable discussions of "the idiom of the Celt" :) She keeps having to buy new copies because she lends them to people and never gets them back.
- Bugs in Writing, Revised Edition, Lyn Dupre, ADDISON WESLEY Pearson Education
- The Visual Display of Quantitative Information, Edward R. Tufte, Graphics Press
- Envisioning Information, Edward R. Tufte, Graphics Press
Funded VR Proposals
Junior Grant
- GenPro: Generating and Proving Program Properties via Symbol Elimination ( Laura Kovacs, 2013)
review
- Systems Verification — The Last Mile (Magnus Myréen, 2013)
- General Framework for Multilingual Text Processing (Krasimir Angelov, 2012)
Project Grant
- StaRVOOrS: Unified Static and Runtime Verification of Object-Oriented Software (Wolfgang Ahrendt, 2013)
- Proof-based Testing -- Using Proof Techniques to Enable Automated Testing of Complex Algorithms (Koen Claessen, 2013)
- Declarative Models for Hybrid Machine Translation (Aarne Ranta, 2012, v. highly rated but not funded because REMU was (see below))
- Strongly Typed Libraries for Programs and Proofs (Patrik Jansson, 2011)
- Computational protein modelling supported by NMR data (Graham Kemp, 2011)
- FlexSoft: Software Infrastructure to Support Hardware/Software Codesign of Exposed Architectures (Sally McKee, 2011)
- A functional programming approach to hardware acceleration of algorithms (Mary Sheeran, an example of a slightly wild proposal, 2011)
Frame Grant
- REMU: Reliable Multilingual Digital Communication: Methods and Applications (Aarne Ranta et al, 2012)
- CHAMPP: CHalmers Adaptable Multicore Processing Project (Larsson-Edefors, McKee et al, 2009)
- Putting functional programming to work: Software design and verification using domain specific languages (FP group, 2009)
Grants for Swedish-Chinese research collaboration
- Photochemical Smog in China: Formation, transformation, impact and abatement strategies Δ (Mattias Hallquist, GU, 2013)
VR history at the CSE department
VR 2016 VR 2015 VR 2014 VR 2013 VR 2012 VR 2011 VR 2010 VR 2009 VR 2008