CV

General Information

Name Naso Evangelou-Oost
Languages English, French, Vietnamese

Education

  • Ph.D. in Computer Science (in progress)
    The University of Queensland, St Lucia, Australia
    • Thesis: “Concurrent valuation algebras”
    • Advisors: Ian J. Hayes, Larissa Meinicke
  • B.Math. (Honours Class I)
    The University of Queensland, St Lucia, Australia
    • Thesis: “Homological aspects of Morse-Bott theory”
    • Advisor: Joseph F. Grotowski
    • GPA: 7.0/7.0

Experience

  • 2022-
    Founder, Mathematician & AI Engineer
    Oneironaut
    • Independent consultancy for mathematical research and software development
    • Utilising artificial intelligence, applied category theory, formal methods, functional programming
  • 2022-
    Mathematician & Development Lead
    Sirius-beta
    • Lead a project funded by the Defence Science and Technology Group (DST) through their Next Generation Technology Fund (NGTF)
    • This project falls under an Industry Competitive Evaluation Research Agreement (ICERA), managed by the Information Warfare STaR Shot initiative

Honors and Awards

  • 2020
    • Ethel Raybould Prize in Mathematics, The University of Queensland