From NERVedia

I am a nice fellah :D (enligt Xor iaf :) )

Skola

Monte läser Master Algorithms and Logic: Foundations of Computing på Chalmers (långt namn, jag vet ). Programmet bytte dock namn efter att jag börja, och nu heter det "algotithms, languages, and logic" istället.
Dessa kurser har jag läst hittils i varje period:

• 1:
  • Logic in Computer Science
  • Algorithms
• 2:
  • Cryptography (med xor)
  • Functional Programming
• 3:
  • Computer Language Technology (DAT150) (med xor)
  • Advanced Functional Programming (skippade denna, då jag inte orkade jobba mer med haskell just då.)
• 4:
  • Artificial Intelligence (TIN171)
  • Ändliga automater och formella språk (TMV026)
• 5 (pågående):
  • Software engineering using formal methods (EDA292)
  • Types for programs and proof (DAT140)

Pågående projekt

• folding@chalmers (Klart?)
• Libcrypto++
• ECClibH
• Steganoz
• ObsNet?

Övrigt

• Warhammer (Offline)
• MNet