-- Leo's gemini proxy
-- Connecting to apolexian.srht.site:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini
I am a PhD student at the University of Glasgow under the supervision of Dr Colin Perkins and Dr Ornela Dardha.
I work on using formal methods to improve network protocol specifications and the network protocol standardisation process.
Before this, I completed my undergraduate at UofG in June 2022, with my final year dissertation analysing QUIC as a transport layer for IoT devices, specifically as the transport layer for the MQTT protocol.
You can email me at: i.nikitin.1[at]research.gla.ac.uk
Research:
Some Links:
Some Stuff I have Worked On:
-- Response ended
-- Page fetched on Sun Apr 28 02:05:57 2024