Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of Alexander Kogtenkov

Alexander Kogtenkov

Alexander Kogtenkov has asked 0 questions and find answers to 5 problems.

Stats

79
EtPoint
17
Vote count
0
questions
5
answers

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.