-
Notifications
You must be signed in to change notification settings - Fork 0
/
cv.tex
146 lines (122 loc) · 8.58 KB
/
cv.tex
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
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
\documentclass[a4paper,11pt]{article}
\usepackage{hyperref}
\hypersetup{colorlinks,breaklinks,urlcolor=blue,linkcolor=blue}
\usepackage{libertine}
\usepackage{longtable}
\usepackage[cm]{fullpage}
\usepackage{titlesec}
\titleformat{\section}{\Large\scshape\raggedright}{}{0em}{}[\titlerule]
\titlespacing{\section}{0pt}{1em}{3pt}
\usepackage{lastpage}
\usepackage{fancyhdr}
\pagestyle{fancy}
\fancyhead{}
\renewcommand{\headrulewidth}{0pt}
\fancyfoot[L]{Pavel Turyanskiy}
\fancyfoot[C]{Page \thepage of \pageref*{LastPage}}
\fancyfoot[R]{\today}
\renewcommand{\footrulewidth}{0.4pt}
\begin{document}
\begin{center}
\Huge \textsc{Pavel Turyanskiy}
\end{center}
\hrule
\vspace{0.5em}
\begin{tabular}{rl}
\textsc{Telegram:} & @cmcmA20 \\
\textsc{Phone:} & +7 999 239 8819 \\
\textsc{Github:} & \href{https://github.com/cmcmA20}{cmcmA20} \\
\textsc{Email:} & \href{mailto:[email protected]}{[email protected]} \\
\end{tabular}
\section{Summary}
I'm a software developer and amateur mathematician, based in Russia. Currently interested in functional
programming, type theory, building high assurance systems.
Used to do different jobs until I felt comfortable with my general IT experience.
\section{Skills and accomplishments}
\begin{longtable}{rp{0.6\textwidth}}
\textsc{Natural languages:} & Russian, English \\
\textsc{Programming languages:} & Agda, Idris, Haskell, C, Arend, Julia, GNU Octave, Python, x86 asm \\
& (in order of decreasing proficiency) \\
\textsc{Programming:} & have $\sim$5 years of Haskell experience \\
& contributing to Agda project \\
& maintaining a \href{https://github.com/cmcmA20/cubical-mini}{custom stdlib} for Cubical Agda \\
& in love with effect systems and dependent types \\
& have a bit of experience with firmware modding \\
\textsc{Security:} & know how to use logical programming to solve security problems like authorization, information flow analysis \\
& can do something resembling really secure boot with coreboot + HEADS and TPM \\
& have basic experience with SIGINT \\
\textsc{Networking:} & designed and overseen the construction of ethernet
networks (up to a hundred of PCs, mainly copper and a bit of fibre) \\
& designed and overseen the construction of virtualization
networks \\
& designed and developed a simple scalable VoIP system
using Asterisk + custom call routing in LUA \\
\textsc{Virtualization:} & designed, built and maintained virtualization clusters using VMware ESXi and Proxmox \\
& transitioned legacy infrastructures to private cloud \\
\textsc{OS:} & operated Windows Server (2003 - 2012R2), FreeBSD, Linux (Debian, CentOS) in production \\
& personally used QubesOS, Void Linux, OpenBSD, toyed with seL4, KasperskyOS \\
\textsc{Translations:} & \href{https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH\_LTkxLI7FMa2HsnawM\_}
{Category Theory for Programmers by Bartosz Milewski}, see Russian subtitles \\
\end{longtable}
\section{Interests}
\begin{tabular}{rl}
\textsc{Mathematics:} & studying random stuff from nLab and 1Lab \\
& have hands-on experience with HoTT and its' application to programming \\
& dream of multimodal HOTT with linearity, cohesion and guarded recursion \\
& studied topology and differential geometry under Iskander Taimanov \\
& completed Robert Ghrist's
\href{https://www.coursera.org/account/accomplishments/records/9Y3N9X2BMR}{Calculus:
Single Variable} \\
\textsc{Hardware:} & Thinkpad tinkering \\
& still want to learn building UAVs and autonomous weapons \\
\end{tabular}
\pagebreak
\section{Work experience}
\begin{longtable}{r|p{0.72\textwidth}}
\textsc{Sep 2021--now} & \large \sffamily \textbf{Software Developer} at \textbf{Kaspersky Lab}, Russia \\
\nopagebreak
(currently employed) & writing Haskell and Agda for a living \\
\\&\\
\textsc{Dec 2019--Aug 2021} & \large \sffamily \textbf{Software Developer} at \textbf{Tinkoff Bank.}, Russia \\
\nopagebreak
(1 year, 9 months) & helped maintain and develop Tinkoff Travel backend (written in Haskell) \\
& developed stream processing software using Apache Kafka \\
& learned to use effect systems for structuring Haskell code, in particular, fused-effects \\
& had to use legacy protocols to communicate with GDS \\
\\&\\
\textsc{Oct 2017--Jul 2019} & \large \sffamily \textbf{Information Security Engineer} at \textbf{FSUE NPP Gamma},
Russia \\
\nopagebreak
(1 year, 10 months) & was on duty in Samara Arena during FIFA 2018 world cup as a technical security
consultant \\
& had done some PowerShell automation, physical fleet configuration management (w/Saltstack) \\
& operated Rohde\&Schwarz and Agilent spectrum analyzers through Python + NIVISA \\
& designed computer networks \\
& had to work with obscure equipment and software \\
\\&\\
\textsc{Jan 2017--Aug 2017} & \large \sffamily \textbf{Network Engineer} at \textbf{Sibirskie Seti Ltd.}, Russia \\
\nopagebreak
(8 months) & configured equipment of the following vendors: Extreme Networks, Juniper, Cisco, D-Link, TP-Link \\
& wrote network monitoring scripts for Nagios using bash/Python \\
& performed equipment and network testing with Python + scapy \\
& communicated with NOCs of other ISPs \\
& got an L2 loop in the management network once \\
\\&\\
\textsc{Sep 2016--Dec 2016} & \large \sffamily \textbf{Engineering Technician} at \textbf{ITVaksa Ltd.}, Russia \\
\nopagebreak
(4 months) & everything from physical cabling to small business network/system design \\
\end{longtable}
\section{Education}
\begin{longtable}{r|p{0.72\textwidth}}
\textsc{Sep 2014--May 2018} & \large \sffamily \textbf{BS in Informatics} at \textbf{SibSUTI},
Novosibirsk, Russia \\
\nopagebreak
(4 years) & \\
\\&\\
\iffalse
\textsc{Sep 2006--May 2010} & \large \sffamily at \textbf{Lyceum 1}, Bratsk, Russia \\
\nopagebreak
(4 years) & Physics and Math specialization \\
\fi
\end{longtable}
\end{document}