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