Research Repository
| Research Interests | System security, software security for C/C++ programs, formal methods, hardware formal verification |
|---|---|
| PhD Supervision Availability | Yes |
| PhD Topics | PhD Thesis: Inline and sideline approaches for low-cost memory safety in C - Security: memory safety in C/C++, high performance system - System on a chip (SoC) designs: interface synthesis between SoC components at the different levels of abstraction - Formal methods |
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search