Name:	Professor EA Boiten
Organisation:	De Montfort University
Department:	Faculty of Technology
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/T009241/1 Academic Centre of Excellence in Cyber Security Research - De Montfort University (P) EP/P011772/1 EconoMical, PsycHologicAl and Societal Impact of RanSomware (EMPHASIS) (P) EP/N002997/1 Academic Centre of Excellence in Cyber Security Research - University of Kent (P) EP/K003429/1 Network on Formal Methods and Cryptography: CryptoForma 2. (P) EP/G069875/1 Formal Methods and Cryptography: The Next Generation of Abstractions (CryptoForma) (P) GR/S69979/02 Network: RefineNet (C) GR/T08630/01 Research Induction and Training Package at Integrated Formal Methods 2004 (P) GR/S69979/01 Network: RefineNet (C) GR/N04256/01 A CONSTRUCTIVE FRAMEWORK FOR PARTIAL SPECIFICATION (P) GR/L95878/01 ODP VIEWPOINTS IN A DEVELOPMENT FRAMEWORK (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator