SmartAlex1995

Entrepreneur/engineer with a broad range of interests in computer science and software, especially type theory and distributed systems.

All over the world