연구 그룹

소프트웨어 엔지니어링의 최적화 문제

이 그룹은 주로 신뢰할 수 있는 시스템 엔지니어링, 문법 추론, 소프트웨어 검증 분야의 난해한 최적화 문제를 해결하는 데 초점을 둡니다.

주요 연구 프로젝트

  • 메타휴릭스틱 알고리즘으로 유한 상태 기계 추론
  • 산업 자동화 소프트웨어의 합성, 테스트, 검증
  • 구문 알고리즘 매개변수 조정
  • 그래프 및 자동 장치 문제에 대한 제약 조건 프로그래밍

문의: Vladimir Ulyantse

그룹 멤버

Vladimir Ulyantsev
Vladimir Ulyantsev
연구소/그룹 책임자
Daniil Chivilikhin
Daniil Chivilikhin
연구원
Ilya Zakirzyanov
Ilya Zakirzyanov
연구원
Ekaterina Noskova
Ekaterina Noskova
연구원
Konstantin Chukharev
Konstantin Chukharev
연구원
Viktor Kondratiev
Viktor Kondratiev
연구원