Alexander Kogtenkov
  • Member for 7 years, 8 months
  • Last seen more than a week ago
Stats
206
reputation
372
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 %