-
Notifications
You must be signed in to change notification settings - Fork 2
/
cv.htm
125 lines (119 loc) · 6.56 KB
/
cv.htm
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
<html>
<head>
<meta charset="utf-8" />
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<meta name="description" content="" />
<meta name="author" content="Maxim Sokhatsky" />
<title>5HT</title>
<link rel="stylesheet" href="blank.css" />
<link rel="stylesheet" href="journal.css" />
</head>
<body>
<nav><a href='#'>5HT</a>
<a href='https://TONPA.GURU/'>TONPA</a>
</nav>
<header>
<a href="https://github.com/5HT"><img src="seal.png"></a><h1>5HT</h1>
</header>
<aside>
<article>
<section>
<h3>Architect, Technical Director</h3>
<p>Maksym Sokhatskyi is a Ph.D. engineer and author with 20 years of experience
in telecommunication frameworks, distributed systems, and business process management.
His open source products power the backend systems around the
world in government, banking, messaging, and telecom.
More at <a href="https://erp.uno/en/">ERP.UNO</a> website.</p>
<br>
<p>My style of management is focusing on cost of ownership and minimization
of latency inside company's production line.</p>
<hr>
<blockquote>
<h6>Address: 04071 Ukraine<br>
E-Mail: namdak@tonpa.guru
</h6>
<br>
GSM: +380676631870<br>
Keybase: <a rel="me" href="https://keybase.io/axiosis">axiosis</a>.<br>
Github: <a rel="me" href="https://github.com/5HT">@5HT</a>.<br>
Mastodon: <a rel="me" href="https://twiukraine.com/@5HT">@5HT</a>.<br>
LinkedIn: <a rel="me" href="https://www.linkedin.com/in/sokhatsky/">sokhatsky</a>.<br>
StackExchange: <a href="https://proofassistants.stackexchange.com/users/197/">users/197</a>.<br>
ORCID: <a href="https://orcid.org/0000-0001-7127-8796">0000-0001-7127-8796</a>.<br>
SCOPUS: <a href="https://www.scopus.com/authid/detail.uri?authorId=57214352719">57214352719</a>.<br>
ResearchGate: <a href="https://www.researchgate.net/profile/Maksym-Sokhatskyi">Maksym-Sokhatskyi</a>.<br>
</blockquote>
<br>
</section>
<section>
<h3>MULTI-DISCIPLINARY SPORT</h3>
<p>As a Mathematician who prove theorems for money I was involved into
formal contract based languages (System F, System Fω used in Tezos/Michelson, Cardano/Marlowe)
for distributed transactional computing involving
properties checking. One of the main desired property is known to be the consistency. We have
build a lot of systems on top of PAXOS, RAFT, CR, 2PC
distibuted protocols that record transactions in trees
like RocksDB, Cassandra, Riak, MongoDB using MQTT as main IoT bus
for Service Oriented Architecture.</p>
<br>
<p>As an Enterprise Architect who design state enterprise systems for money
I was involved as an legal author into building national wide
PrivanBank Deposits application for 30M subscibers, NYNJA.IO Chat Messenger for freelancers,
Document Management System for all divisions of Ministry of Internal Affairs of Ukraine
which became a foundation for a series of national registries defined with authentic ERP.UNO architecture.</p>
<br>
<p>As an Open Source Developer who build open source libraries for money
I am involved into managing more than 50 repositories over 8 Github organization
being listed as top-10 Ukraine Github Developer with 2000 commits per year.</p>
</section>
</article>
</aside>
<main>
<section>
<h3>EMPLOYMENT</h3>
<h4>2024 Ministry of Healthcare</h4>
<p>Electronic Health Care System of National Healthcare Service of Ukraine.
I help build the EHCS, lift it to ISO/HL7 FHIR standard and make it open.<br><br>
Github: <a href="https://github.com/ehealth-ua/hl7">eHealth-UA/HL7</a><br></p>
<h4>2019—2023 Ministry of Internal Affairs</h4>
<p><a href="https://infotech.gov.ua/projects/mia-document-management">Document Management System</a> (CRM) for Ministry of Internal Affairs of Ukraine.
I am the legal author of the product wich is foundation for the line
of products and national wide registries. It forms the core of governance
platform buit on OSS.<br><br>
Github: <a href="https://crm.erp.uno/">ERPUNO/CRM</a><br></p>
<h4>2017—2018 Nynja Communicator</h4>
<p>Android and iOS Messaging Platform with Video Conferencing.
<a href="https://nynja.io">NYNJA.IO</a> protocol was
ported to ASN.1 and presented in derivative work called
<a href="https://chat.erp.uno">Chat X.509</a> Messenger for
Ukrainian governmental services.
<br><br>
Github: <a href="https://github.com/chat-x509">Chat-X509</a><br></p>
<h4>2015—2016 The Trading Platform</h4>
<p>Operating System Runtime and L1-cache-friendly APL-like Interpreter in Rust as MVP of Trading Platform.
The <a href="http://theplatform.technology">latter rewrite</a> is working in HFT.<br><br>
Github: <a href="https://github.com/o83/n2o">O/Rust</a><br></p>
<h4>2014—2016 PrivatBank</h4>
<p>The Deposit Service of PrivatBank for 30M subscribers.<br><br>
Github: <a href="https://erp.uno/en/">ERPUNO/Deposit</a><br>
</p>
<h4>2013—2014 Erlang on Xen</h4>
<p>Ukrainian Virtual Machine for Xen clouds that boots in 50ms
and passes Erlang/OTP test suite. Erlang on Xen product was used
in Infoblox SDN Switch with OpenFlow protocol
called <a href="https://github.com/FlowForwarding/lincx">LINCX</a>.<br><br>
Github: <a href="https://github.com/cloudozer/ling">Cloudozer/LING</a><br></p>
<h4>2012—2013 Synrc Research Center</h4>
<p>The Nitrogen based HTML-on-wire framework for SVG/HTML applications.<br><br>
Github: <a href="https://github.com/synrc">SYNRC</a><br></p>
</section>
<section>
<figure>
<img src="https://tonpa.guru/maxim.png" width="600"/>
</figure>
</section>
</main>
<footer>Namdak Tonpa <span class="heart"> ❤ </span> 2009—2024</footer>
</body>
</html>