Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of nh_

nh_

nh_ has asked 0 questions and find answers to 6 problems.

Stats

69
EtPoint
12
Vote count
0
questions
6
answers

About

I am a research assistant and PhD student at Technical University of Munich (Germany). My research interests include programming languages, compiler construction, static program analysis and model checking. I have been teaching functional programming (OCaml), program verification, tree automata and tree transducers recently. I am absolutely enthusiastic about the C++ programming language, which I started to program with at young age.