DanilaFe/resume
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add formal verification to resume.

Browse Source
This commit is contained in:
Danila Fedorin 2020-06-30 13:42:08 -07:00
parent 5ffca3f25a
commit f24fefe0cb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
resume.html
View File

@ -40,7 +40,7 @@
<em class="italic">Programming Languages:</em> C, C++, Haskell, Kotlin, Java, Python, JavaScript, Haxe<br>
<em class="italic">Languages:</em> English (native), Russian (native), French (conversational, DELF B1 certification) <br>
<em class="italic">Operating Systems:</em> MacOS, Linux<br>
<em class="italic">Additional Skills:</em> Compiler design, algorithms, low-level development.<br>
<em class="italic">Additional Skills:</em> Compiler design, formal verification, algorithms, low-level development.<br>
</div>
</section>
<section>