Skip to main content
  COVID-19 Policies and Protocols

Haverford College

Primary Menu

  • Search
  • Menu
  • Log in
  • Log in
  • HC Gmail
  • Moodle
  • Bionic
  • Human Resources
  • Workday

FacultySteven Lindell

Steven Lindell
Steven Lindell
Professor of Computer Science
KINSC L308
(610) 896-1203
slindell [at] haverford.edu
Homepage

Education

B.A., M.A., and Ph.D., University of California, Los Angeles

Biography

I received my B.A. and M.A. in Mathematics at UCLA, and went on to receive a Ph.D. in theoretical Computer Science at UCLA under the supervision of Sheila Greibach and Yiannis Moschovakis (mathematical logic) in 1987.  After graduating, I began the Computer Science program at Haverford College, which now offers a full CS major. 

Research

I work on the foundations of theoretical computer science, in an area of logic known as finite model theory and the related field of descriptive complexity. I study the logical definability of complexity classes given by models of computation whose resources are bounded by mathematical (or physical) limits. My papers are often concerned with elementary (first-order) and inductive (fixed-point) definability on finite structures, in as much as these logics shed light on fundamental questions in the complexity of computation. More recently, I have been interested in logically characterizing the fundamental physical limitations of mechanical computing devices, and related general issues in the philosophical foundations of logic, information and computation. This work is highly abstract, but may be of substantial practical importance when it becomes impossible to make substantial technological improvements to computers.

Search form

Main Menu

  • About
  • Academics
  • Admission & Aid
  • Campus Life
  • Headlines
  • Events
  • Contacts

Information For

  • Prospective Students
  • Current Students
  • Faculty & Staff
  • Family & Friends
  • Alumni

Admission Info

  • Why Haverford?
  • Giving
  • Join Mailing List

Social Networks

  • Twitter
  • Instagram
  • Facebook
  • Vimeo
  • Youtube
Haverford College logo

Founded 1833

370 Lancaster Avenue, Haverford, PA 19041
(610) 896-1000

Come Say Hello

  • Directions
  • Visit Campus
  • Campus Map

Get to Know Us

  • About Haverford
  • Facts & Statistics
  • Land Acknowledgment
  • Download Viewbook

Join Our Community

  • Job Openings
  • Faculty Positions
  • Non-discrimination Policy

Get Social with Haverford

  • Twitter
  • Instagram
  • Facebook
  • Vimeo
  • Youtube

© 2023 Haverford College. All Rights Reserved.

Made with love by Black Squirrels.

Search

Welcome, friend.

Hit enter to Search all of Haverford for search .

Black Squirrel Search Suggestions*

*We have a very tiny magic 8 ball.

Menu

Quick Links

  • Today
  • Quick Access
  • Make a Gift

Main menu

  • About
  • Academics
  • Admission & Aid
  • Campus Life
  • Headlines
  • Events
  • Contacts

Information for:

  • Prospective Students
  • Current Students
  • Faculty & Staff
  • Family & Friends
  • Alumni

Admission Menu

  • Why Haverford?
  • Giving
  • Join Mailing List

Get Social with Haverford

  • Twitter
  • Instagram
  • Facebook
  • Vimeo
  • Youtube

But wait, there's more!

  • Athletics
  • Library