If you are a scammer, Send email using this address.

You can always reach me by writing a message on igor at konnov.phd or igor.konnov at gmail.com.

Availability

June July August September
πŸ”¨πŸ”¨πŸ”¨πŸ”¨πŸ”¨ πŸ”¨πŸ”¨πŸ”¨πŸ”¨πŸ˜Ž πŸ”¨πŸ”¨πŸ”¨πŸ”¨πŸ˜Ž πŸ”¨πŸ”¨πŸ”¨πŸ”¨πŸ˜Ž

Legend: πŸ”¨ is 1 busy day per week, 😎 is 1 free day per week (bookable)



Quint

Alternative syntax for the logic of TLA+

Solarkraft

A runtime monitoring tool for Stellar Soroban, powered by TLA+ and Apalache