|
| Name: |
Professor EA Boiten |
| Organisation: |
De Montfort University |
| Department: |
Faculty of Technology |
| Current EPSRC-Supported Research
Topics: |
|
Fundamentals of Computing
|
Information & Knowledge Mgmt
|
|
Networks & Distributed Systems
|
Software Engineering
|
|
| Current EPSRC Support |
| EP/T009241/1 | Academic Centre of Excellence in Cyber Security Research - De Montfort University | (P) |
|
| Previous EPSRC Support |
| 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
|
| |
|
|
|
|