EPSRC logo
Researcher Details
 
Name: Professor EA Boiten
Organisation: De Montfort University
Department: Faculty of Technology
Current EPSRC-Supported Research Topics:
Criminology Human-Computer Interactions

Current EPSRC Support
EP/P011772/1 EconoMical, PsycHologicAl and Societal Impact of RanSomware (EMPHASIS)(P)
Previous EPSRC Support
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