forked from edunham/resume
-
Notifications
You must be signed in to change notification settings - Fork 1
/
resume.tex
174 lines (128 loc) · 5.38 KB
/
resume.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
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
% E. Dunham -- Resume
% Contents Copyright (C) 2014 - 2016, E. Dunham
% LaTeX code for rendering the resume is distributed under the MIT license.
% See LICENSE.txt. It means you can use the code for whatever you want,
% including your own resume, but I'm not liable if it catches your computer on
% fire.
% Template originally developed by E. Dunham
% https://github.com/edunham/resume/blob/master/resume.tex
\documentclass[11pt]{article} % Set default font size to 11pt
\usepackage[utf8]{inputenc}
\input{preamble}
\begin{document}
\centerline{{\Huge \bf Ariel Ben-Yehuda}}
\bigskip
\contact{[email protected]}
{progmathnotes.wordpress.com}
{github.com/arielb1}
{Tel-Aviv, Israel}
\heading{About}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
I'm Ariel. I have been programming for quite some time and I have grown to understand and love math quite well since I started my degree at age 14. I'm quite good at finding information, learning \& understanding new things, and figuring out solutions. \\
I enjoy computer things, math, geeking out, reading about science in the Internet (never got around to Actually Doing It, but that's your chance), Kalafina's songs. I think nature is beautiful. \\
\heading{Skills}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
As I said, I know quite a lot of things and I am always ready to learn new stuff, but here are some things I am very good at: \\
\skill{Programming}
{Rust (part of the team that invented the language!), Python, C/\CPP}
\skill{System Administration}
{Everything Linux Userspace, Debian, Red Hat, bash, ssh, etc.}
\skill{AWS}
{EC2, CloudWatch, CDK, a bit of IAM}
\skill{Collaboration}
{Git, IRC, decent Technical Writing}
\skill{Mathematics}
{Linear Algebra, Formal Logic, Cryptography}
\heading{Employment}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{description}
\squish
\experience{Check Point}
{Software Developer -- Platforms Team}
{08/2014 - 12/2016}
Handled the integration of Check Point's solution with Linux, including rewriting the build infrastructure, backporting security and functionality patches, and hunting down and solving many, many hard-to-find integration bugs.
\experience{Mozilla Research}
{Rust Compiler Team Member}
{11/2015 - 12/2017}
Developing the Rust programming language \& compiler - a new, safe, fast \& productive \CPP-class language.
Designed and helped design parts of the type-system and middle-end. Improved compiler performance by tens of percents. Reduced compiler stack usage by over 16x. Took responsibility and fixed many compiler bugs and regressions.
\experience{Israel Defense Forces}
{Senior Software Engineer}
{12/2017 - 07/2021}
\experience{AWS}
{Software Engineer -- ElastiCache}
{08/2021 - Present}
One of the main developers of AWS ElastiCache Serverless, AWS's serverless in-memory cache offering,
capable of supporting millions of TPS at sub-millisecond latency. Developed most of the data path
and worked together with Tokio to ensure a high-performance, high-quality product.
Developed various components of the AWS ElastiCache, Amazon's managed Redis offering and a highly-used, highly-performant cloud service.
Including development of both new and existing code in C, \CPP, Rust, Java, Linux.
\end{description}
\heading{Academics}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{description}
\squish
\experience{Tel-Aviv University}
{}
{2011-2016}
BSc in Mathematics and Computer Science including Logic, Machine Learning, Parallel Computation.
\end{description}
\heading{Security Bugs}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{description}
\squish
\experience{Tarsnap Path NUL overflow}
{}
{04/2014}
No CVE, refs: \\
- http://www.daemonology.net/blog/2015-08-21-tarsnap-1000-exploit-bounty.html \\
- https://github.com/Tarsnap/tarsnap/commit/c3a7532770e6ab5d9310d4104962113566099305 \\
\end{description}
%\experience{Linux.Conf.Au}
% {}
% {02/2016}
%
% ``Life is better with Rust's community automation''
%\experience{SeaGL}
% {}
% {10/2015}
%
% ``You Should Speak'', technical presentation tutorial
%\experience{O'Reilly OSCON}
% {}
% {07/2015}
%
% ``First Impressions: The Value of the ``Noob'''', Ignite talk
%\experience{OpenWest}
% {}
% {05/2015}
%
% ``Human Hacking'', ``Thinking in Git'', and ``Teaching DevOps to
% University Students''
%\experience{LinuxFest Northwest}
% {}
% {04/2015}
%
% ``Algorithmic Complexity and You'', ``Thinking in Git''
%\experience{Southern California Linux Expo (SCALE)}
% {}
% {02/2015}
%
% ``Human Hacking''
%\experience{Seattle GNU/Linux Conference}
% {}
% {10/2014}
%
% ``Human Hacking'', ``Intermediate IRC'', and ``Thinking in Git''
%\experience{O'Reilly OSCON}
% {}
% {07/2014}
%
% ``DevOps for University Students''
%\experience{Portland State University Association for Computing Machinery}
% {}
% {05/2014}
%
% ``Git Workshop''
%\experience{LinuxFest Northwest}
% {}
% {04/2014}
%
% ``Teaching DevOps to University Students''
% \end{description}
\end{document}