Skip to main content
Alexander Kogtenkov's user avatar
Alexander Kogtenkov's user avatar
Alexander Kogtenkov's user avatar
Alexander Kogtenkov
  • Member for 11 years, 7 months
  • Last seen more than 1 year ago
Stats
266
reputation
40k
reached
5
answers
0
questions
Loading…
About

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.

Badges
This user doesn’t have any gold badges yet.
3
silver badges
5
bronze badges
Top tags
8
Score
1
Posts
20
Posts %
8
Score
1
Posts
20
Posts %
6
Score
3
Posts
60
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
Top posts