LinkedInCorey Oliver
Corey Oliver

Corey Oliver

Software Engineer at Dwolla

Location
Des Moines, Iowa Area
Industry
Computer Software
Previous
  1. University of Iowa,
  2. Alliance Technologies,
  3. Central College
Education
  1. University of Iowa
Websites
129connections

Join LinkedIn & access Corey's full profile

Join LinkedIn & access Corey's full profile. It's free!

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

  • See who you know in common
  • Get introduced
  • Contact Corey directly
129connections
University of Iowa

University of Iowa

Computer Science

View full profile

Background

Summary

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

Operating Systems. Linux, UNIX, MacOS X, Windows

Experience

Software Engineer

Dwolla
– Present (2 years 6 months)

Research Assistant (for Aaron Stump)

University of Iowa
(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
(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
(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
(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
(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
(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.

Skills

  • Links
  • Java
  • HTML
  • Linux
  • JavaScript
  • Agile Methodologies
  • C#
  • Continuous Integration
  • OCaml
  • Git
  • Software Development
  • Jenkins
  • SOA
  • Selenium
  • Test Driven Development
  • .NET
  • Scala
  • Pair Programming
  • REST
  • SQL
  • Python
  • Computer Science
  • See 7+  See less

Publications

A Verified Modern SAT Solver

VMCAI’12
October 2011
Authors:

Senior Honors Thesis

Central College
May 2010

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

Education

University of Iowa

MCS, Computer Science, 3.72

Central College

B.A., Computer Science, 3.91 in major, 3.76 overall

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

Organizations

ACM

Honors & Awards

NSF Research Experiences for Undergraduates, University of Houston, 2009

View Corey's full profile to...

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

Not the Corey Oliver you're looking for? View more

Insights


People Also Viewed


LinkedIn member directory:

  1. a
  2. b
  3. c
  4. d
  5. e
  6. f
  7. g
  8. h
  9. i
  10. j
  11. k
  12. l
  13. m
  14. n
  15. o
  16. p
  17. q
  18. r
  19. s
  20. t
  21. u
  22. v
  23. w
  24. x
  25. y
  26. z
  27. more