Steven Libby

Shiley School of Engineering, Assistant Professor of Computer Science

Steven Libby

Email:

Phone:
503.943.7852

Address:
Shiley Hall 226

Title IX Responsible Employee

Title IX Responsible Employees are required to report Title IX information to the Title IX Office. See our resources page for more information.

About

Steven Libby is an Assistant Professor of Computer Science at the University of Portland's Donald P. Shiley School of Engineering. He holds a B.S. from George Fox University and both his M.S. and Ph.D. in Computer Science from Portland State University.

Dr. Libby joined the faculty at UP in 2022, having previously served as an instructor at Portland State University for six years. His teaching spans programming languages, operating systems, and foundational computer science.

His research is focused on programming languages, with a specialization in functional logic programming. He is building an optimizing compiler for the functional logic language Curry — a unique challenge that combines the functional and logic paradigms into a single, efficient language. He also has a strong interest in assistive technology for blind and visually impaired users, exploring how programming language techniques can improve the performance of screen readers.

Steven is active in both university governance and community service. At UP, he has contributed to the Core Curriculum Committee, the Committee on Faculty Welfare, the Shiley School Dean Search Committee, and both the Library Advisory Committee and Library Dean Search Committee — reflecting a notably broad engagement with institutional life. Professionally, he has served as a session chair at the PADL Conference, is a member of the AccessComputing group, and serves on the program committee for the International Workshop on Rewriting Techniques for Program Transformations, as well as reviewing for the journal Theory and Practice of Logic Programming. Outside of UP, he volunteers with Rosenbaum Plaza, Lethally Blind, and Visually Impaired Paddlers — causes that connect meaningfully to his research interest in assistive technology.

Education

  • Ph.D., Portland State University (Portland, Oregon)
  • M.S., Portland State University (Portland, Oregon)
  • B.S., George Fox University (Newberg, Oregon)

Links

Recent Publications

  1. “Functional Logic Program Transformations.” Steven Libby and Michael Hanus. The 39th Workshop on (Constraint) Logic Programming September 24 2025, Evora Portugal https://arxiv.org/abs/2601.13224
  2. “Unifying Hindsight and Foresight: Lazy Cost Analysis as Functional Logic Programming.” Nicholas Coltharp and Steven Libby and Laura Israel and Yao Li. The 18th International Symposium on Functional and Logic Programming. May 26-27 2026, Tsukuba Japan https://link.springer.com/chapter/10.1007/978-981-92-0184-6_5
  3. “A Functional Logic Perspective on Indentation-Sensitive Parsing” Steven Libby. The 28th International Symposium on Practical Aspects of Declarative Languages (PADL). January 12-13 2026, Rennes France. https://link.springer.com/chapter/10.1007/978-3-032-15981-6_8
  4. “The Scenic Route to Deforestation” Steven Libby and Vincent Robinson. The 27th International Symposium on Practical Aspects of Declarative Languages. January 19-20 2025, Denver CO. https://link.springer.com/book/10.1007/978-3-031-24841-2
  5. “An Execution Model for RICE.” Steven Libby. 19th Logical and Semantic Frameworks with Applications. September 18-20 2024, Goiania Brazil