diff options
Diffstat (limited to 'cv.latex')
| -rw-r--r-- | cv.latex | 4 |
1 files changed, 2 insertions, 2 deletions
| @@ -21,9 +21,9 @@ | |||
| 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.} | 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.} |
| 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. 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.} |
| 28 | \cventry{Processes and Methodologies}{TDD, Agile, Waterfall}{}{}{}{I can do test-driven-development, I've worked with Agile teams, and I've worked with Waterfall teams. I work well in a group of developers, but I can also get a job done on my own if I need to.} | 28 | \cventry{Processes and Methodologies}{TDD, Agile, Waterfall}{}{}{}{I can do test-driven-development, I've worked with Agile teams, and I've worked with Waterfall teams. I work well in a group of developers, but I can also get a job done on my own if I need to.} |
| 29 | \cventry{System Administration}{Linux, Debian, Ubuntu}{}{}{}{I can maintain Linux systems, and build dev/test/prod environments and keep them in sync. I've built and maintained Debian packages professionally for software deployment both internally and to external customers. I've run Debian mirrors and buildds.} | 29 | \cventry{System Administration}{Linux, Debian, Ubuntu}{}{}{}{I can maintain Linux systems, and build dev/test/prod environments and keep them in sync. I've built and maintained Debian packages professionally for software deployment both internally and to external customers. I've run Debian mirrors and buildds.} |
