Smith, Scott F.

Professor
Computer Science
https://www.cs.jhu.edu/~scott

Malone 219
(410) 516-5299
scott@jhu.edu

Jump to:

News

HopHacks

HopHacks

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

About

Education
  • Ph.D. 1989, CORNELL UNIVERSITY
Experience
  • 2013 - Present:  Director, Unspecified
  • 2002 - 2003:  Chair, WSE IT Committee
Research Areas
  • Component Languages
  • Programming Languages
  • Secure Language Design
  • Type Systems
Awards
  • 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)
Presentations
  • "Tiny Bang: Type Inference and Pattern Matching on Steroids", Luca Cardelli Fest.  Cambridge, UK.  September 8, 2014

Publications

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).
  • 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).
  • 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).
  • 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).
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