Education

Northeastern University

Boston, MA

College of Computer and Information Science

Ph.D., Computer Science Ongoing
  • Current status (Summer 2017): Ph.D. candidate, sixth year
  • GPA: 3.92

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 advised by Amal Ahmed 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 Institute, 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 Teaching Assistant CS 7400: Intensive Principals of Programming Languages. (Ph.D. Course) Spring 2015
Boston, MA Head Teaching Assistant 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

Conference Papers

  1. Max S. New, William J. Bowman, Amal Ahmed.
    Fully abstract compilation via universal embedding.
    In Proc. of the International Conference on Functional Programming (ICFP 2016). (Sept. 2016). Nara, Japan.
  2. William J. Bowman, Amal Ahmed.
    Noninterference for Free.
    In Proc. of the International Conference on Functional Programming (ICFP 2015). (Sept. 2015). Vancouver, Canada.
  3. 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.
  4. 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.

Misc. Presentations

  1. William J. Bowman.
    Toward Type Preserving Compilation of Coq..
    At POPL 2017 Student Research Competition. (Jan. 2017). Paris, France.
  2. William J. Bowman.
    Growing a Proof Assistant.
    At Higher-Order Programming with Effects (HOPE 2016). (Sept. 2016). Nara, Japan.

Awards

References