Linux, C, C++, Template metaprogramming, generic programming, Android, OS design, Haskell, Functional programming, Scheme, Lisp, Dependent Types, Agda

Unix developer at DrWeb Ltd.