Mikhail Murunov

For several years now, I've been doing the same thing: making systems more reliable. During the day, I'm responsible for the reliability of the Temporal payment platform at T-Bank, and in the evening, I've come up with an experiment: a system that finds bugs in complex programs like the Scala compiler, Verilog (various implementations), TON (TVM), and our beloved QA tools.

I love testing the tools that are supposed to test us, and seeing where formal methods actually work without the inherent pain. I also believe that the most important skill right now is critical thinking, so that agents can't deceive you.