Corey Oliver

Software Engineer at Dwolla

Location
Des Moines, Iowa Area
Industry
Computer Software

As a LinkedIn member, you'll join 300 million other professionals who are sharing connections, ideas, and opportunities.

  • See who you and Corey Oliver know in common
  • Get introduced to Corey Oliver
  • Contact Corey Oliver directly

View Corey's full profile

Corey Oliver's Overview

Current
Past
Education
Connections

121 connections

Websites

Corey Oliver's Summary

Specialties: Languages. C#, Python, Scala, Java, OCaml, Python, Latex, Bash, C/C++, Javascript, Actionscript, HTML

Operating Systems. Linux, UNIX, MacOS X, Windows

Corey Oliver's Experience

Software Engineer

Dwolla

Privately Held; 11-50 employees; Financial Services industry

May 2012Present (2 years 3 months)

Research Assistant (for Aaron Stump)

University of Iowa

Educational Institution; 10,001+ employees; Higher Education industry

January 2011May 2012 (1 year 5 months)

• Implemented and verified properties of a graph data structure in the programming language Guru, a pure functional programming language for writing formal proofs demonstrating the properties of programs
• Proved formal properties of the software program versat, A formally verified SAT solver incorporating the essential features of modern SAT solvers, including clause learning, watched literals, optimized conflict analysis, non-chronological backtracking and backjumping
• Evaluated and tested versat against leading SAT solvers
• Researched and implemented a term indexing data structure for the software program gtrw, A parsergenerator based on term-rewriting
• Refactored and improved gtrw codebase to improve overall runtime performance for rewriting terms

Teaching Assistant

University of Iowa

Educational Institution; 10,001+ employees; Higher Education industry

August 2010May 2012 (1 year 10 months)

I have assisted professors with the following courses:

Design and Analysis of Algorithms (Sprint 2012)
Object-Oriented Software Design (Fall 2011)
Computer Science II: Data Structures (Spring 2011)
Introduction to Computer Science (Fall 2010)

Responsibilities included holding office hours, leading discussion sections, and grading student assignments and tests.

Software Developer

Alliance Technologies

Privately Held; 51-200 employees; Information Technology and Services industry

May 2010August 2010 (4 months)

Developed and supported FullCount, a touchscreen enabled point of sale software used in retirement communities. Attended meetings to discuss weekly team contributions and future modifications to the product. Created a web interface to remotely gather information and monitor company distributed FullCount machines

Supplemental Instructor

Central College

Educational Institution; 201-500 employees; Higher Education industry

January 2009December 2009 (1 year)

Helped fellow students learn material presented in lecture of the class Introduction to Computer Science, covering fundamental ideas and techniques of computer science. I also led study groups for two classes of approximately 30 students, and discussed and answered questions pertaining to previous lectures.

Computer Science Tutor

Central College

Educational Institution; 201-500 employees; Higher Education industry

January 2009December 2009 (1 year)

Helped students master concepts learned in the classes Introduction to Computer Science, Introduction to Information Management and Data Structures. Students were also assisted one-on-one to aid understanding of class materials.

Research Assistant

University of Houston

Educational Institution; 10,001+ employees; Higher Education industry

June 2009August 2009 (3 months)

Coauthored working paper Fast Filtering Heuristics for Bipartite Matching which was submitted to the ALENEX 2010 conference. Also presented on my research to colleagues and compiled a poster to encourage further interest. Lastly I researched and implemented techniques in a program called ADJMAT for determining the viability of a given bipartite graph containing a perfect matching.

Corey Oliver's Skills & Expertise

  1. Links
  2. Java
  3. HTML
  4. Linux
  5. JavaScript
  6. Agile Methodologies
  7. C#
  8. Continuous Integration
  9. OCaml
  10. Git
  11. Software Development
  12. Jenkins
  13. SOA
  14. Selenium
  15. Test Driven Development
  16. .NET
  17. Scala
  18. Pair Programming
  19. REST
  20. SQL
  21. Python
  22. Computer Science

View All (22) Skills View Fewer Skills

Corey Oliver's Publications

  • A Verified Modern SAT Solver

    • VMCAI’12
    • October 1, 2011
    Authors: Corey Oliver, Duckki Oe, Aaron Stump, Kevin Clancy
  • Senior Honors Thesis

    • Central College
    • May 1, 2010
    Authors: Corey Oliver
  • LFSC for SMT Proofs: Work in Progress

    • PxTP'12
    • 2012
    Authors: Corey Oliver, Aaron Stump, Andrew Reynolds, Cesare Tinelli, Harley Eades, Ruoyu Zhang, Austin Laugesen

Corey Oliver's Education

University of Iowa

MCS, Computer Science

20102012

Grade: 3.72/4.0

Central College

B.A., Computer Science

20062010

Grade: 3.91 in major, 3.76 overall

Activities and Societies: Symphonic Wind Ensemble, Psi Sigma Tau, A Cappella Choir

Corey Oliver's Additional Information

Websites:
Interests:

Software engineering, programming languages, algorithms.

Groups and Associations:

ACM

Honors and Awards:

NSF Research Experiences for Undergraduates, University of Houston, 2009

Contact Corey for:

  • career opportunities
  • consulting offers
  • new ventures
  • job inquiries
  • expertise requests
  • business deals
  • reference requests
  • getting back in touch

View Corey Oliver’s full profile to...

  • See who you and Corey Oliver know in common
  • Get introduced to Corey Oliver
  • Contact Corey Oliver directly

View Corey's full profile

Not the Corey Oliver you were looking for? View more »

Viewers of this profile also viewed...