Compare commits

..

No commits in common. "c2743b2be9ff619a069130a07996d46be9a0a906" and "db663ed2bff73a503c564ba02de1d2f9e420c4f4" have entirely different histories.

View File

@ -1,12 +1,12 @@
<html> <html>
<head> <head>
<script src="https://unpkg.com/feather-icons"></script> <script src="https://unpkg.com/feather-icons"></script>
<title>Resume - Daniel Fedorin</title> <title>Resume - Danila Fedorin</title>
<link href="css/style.css" rel="stylesheet"> <link href="css/style.css" rel="stylesheet">
</head> </head>
<body> <body>
<header> <header>
<div class="name">Daniel Fedorin</div> <div class="name">Danila Fedorin</div>
<div class="contact"> <div class="contact">
<div class="contact-item"> <div class="contact-item">
<i data-feather="home" class="contact-content"></i> <i data-feather="home" class="contact-content"></i>
@ -37,7 +37,7 @@
<h1>Skills</h1> <h1>Skills</h1>
<div class="section-content"> <div class="section-content">
<em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Coq, Idris, Crystal, Kotlin, Java, Python, JavaScript, Nix, Haxe<br> <em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Idris, Crystal, Kotlin, Java, Python, JavaScript, Coq, Nix, Haxe<br>
<em class="italic">Languages:</em> English (native), Russian (native), French (conversational, DELF B1 certification) <br> <em class="italic">Languages:</em> English (native), Russian (native), French (conversational, DELF B1 certification) <br>
<em class="italic">Additional Skills:</em> Compiler design, formal verification, algorithms, low-level development.<br> <em class="italic">Additional Skills:</em> Compiler design, formal verification, algorithms, low-level development.<br>
</div> </div>
@ -104,10 +104,10 @@
<h1>Publications</h1> <h1>Publications</h1>
<div class="section-content"> <div class="section-content">
Divya Bajaj, Martin Erwig, <em class="bold">Daniel Fedorin</em>, Kai Gay: <em class="italic">Adaptable Traces for Program Explanations</em>, APLAS 2021<br> J&aacute;come Cunha, Mihai Dan, Martin Erwig, <em class="bold">Danila Fedorin</em>, Alex Grejuc: <em class="italic">Explaining spreadsheets with spreadsheets (short paper).</em><br>
Divya Bajaj, Martin Erwig, <em class="bold">Daniel Fedorin</em>, Kai Gay: <em class="italic">A Visual Notation for Succinct Program Traces</em>, VL/HCC 2021<br> <span style="display: inline-block; width: 20px"></span>GPCE 2018: 161-167<br>
J&aacute;come Cunha, Mihai Dan, Martin Erwig, <em class="bold">Daniel Fedorin</em>, Alex Grejuc: <em class="italic">Explaining spreadsheets with spreadsheets (short paper).</em><br> Divya Bajaj, Martin Erwig, <em class="bold">Danila Fedorin</em>, Kai Gay: <em class="italic">A Visual Notation for Succinct Program Traces</em>, VL/HCC 2021<br>
<span style="display: inline-block; width: 20px"></span>GPCE 2018: 161-167 <!-- Divya Bajaj, Martin Erwig, <em class="bold">Danila Fedorin</em>, Kai Gay: <em class="italic">Adaptable Traces for Program Explanations</em>, APLAS 2021 (under review) -->
</div> </div>
</section> </section>
<section> <section>