leodemoura

user stats

Member SinceSeptember 27, 2012
Last VisitJuly 25, 2014

Contact

coordinator for

Z3
Z3 Test Suite

leodemoura

personal statement

I'm a researcher at Microsoft.
For more information, visit my website

activity stream

No activity in the last 60 days.