Student of computer science with an interest in functional programming languages, compilers, formal verification, the GNU/Linux operating system, text editing software and free software in general.