Computer Engineering and 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
Spring 2022 schedule including office hours. Send e-mail for video link.
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 summer I am teaching CSE 4083/5210: Formal Language and Automata Theory.
The areas of Computer Science I'm most interested in are the following:
In the international competition for the Best Thesis Award organized by Localisation Research Centre of the University of Limerick, Ireland, honorable mention is given to: "Steven Atkin of the Florida Institute of Technology (USA) for his PhD thesis 'A Framework for Multilingual Information Processing.' His thesis presents general software globalisation issues, character encoding systems, issues around bi-directional text and the enhancement of plain text as a basis for the application of metacode layers with exemplary academic depth and scholarship."
Sundry papers of mine in gzipped, PostScript format:
The Study of Programming Languages.
Prentice Hall, 1995. ISBN: 0-13-726936-6
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.
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.
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.