Konstantin Narkhov
Pheix 0.8.88
@condemnedcell
konstantinnarkhov.pro

Welcome!

My interests are in the field of real-time systems programming, development modeling software for embedded systems, test automation and software verification. I am working on formalized description of multi-threaded applications, development of automated software generation facilities & monitoring tools for multi-threaded realtime applications.

This is my personal site with information about education, job/skills, experience and hobbies. Feel free to browse through it and you are welcome to leave comments or feedback.

If you are tired of boring home pages — download all-in-one PDF with entire content & links. Cheers!

Blog entries

Check out latest blog entries: most interesting stories about past events & activities.

Quick feedback

Letters and spaces only