Bailin Lu
73
reputation
7
I'm a postgraduate and majoring in Software Engineering. I'm interested in static analysis and concurrent program verification.