X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/65641ab439f507b8cf0f24bca67b03fbcfbfa218..b307aaa9dfa368f039b2ea79efadfc217d3f3355:/source/cv.org?ds=sidebyside diff --git a/source/cv.org b/source/cv.org new file mode 100644 index 0000000..22bbdd4 --- /dev/null +++ b/source/cv.org @@ -0,0 +1,13 @@ +#+title: CV +#+date: [2018-08-19 Sun] +#+options: toc:nil + +#+include: "./macros.org" + +My academic {{{abbr(cv)}}} is available as [[/cv.pdf][cv.pdf]], and an outdated +professional resume is available as [[/resume.pdf][resume.pdf]] as well. + +I'm interested in functional programming and functional languages, +type systems, and formal methods in general. I love writing Haskell +and I'm looking into Rust and Lean as well. Feel free to [[file:contact.org][drop me a +line]] if you like to geek out about any of the above.