
Старший научный сотрудник Института систем информатики им. А.П. Ершова СО РАН, доцент Новосибирского государственного университета и Новосибирского государственного технического университета.
Область научных интересов – формальная семантика, спецификация и верификация программ и систем, парадигмы программирования.
http://db.iis.nsk.su/persons/shilov//shilov.htm?q=persons/shilov/shilov.htm
-
Что программистам надо знать о программных логиках
3 доклада по 40 минутЦель миникурса – познакомить слушателей со спектром программных логик на примере решения сложной программисткой задачи (уровня полуфиналов ACM ICPC) с использованием одной из самых сложных из программных логик пропозиционального мю-исчисления
Read more →