Formal Foundations of Software Defined Networks (FoFoSDN)
Research Assistant
Welcome! I am a Research Assistant at the Programming Principles, Logic, and Verification group at University College London , where I am also an undergradute student in the MEng Mathematical Computation course.
I work in Prof. Alexandra Silva ’s lab on automata theory, grammatical inference, and formal verification. My research focuses on the applications of model learning for fast moving industries, usually through the use of Lightweight Formal Methods.
Formal Foundations of Software Defined Networks (FoFoSDN)