175 reputation
6
bio website
location
age
visits member for 2 years, 9 months
seen Apr 5 at 16:12

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


Stack Overflow 348 rep 315
Computer Science 184 rep 9
Mathematics 175 rep 6
Server Fault 143 rep 15
TeX - LaTeX 128 rep 5

5 Votes Cast

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