diff options
| author | Julian Blake Kongslie | 2013-05-07 09:15:51 -0700 |
|---|---|---|
| committer | Julian Blake Kongslie | 2013-05-07 09:15:51 -0700 |
| commit | 7faadd559335d95fdc55f9b921a170097e49f778 (patch) | |
| tree | 5caba8b185159f62d3a1c4786ac365c60e0c85f5 /cv.latex | |
| parent | Adding a few more keywords. (diff) | |
| download | cv-7faadd559335d95fdc55f9b921a170097e49f778.tar.xz | |
Mention REST.
Diffstat (limited to 'cv.latex')
| -rw-r--r-- | cv.latex | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -21,7 +21,7 @@ | |||
| 21 | 21 | ||
| 22 | \section{Computer Skills} | 22 | \section{Computer Skills} |
| 23 | \cventry{Functional Programming}{Haskell, ML, Scheme}{}{}{}{Extensive experience and expertise with functional programming languages. I have maintained libraries, built DSLs, implemented compilers, and taught classes.} | 23 | \cventry{Functional Programming}{Haskell, ML, Scheme}{}{}{}{Extensive experience and expertise with functional programming languages. I have maintained libraries, built DSLs, implemented compilers, and taught classes.} |
| 24 | \cventry{Web Programming}{Perl, Python, Ruby}{}{}{}{I have built and maintained professional web storefronts with both mod\_perl and rails. I have worked extensively with middleware such as XML and XSLT, and while I'm no designer, I know my way around HTML, CSS, and JavaScript. I've used jQuery, bootstrap, and YUI. I've built systems that interoperate using OpenID and SAML.} | 24 | \cventry{Web Programming}{Perl, Python, Ruby}{}{}{}{I have built and maintained professional web storefronts with both mod\_perl and rails. I have worked extensively with middleware such as XML and XSLT, and while I'm no designer, I know my way around HTML, CSS, and JavaScript. I've used jQuery, bootstrap, and YUI. I've built systems that interoperate using OpenID and SAML, and I can do RESTful design.} |
| 25 | \cventry{Systems Programming}{C, C++}{}{}{}{I understand threading models and can program embedded systems. I've written a hobby operating system that implemented POSIX, and I've worked on high-performance computing. I know enough C++ to be dangerous, and I'm not afraid of templates or the STL.} | 25 | \cventry{Systems Programming}{C, C++}{}{}{}{I understand threading models and can program embedded systems. I've written a hobby operating system that implemented POSIX, and I've worked on high-performance computing. I know enough C++ to be dangerous, and I'm not afraid of templates or the STL.} |
| 26 | \cventry{Database Programming}{PostgreSQL, Oracle}{}{}{}{I've worked professionally with large replicated databases and PostGIS. I understand data normalization and I've optimized queries for billion-row tables.} | 26 | \cventry{Database Programming}{PostgreSQL, Oracle}{}{}{}{I've worked professionally with large replicated databases and PostGIS. I understand data normalization and I've optimized queries for billion-row tables.} |
| 27 | \cventry{Formal Correctness}{Coq, Agda, Z}{}{}{}{I can write code that is provably bug-free, and I know when it's appropriate to do so. I've given lectures on dependent typing and correct-by-construction programming. I am also familiar with security analysis of cryptographic protocols and have worked on a team to verify the correctness of a custom protocol.} | 27 | \cventry{Formal Correctness}{Coq, Agda, Z}{}{}{}{I can write code that is provably bug-free, and I know when it's appropriate to do so. I've given lectures on dependent typing and correct-by-construction programming. I am also familiar with security analysis of cryptographic protocols and have worked on a team to verify the correctness of a custom protocol.} |