לוח מעבדות

artificial intelligence group

security robotics, multi-robot systems, cognitive modeling and Robocup

Formal methods is an interdisciplinary area, where the research can combine research in security, algorithms, genetic algorithms and other areas.

Striving to be the an international leader in academic research of cyber security