Yan

55
reputation
1
7

Interested in programming languages, formal methods and computer architecture.