206
reputation
2
5

Alexander Kogtenkov
Loading…

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.

2
answers
0
questions
~327
people reached

Top tags (6)

Score 8
Posts 1
Posts % 50
Score 8
Posts 1
Score 8
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (2)

Badges (7)

Gold

Silver

2

Rarest

Bronze

5

Rarest