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
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