Awards and Funding

Award

Funding

During 2012–13 the Software Engineering Institute awarded 203,470 USD from the LENS (Line-funded Exploratory New Starts) Fund to our project “Security Pattern Assurance through Round-trip Engineering“.

Between the years 1989–2010 my research has been supported by over 200,000 USD from the following bodies:

Funded collaboration

  • 2011
    Nicola Angius, University of Sassari, Italy
    image
    P.R.I.N. ‘Research Project of National Interest’
  • 2010
    Rick Kazman, Software Engineering Institute, Carnegie Mellon
    image
    The Metropolis Model: Crowdsourcing for Software and Content Development
  • 2009
    Bill Duncan, Department of Philosophy, SUNY Buffalo, NY
    image
    PhD Studentship
  • 2008
    Selmer Bringsjord, Rensselaer Polytechnic Institute
    image
    Doing AI That's Tough Enough: Human Genius, Hypercomputation, and Automatic Programming
  • 2008
    John Howse, Department of Computer Science, Brighton University
    image
    Reasoning with Diagrams for Software Development
  • 2006
    Amiram Yehudai, Department of Computer Science, Tel Aviv University
    image
    Ontology and paradigms of programming languages
  • 2006
    Susan Stuart, Department of Philosophy, University of Glasgow
    image
    Bodily Consciousness and Kinaesthetic Imagination
  • 2006
    Shalom Lappin, Department of Philosophy, Kings College, London
    image
    Machine Learning and Poverty of Stimulus Arguments in the Theory of Grammar
  • 2006
    Luciano Floridi, Faculty of Philosophy and IEG, Computing Laboratory, Oxford University
    image
    The Informational Nature of Reality
  • 2006
    Yoram Hirshfeld, Department of Pure Mathematics, Tel Aviv University
    image
    The philosophy of computer science
  • 2005
    Barry Smith, Department of Philosophy, SUNY Buffalo
    image
    The philosophy of computer science
  • 2005
    B. Jack Copeland, Department of Philosophy, University of Canterbury, New Zealand
    image
    Alan Turing: The Mechanisation of Thought Processes, Intelligent Machines, and the Imitation Game
  • 2004
    Tom Mens, University of Mons-Hainaut, Belgium
    image
    Lightweight formal tool support for software evolution