Help the world produce better software and produce software better.

Specialties: Software engineering, object-oriented programming, program verification, formal methods, Eiffel, Design by Contract, concurrent programming, multicore, software testing, software consulting, arbitration, legal expertise on software topics, project management, project rescue