Sergey Ichtchenko

Sergey Ichtchenko

Doctoral Student

Stipendiary Lecturer, St Catherine's College

Tutorial Fellow, St Edmund Hall

E: sergey.ichtchenko@cs.ox.ac.uk

Themes:

• Automated Verification
• Security
• Artificial Intelligence and Machine Learning

Interests

Formal Verification, Proof Rules, AI safety, Automated Reasoning and Control

Selected Publications

View AllManage publications

• Complete ω−Regular Supermartingale Certificates

  Alessandro Abate‚ Mirco Giacobbe‚ Sergey Ichtchenko and Diptarko Roy

  2026.

  Details about Complete ω−Regular Supermartingale Certificates | BibTeX data for Complete ω−Regular Supermartingale Certificates | Download  (pdf) of Complete ω−Regular Supermartingale Certificates

Activities

• Model Checking
• Probabilistic Model Checking
• Software Model Checking
• Verification

Supervisor