Master’s Students
Kirellos N. Abou Elsaad
| Department/Program: | Computer Science and Electrical Engineering |
| Thesis: | TBD |
| Research Interests: | Formal methods analysis of protocols |
| ORCID: | 0000-0001-8706-7926 |
Sudha Snigdha Kosuri
| Department/Program: | Computer Science and Electrical Engineering |
| Thesis: | TBD |
| Research Interests: | Cybersecurity Education |