I'm an almost PhD in computer science and CTO of an IT startup.
My academic side specializes in formal methods applied in the domain of programming languages. My PhD thesis aims at bridging the gap between those advanced methods and modern mainstream programming languages.
My startup helps small and medium businesses communicate better on their social networks. We provide them with helpful insights powered by artificial intelligence, so as to enhance the quality of their online interactions.