Solidity Developer( Голд Кволити )

Описание

Kir il l Z ib o ro v
So ft w are E n g in eer
So ft w are E n g in eer w it h a lm ost 3 y e ars o f e xp erie n ce
who i s c o m fo rt a b le w ork in g w it h i n te ra ctiv e t h eo re m
pro ve rs s u ch a s I s a b elle /H O L, H O L4 , C oq a n d m odel
ch eck e rs . A ls o b lo ck ch ain d eve lo per, e sp ecia lly
in te re ste d i n t h e d eve lo pm en t a n d f o rm al v e rifi ca tio n
of s m art c o ntra cts .
krl.z ib o ro v@ gm ail .c o m
+79776762177
lin ke d in .c o m /in /k ir il l- z ib o ro v
git h u b .c o m /K ir il lZ ib o ro v
WORK E X PER IE N CE
Se n io r R ese arc h er
Iv a n nik o v I n stit u te f o r S yste m P ro gra m min g o f
th e R A S
01/2 022 - P re se n t
,
Mosc o w
Contrib ute d t o t h e d eve lo pm en t o f a f ra m ew ork f o r v e rif y in g C
pro gra m s i n I s a b elle /H O L;
Contrib ute d t o t h e d eve lo pm en t o f p ro of m eth o ds w it h c a ch in g
an d t ra cin g f o r d yn am ic f ra m es t a ctic s;
Modele d d ata s tru ctu re s a n d o pera to rs o f t h e C l a n g uag e;
Fo rm ally v e rifi ed O S c o m po nen ts u sin g t h e d eve lo ped f ra m ew ork ;
Gav e l e ctu re s o n I s a b elle /H O L.
So ft w are E ng in eer
Le o n G ro up , L LC
05/2 022 - 0 6/2 023
,

Deve lo ped s m art c o ntra cts f o r T A IF fi llin g s ta tio n n etw ork i n
HO L4 ;
Contrib ute d t o t h e d eve lo pm en t o f t h e I n no C hain b lo ck ch ain
no de;
Fo rm ally v e rifi ed p ro pert ie s o f s m art c o ntra cts i n H O L4 .
So ft w are E ng in eer
In no po lis U niv e rs it y
07/2 020 - 0 4/2 022
,

Deve lo ped a f o rm al m odel o f t h e H otS tu ff c o nse n su s a lg o rit h m ;
Fo rm ally v e rifi ed t h e H otS tu ff c o nse n su s a lg o rit h m u sin g T LC
model c h eck e r;
Deve lo ped s m art c o ntra cts f o r t h e I n no C hain b lo ck ch ain i n H O L4 ;
Deve lo ped a f ra m ew ork f o r d ed uctiv e v e rifi ca tio n o f s m art
co ntra cts i n H O L4 ;
Fo rm ally v e rifi ed p ro pert ie s o f s m art c o ntra cts i n H O L4 .
ED UCATIO N
Fu nd am en ta l M ath em atic s a n d M ech an ic s
Lo m ono so v M osco w S ta te U niv e rs it y
09/2 017 - 0 6/2 023
,
Dip lo m a t h esis : " D ed u ctiv e v e rifi ca tio n
of t h e v o tin g s m art c o ntra ct
pro pert ie s."
"In tro ductio n t o
Cry p to gra p hy"
"C ry p to gra p hic P ro to co ls "
"M ath em atic a l T h eo ry o f
Com pute r S cie n ce "
SK IL L S
Sta n d at M L
Is a b elle /H O L
Blo ck ch ain
So lid it y
C
HO L4
C++
Coq
Cake M L
TLA +
La Te X
Git
Dock e r
Hard hat
PU BLIC ATIO NS
"In no C hain : a D is trib ute d L e d ger f o r I n d ustr y w it h F o rm al
Verifi ca tio n o n a ll I m ple m en ta tio n L e ve ls " i n M odelin g a n d
Analy sis o f I n fo rm atio n S yste m s
http s:/ /w ww.m ais -jo urn al.r u /jo ur/ a rt ic le /v ie w /1 436

"A ppro ach es f o r f o rm al v e rifi ca tio n o f s m art c o ntra cts i n H O L4 "
in L o bach evsk ii J o urn al o f M ath em atic s
Te xt s u b m it te d
http s:/ /y o utu .b e/x n 1K KviE D D0

TEA CH IN G A CTIV IT IE S
Assis ta n t a t t h e " F o rm al M eth o ds o f S o ft w are d esig n a n d
ve rifi ca tio n" s tu d en t s c h o ol ( S ir iu s U niv e rs it y )
( 1 1/2 021 - 1 1/2 021)

Le ctu re r a t t h e " M ach in e L e arn in g a n d P ro gra m V erifi ca tio n"
stu d en t s c h o ol ( L o m ono so v M osc o w S ta te U niv e rs it y )
( 0 8/2 022 - 0 8/2 022)

LA N GUAG ES
En g lis h
Fu ll P ro fe ssio nal P ro fi cie n cy
Russia n
Nativ e o r B il in gual P ro fi cie n cy
IN TER EST S
Fo otb all
Chess
Tra v e llin g
Ach ie ve m en ts /T a sk s
Ach ie ve m en ts /T a sk s
Ach ie ve m en ts /T a sk s
Cours e s