User:Leland McInnes

Revision as of 13:53, 23 November 2006 by Leland McInnes (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.

I keep a blog on mathematics at The Narrow Road

Retrieved from "https://dev.eiffel.com/index.php?title=User:Leland_McInnes&oldid=6371"