175 reputation
5
bio website
location
age
visits member for 2 years, 1 month
seen Apr 5 at 16:12

Hardware synthesis researcher. SMT based Bounded/Parameterized/Distributed synthesis..


5 Votes Cast

all time   by type  
5 up 2 question
0 down 3 answer