Tags

abstract interpretation

dynamic programming languages

internship

python

static analysis

coq

floating point

formal verification

hol4

probabilistic programming