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>