My name is Jalolliddin, I am

specializing in software engineering and system programming.

I teach at Inha University in Tashkent (System Programming, Operating Systems, Blockchain Basics and Platforms, Algorithms, and network systems for the Executive MBA in AI & Data Science). Before that I spent ten years at Turin Polytechnic University in Tashkent as associate professor, Head of the Academic and Research Department and Vice-Rector.

Alongside teaching I build systems that run every day: a Manufacturing Execution System (MES) for a tractor plant at AgroTech Klaster, learning management systems (Moodle) for several universities, Telegram bots for timetables, exams and document verification, and workflow automation for academic and industrial processes.

My research is in formal verification of network security — automatically verified firewall and security-policy configuration in SDN/NFV and 5G — and, more recently, formal verification of in-vehicle communication (SOME/IP, CAN gateways) and LLM-assisted formal methods.