103
reputation
4

Alexander Kogtenkov

I mostly work on software development tools, such as compilers, static code analyzers, verifiers, run-time, core libraries, and am interested in providing tools assisting development of reliable software, closing the gap between academic research and industry. In particular, this includes object-oriented languages equipped with contracts like Eiffel that supports Design by Contract technology.

0
answers
1
question
~848
people reached

Top tags (1)

Score 0
Posts 1
Posts % 100

Top posts (1) All Questions Answers | Votes Newest

0 Reverse contraposition May 23 '14

Badges (4)

Gold

Silver

Bronze

4

Rarest