Models of Computations and Logical Reasoning Department

  Specialization

  Directions

• Automata Theory, Self-organized Network Models and Applications

  Head of Direction    Yuri Shoukourian
  

  See more  

  
  
  Pilot Projects
  
  

  1. Task Distribution Algorithm in Cluster Systems (rotor-router model)
  2. Image encoding and decoding in self-organizing systems (sandpile model)
  3. Corona-game example of a "serious game" in self-organizing systems (sandpile model)
     
  4. Multi-user software system for joint research of self-organizing dynamic processes (sandpile model)
     

  
  Staff
  
  

  • Yuri Shoukourian  
  • Suren Poghosyan  
  • Hasmik Karapetyan  
  • Vahagn Poghosyan  
  • Yeghisabet Alaverdyan  
  • David Hayrapetyan  
  • Artyom Lazyan  
  • Agit Atashyan  
  • Vardan Mnatsakanyan  
  • Narek Hovhannisyan  



• Algorithms Theory and Automated Program Synthesis

  Head of Direction    
  

  See more  

  
  
  
  Staff
  
  

  • Arsen Mokatsian  



• Mathematical Logic and Applications

  Head of Direction    
  

  See more  

  
  
  
  Staff
  
  

  Current Projects

Selected Publications