From f24fefe0cbf2b67a951d4d79cb694105207ef7c6 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Tue, 30 Jun 2020 13:42:08 -0700
Subject: [PATCH] Add formal verification to resume.

---
 resume.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resume.html b/resume.html
index 3d11e25..91f6c8d 100644
--- a/resume.html
+++ b/resume.html
@@ -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>