Research Interests

At a high-level, I want to make programs easier to design, write, and understand. Specific topics that interest me include:
Programming languages, Type systems, Compiler verification, Dependent types, Language-based security, Meta-programming

Education

Northeastern University

Boston, MA

College of Computer and Information Science

Ph.D., Computer Science Ongoing
  • Current status (Summer 2015): Ph.D. candidate, third year

Indiana University

Bloomington, IN

School of Informatics and Computing

M.S., Computer Science May 2012
B.S, Computer Science May 2011
  • With departmental honors, and distinction
  • GPA: Major: 3.93; Cumm. 3.73

Employment

Northeastern University - College of Computer and Info. Science

Boston, MA Ph.D. Student Sept. 2012 -- Present

Cisco Systems, Inc

Research Triangle Park, NC Ph.D. Student CO-OP May 2013 -- Aug. 2013

Indiana University - School of Informatics and Computing

Bloomington, IN Research Assistant w/ Amr Sabry Aug. 2011 -- May 2012
Research Assistant w/ Amal Ahmed May 2010 -- Aug. 2010

Pervasive Technology Institude, Indiana University

Bloomington, IN Undergraduate Research Assistant Jan. 2010 -- May 2010

NSWC Crane Indiana

Crane, IN Computer Science Student CO-OP May 2009 -- Dec. 2010

Teaching

Northeastern University - College of Computer and Info. Science

Boston, MA T.A. CS 7400: Intensive Principals of Programming Languages. Spring 2015
Boston, MA Head T.A. CS 2500: Fundementals of CS: Intro. to Programming and Computing. Fall 2013, Spring 2014

Indiana University - School of Informatics and Computing

Bloomington, IN Undergraduate Instructor One Semester CSCI-P423: Programming Language Implementation (Compilers)
Bloomington, IN Undergraduate Instructor Two Semesters CSCI-A201: Introduction to Programming I
Bloomington, IN Undergraduate Instructor One Semester CSCI-C343: Data Structures

Publications

  1. William J. Bowman, Amal Ahmed. Noninterference for Free. In Proc. of the International Conference on Functional Programming (ICFP 2015). (Sept. 2015). Vancouver, Canada.
  2. William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig. Profile-Guided Meta-Programming. In Proc. of the Conference on Programming Language Implementation and Design (PLDI 2015). (June 2015). Portland, Oregon.
  3. William J. Bowman, Roshan P. James, Amr Sabry. Dagger Traced Symmetric Monoidal Categories and Reversible Programming. In Workshop on Reversible Computation. (July 2011) 51-56. Ghent, Belgium.

Awards

References