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

Add paper and reorder languages

Browse Source
This commit is contained in:
Danila Fedorin 2021-08-23 17:34:52 -07:00
parent fb06cf1a2c
commit c2743b2be9
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
resume.html
View File

@ -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, Idris, Crystal, Kotlin, Java, Python, JavaScript, Coq, Nix, Haxe<br> <em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Coq, Idris, Crystal, Kotlin, Java, Python, JavaScript, 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">
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">Daniel Fedorin</em>, Kai Gay: <em class="italic">Adaptable Traces for Program Explanations</em>, APLAS 2021<br>
<span style="display: inline-block; width: 20px"></span>GPCE 2018: 161-167<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> 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>
<!-- 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) --> 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>
<span style="display: inline-block; width: 20px"></span>GPCE 2018: 161-167
</div> </div>
</section> </section>
<section> <section>