Martin C.

A bit fanatic of Functional Programming Languages, Computability, Programming Language Semantics, (Intuitionistic) Logic and (Constructive) Mathematics.
Fund of elegant solutions to problems with mathematics.

Taught at courses about Data Structure and Algorithmic programming in C and Haskell. I currently am teaching Concurrent and Parallel Programming in C and Erlang.