- Hi, I'm Yarik - I'm interested in science - I'm learning programming now -my tik-tok accaunt - https://www.tiktok.com/@yarik_1207?lang=ru-RU

I keep Linux alive on Intel Itanium processor family. I also do Linux kernel latency tracing at Red Hat.

Software Engineer

Functional and Systems Programmer

just a web3 & ai student

focus in verification of real time embedded control system using static analysis, theorem proving

Post-doc at the University of Cambridge