Skip to main content

Smith, Scott F.

Computer Science

Malone 219
(410) 516-5299

Jump to:




September 23, 2013

A team of sophomore computer science and biomedical engineering majors took home the grand prize of $1,024 at HopHacks, Johns Hopkins University’s first-ever student-led hackathon.

Read More


  • Bachelor of Science 1983, Purdue Univ
  • 2013 - Present:  Director, Unspecified
  • 2002 - 2003:  Chair, WSE IT Committee
  • 2001 - Present:  Faculty Advisor, JHU CS UPE Honor Society
  • 1999 - Present:  Faculty Advisor, JHU CS ACM
  • 1998 - Present:  Faculty Mentor, ACM student chapter Faculty Advisor
  • 1998 - Present:  Faculty Mentor, UPE Honor society
Research Areas
  • Component Languages
  • Programming Languages
  • Secure Language Design
  • Type Systems
  • 2007:  IEEE Computer Security Foundations Symposium Best Paper Award - 2007.
  • 2001:  Best Paper Award - 2001 ETAPS conferences (best research paper selected from over 1000 submissions)
  • "Tiny Bang: Type Inference and Pattern Matching on Steroids", Luca Cardelli Fest.  Cambridge, UK.  September 8, 2014


Journal Articles
  • Chandrasekhar J, Smith SF, Jorgensen WL (1985).  Theoretical Examination of the SN2 Reaction Involving Chloride Ion and Methyl Chloride in the Gas Phase and Aqueous Solution.  Journal of the American Chemical Society.  107(1).  154-163.
  • Arnon DS, Smith SF (1983).  Towards mechanical solution of the Kahan ellipse problem I.  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).  162 LNCS.  36-44.
  • Smith SF, Chandrasekhar J, Jorgensen WL (1983).  Ab initio study of the structures and binding energies of aluminum monocation complexes.  Journal of Physical Chemistry.  87(11).  1898-1902.
  • Smith SF, Chandrasekhar J, Jorgensen WL (1982).  Ab initio study of acid-base interactions. Proton, lithium, and sodium affinities of first- and second-row bases.  Journal of Physical Chemistry.  86(17).  3308-3318.
  • Smith SF, Jorgensen WL, Fuchs PL (1981).  PULSAR: A Personalized Microcomputer-Based System For Keyword Search and Retrieval Of Literature Information.  Journal of Chemical Information and Computer Sciences.  21(4).  209-213.
Conference Proceedings
  • Smith S, Palmer Z, Menon H, Rozenshteyn A (2014).  Types for Flexible Objects.  Asian Symposium on Programming Languages and Systems.
Back to top