Skip to main content
Alexander Kogtenkov's user avatar
Alexander Kogtenkov's user avatar
Alexander Kogtenkov's user avatar
Alexander Kogtenkov
  • Member for 10 years, 1 month
  • Last seen more than a month ago
Stats
206
reputation
470
reached
2
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.
2
silver badges
5
bronze badges
Top tags
8
Score
1
Posts
50
Posts %
8
Score
1
Posts
50
Posts %
8
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
Top posts