MathsStan

Have an undergraduate background in Mathematics, and the beginnings of a professional background in Static Analysis.

Actively studying (In a non-academic capacity) and learning about various Math/CS areas, with emphasis on:

• Topology
• Type Theory
• Formal languages
• And some functional programming languages:
  • Agda
  • Idris
  • Haskell

If you see me being authoritative in topics outside of these, feel free to reference this talk page back to me!

Fun Fact: Myself (and most people I knew) used to think the Medallion Effect was called the 'Mandela Effect'!

— MathsStan