Eytan
728
reputation
1
7
19
Programmer and researcher, and I have been doing this for a while. Formal methods are my thing, also touched ML and programming languages.