Master in Computer Science - Formal Methods. Like to develop code, with strongest languages OCaml and Java.