User:Leland McInnes

I am a Ph.D. student in pure mathematics, currently completing my thesis on pro-finite Lie rings. I have an interest in formal specification and V&V for software in general, and an interest in Eiffel as a language that makes use of some of these techniques.