221
reputation
2
5

Trung Ta

I'm interested in programming language and human language enthusiast, doing research in formal verification, and a big fan of Emacs.

1
answer
2
questions
~684
people reached

Top tags (7)

Score 7
Posts 2
Posts % 67
Score 7
Posts 1
Score 7
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (7)

Gold

Silver

2

Rarest

Bronze

5

Rarest