Igor Zhirkov's user avatar
Igor Zhirkov's user avatar
Igor Zhirkov's user avatar
Igor Zhirkov
  • Member for 1 year, 1 month
  • Last seen this week
About

I am deeply interested in logic, type theories, automated theorem proving and low-level programming. I have written a book about low-level programming to present my course that I was teaching for almost 6 years in ITMO university in St. Petersburg, Russia.

Currently I am pursuing my PhD thesis on verified C refactorings at IMT Atlantique, Nantes.

Being an amateur pianist, I also learn bass guitar. My preferences are baroque and late-romantic music as well as progressive rock and jazz fusion; I am also very fond of various types of electronic music.

Feel free to drop me a line.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts