|visits||member for||4 years, 2 months|
|seen||Mar 30 '11 at 2:12|
Hello, my name is Alexei and for last 15 years I am pursuing a career as software engineer. I design and implement software in C/C++ for living and in limited spare time I play with functional programming and do some research in area of formal methods and program verification.
|bio||website||monteaureus.com||visits||member for||4 years, 2 months|
|location||Vancouver, Canada||seen||Mar 30 '11 at 2:12|