Ryan Stansifer
Associate Professor
Department of Computer Sciences    (Join the cs-forum mailing list)
Florida Institute of Technology
150 West University Boulevard
Melbourne, Florida 32901-6975

Office: 210 Harris
Phone: (321) 674-7156

Fall 2019 schedule including office hours.

Students are welcome to send e-mail to me with questions or problems. Former students are also encouraged to send e-mail to me, and let me know what they are doing.


This fall I am teaching CSE 2050: Programming in a Second Language, CSE 4083/5210: Formal Language and Automata Theory, and CSE 4250: Programming Languages. Also you can enroll for one credit hour in "Computer Practicum:" CSE 4400-15: Independent Study, where we work on solving contest problems. It meets Fridays at 5pm in OEC-227.

Last spring I am taught CSE 4510/5400: Functional Languages, CSE 4250: Programming Languages, and CSE 4251/5251: Compiler Construction.

Professional interests

The areas of Computer Science I'm most interested in are the following:

more specifically:

Grad Students



Sundry papers of mine in gzipped, PostScript format:

Stansifer, Ryan.
The Study of Programming Languages.
Prentice Hall, 1995. ISBN: 0-13-726936-6
book cover


In fact, I do not think that the search for high-level programming languages that are more and more satisfactory from a logical point of view can stop short of anything but a language in which (constructive) mathematics can be adequately expressed.

Per Martin-Löf

I have always wished that my computer would be as easy to use as my telephone. My wish has come true. I no longer know how to use my telephone.

Bjarne Stroustrup

Have you read The Cathedral and the Bazaar by Eric S. Raymond? Or Growing a Language by Guy Steele? How about Systems Software Research is Irrelevant. by Rob Pike?

Alfred North Whitehead and Bertrand Russell, Principia Mathematica, volume 3, second edition, Cambridge University Press, Cambridge, England, 1927, page 91.

Friedrich Ludwig Gottlob Frege, Grundgesetze der Arithmetik, volume 2, H. Pohle, Jena, 1903, end of section 143 "Aufbau," page 178.