Infomation assurance, Formal methods for specification and verification, Operating systems and the security of operating systems, Network and distributed systems security
Artificial Intelligence, Game Artificial Intelligence, Game Programming, Machine Learning for Multimedia Data Mining, Robotics, OPENCL programming, Programming of Mobile Platforms, Cognitive Science and Computational Neuroscience.