Konstantin Vikhorev's Home Page

I am currently a PhD student at the University of Nottingham working on a Real-time guarantees in high-level agent programming languages project under the supervision of Dr. Brian Logan.

High level declarative agent programming languages based on the ‘Belief-Desire-Intention’ paradigm have been the focus of considerable research in the multi-agent system community. However, while such languages provide powerful abstractions to facilitate the programming of complex patterns of agent interaction, they fail to capture a key element of agency, namely the ability to respond to changes in the agent’s environment in a timely manner. The project will explore ways of adding soft real-time guarantees to high-level declarative agent programming languages such as AgentSpeak and 3APL. This will involve developing ways to more precisely specify the execution cycle of such languages and to estimate the execution time of basic program steps. The main research challenge is to do this in a way which preserves as much of the languages’ declarative semantics as possible.

I completed my MSc Active Stabilization of Unstable System Under Bounded Control with Application to Active Flutter Suppression Problem at De Montfort University as part of a large international project. I graduated from Bauman Moscow State Technical University in July of 2007 with a MSc Automatic Control Systems degree.