Naso Evangelou-Oost
Senior Mathematician
Queensland, Australia
Summary
🎓
Top SchoolNaso Evangelou-Oost is a Senior Mathematician and PhD candidate at the University of Queensland who blends category theory, formal methods, and functional programming to build practical AI and software solutions. As founder of Oneironaut and lead at Sirius-beta Labs, he translates abstract mathematical ideas into production-ready tools, with a special focus on Haskell and TypeScript systems. He brings eight years of experience spanning academic teaching, independent consulting, and product-focused research, often bridging theory and engineering in concurrency and program reasoning. Naso is actively recruiting talented TypeScript and Haskell developers and quietly experiments at the nexus of AI and category theory to produce elegant, auditable systems.
7 years of coding experience
Bachelor of Science - BS, Pure mathematics, Bachelor of Science - BS, Pure mathematics at University of TasmaniaDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at The University of Queensland
French, English, Vietnamese
Github Skills (139)
visual-studio10
stack10
editor10
electron10
typescript10
vscode-extension10
vscode10
ghc10
visual-studio-code10
microsoft10
ide10
latex9
hackage9
boost9
cabal9
Programming languages (8)
Github contributions (5)
nasosev/voronoi-hex
Jul 2019 - Jul 2022
Hex on a Voronoi board
Contributions:11 commits, 9 pushes, 1 branch in 3 years
hexvoronoielixirboard-gamehomology
nasosev/topos-tool
Jan 2021 - Feb 2021
Contributions:47 commits, 46 pushes, 1 branch in 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.