Creating seamless technologies of embedded systems and system-on-chip design based on reconfigurable architectures.
- Date start: 10 September 2013
- Date end: 31 December 2014
- Head: PhD, Professor Alexey Platunov
Methods of formal and functional verification of computational processes, knowledge-based and graph-analytical models
- Date start: 01 January 2017
- Date end: 31 December 2019
- Head: Zykov Anatoly