sikr_
369
reputation
1
7
19
Currently a PhD student in the fields of formal verification, evolutionary algorithms and approximate computing.