|
|
| user: | ivg_t | | created: | July 18, 2018 | | karma: | 7 | | about: | I’m a research programmer in CMU, Cylab. Currently I’m focused on Binary Analysis Platform (BAP), but in general, my interests lie in the field of program analysis and formal methods. I believe that using languages with rich type systems, like Coq or OCaml is a sure way to deliver safe and robust software. I also have a strong belief that programming is a prodigal son of mathematics, and will be happy to see the Return of the Prod. | | submissions | | comments | | favorites |
|
