About Hei Li

PhD student at Aarhus Uni
Formal Verification/Probability/Concurrency
If I cant have love, I want power.

(Mostly non maths related posting)

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet