My name is Jalolliddin, I am
specializing in Software Engineering
I am an assistant professor at the Turin Polytechnic University in Tashkent. My primary research interests include formal verification of security policies in automated network orchestration. My other research interests include (mathematical) modeling, cyber physical systems, IoT and cloud computing systems.