Area 51 » Alexander Kogtenkov

151
reputation
3 views
discussion user
network profile

Registered User

name Alexander Kogtenkov
member for 2 years
seen Dec 24 '21 at 6:17
website
location Russia

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.

0

Proposals


0

Current Commitments


0

Fulfilled Commitments


0

Followed


0

Example Questions


0

Votes Cast