Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more
Alexander Kogtenkov's user avatar
Alexander Kogtenkov's user avatar
Alexander Kogtenkov's user avatar
Alexander Kogtenkov
  • Member for 11 years, 6 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