Systems and computing engineer, expert in formal methods for software development, intelligent systems and blockchain. With long experience in development and team leadership for blockchain-powered applications and dapps.
Skilled in various languages and technologies such as python, c, c++, c#, java, SQL (MySQL, Oracle, MS SQL, ...), Matlab, Django, Selenium, Scrapy, Cloud infrastructure (AWS, Google cloud, ...), Linux, non-relational dabases (MongoDB, DynamoDB, ...), and blockchain technologies (smart contracts and dapps).