Computer Science Assistant

Anne C. Mulhern

E-mail: *******@**.***.***

Education

Ph. D. Computer Sciences - May, 2010, Thesis: Polytypic Proving

Computer Sciences Department, University of Wisconsin, Madison, WI, USA

M. S. Computer Sciences - May, 2000

Computer Sciences Department, University of Wisconsin, Madison, WI, USA

Special Student, June 1997 May 1998

Computer Sciences Department, The University of Wisconsin, Madison, WI, USA

B.S. Civil Engineering - May, 1991

Pennsylvania State University, University Park, PA, USA

Special Schools

Summer School on Logic and Theorem Proving in Programming Languages -

July 22 July 30, 2008, University of Oregon, Eugene, Oregon

Types Summer School - August 19 August 31, 2007, Bertinoro, Italy

Conference and Workshop Attendance

CS4HS Workshop - July 31 August 2, 2012, University of Massachusetts-Lowell,

Lowell, MA

Scratch@MIT - July 25 28, 2012, Massachusetts Institute of Technology, Cambridge,

MA.

SIGCSE Conference - Feb 29 March 3, 2012, Raleigh, NC.

Racket Con - July 23 24, 2011, Northeastern University, Boston, MA.

Program by Design Summer Workshop - July 18 22, 2011, Brown University,

Providence, RI

Program by Design - Test Design Curriculum Workshop - June 13 17, 2011,

Northeastern University, Boston, MA

CS4HS Workshop - July 6 8, 2011, Carnegie Mellon University, Pittsburgh, PA

SIGCSE Conference - March 9 12, 2011, Dallas, TX.

Program by Design Summer Workshop - July 19 July 23, 2010, Brown University,

Providence, Rhode Island

SIGCSE Conference - March 10 13, 2010, Milwaukee, WI.

Professional Experience

Assistant Professor August 2011 July 2012

Division of Natural Sciences, Alderson-Broaddus College, Philippi, WV, USA

CSCI-124: Introduction to Computers A general course for non-majors in com-

puter applications and computing concepts.

CSCI-261: Computer Science I An introduction to programming and problem solv-

ing in Scratch, BYOB, and Python.

CSCI-262: Computer Science II A second-semester programming course in C++.

CSCI-271: Comp Lang: Java A course in Java for students who have already taken

a sequence of programming courses.

CSCI-311: Computing Theory I An introduction to the theory of computation.

CSCI-312: Computing Theory II An introduction to the theory of programming lan-

guages.

CSCI-390: Special Topics: CS3 Data Structures An introduction to the C++ Stan-

dard Template Library.

Visiting Assistant Professor August 2010 May 2011

Computer Science Department, Earlham College, Richmond, IN, USA

CS128: Programming and Problem Solving An introduction to programming and

problem solving in C++.

CS320: Principles of Computer Organization An introduction to data representa-

tion, principles of computer architecture and assembly language.

CS330: Functional Programming An introduction to functional programming in Haskell.

CS440: Programming Languages An introduction to the theory of programming lan-

guages.

CS482: Special Topics (Formal Methods) An introduction to the use of formal logic

in program veri cation.

Research Assistant Positions

Cooperative Bug Isolation Project January 2006 August 2009

Wisconsin Safety Analyzer September 2001 August 2004

Summer Assistantship Summer 1999

Computer Sciences Department, The University of Wisconsin, Madison, WI, USA

Student Internship June 2000 July 2001

The Watson Research Center, IBM, Hawthorne, NY, USA

Teaching Positions

Introduction to Compilers August 2009 December 2009

Computer Sciences Department, The University of Wisconsin, Madison, WI, USA

Developing Proofs Using the Coq Proof Assistant January 2008 August 2009

Computer Sciences Department, The University of Wisconsin, Madison, WI, USA

Fundamentals of Computer Science Summer 2005, Kaneohe, HI

Johns Hopkins University Center for Talented Youth, Baltimore, MD, USA

Introductory Programming January 2001 May 2001

Computer Science Department, Sarah Lawrence College, Bronxville, NY, USA

Supervised Teaching Assistant Positions

CS701 Programming Languages and Compilers Dr. Charles Fischer, Fall 2005

CS706 Analysis of Software Artifacts Dr. Benjamin Liblit, Fall 2005

CS302 Introduction to Programming 1998 2000 and 2004 2005

Math441 Introduction to Modern Algebra Dr. Robert Wilson, Dr. Richard Brualdi

Math541 Modern Algebra Dr. Robert Wilson

The University of Wisconsin, Madison, WI, USA

Papers

Anne Mulhern. Strengthening the inversion Tactic in Coq. Presented at Coq-2 (the

second workshop of Coq users, developers, and contributors).

Anne Mulhern and Ben Liblit. E ective Slicing: A Generalization of Full and Relevant

Slicing. University of Wisconsin-Madison Technical Report 1639, June, 2008.

David Andrzejewski, Anne Mulhern, Ben Liblit and Xiaojin Zhu. Statistical Debugging

Using Latent Topic Models. In Stan Matwin and Dunja Mladenic, editors, Proceedings

of the 18th European Conference on Machine Learning, Warsaw, Poland, 2007.

Anne Mulhern. Proof Weaving. In Proceedings of the First Informal ACM SIGPLAN

Workshop on Mechanizing Metatheory, Portland, Oregon, September 2006. The Eleventh

ACM SIGPLAN International Conference on Functional Programming.

Anne Mulhern, Charles Fischer and Ben Liblit. Tool Support for Proof Engineering.

In Serge Autexier and Christoph Benzm ller, editors, Workshop on User Interfaces for

u

Theorem Provers, Seattle, Washington, 2006. The 2006 Federated Logic Conference,

ENTCS.

Anne Mulhern. Gallimaufry: An Automated Framework for Proving Type-Safety. Pre-

sented at the Constructive Logic for Automated Software Engineering Workshop, Edin-

burgh, Scotland, 2005. The 2005 European Joint Conferences on Theory and Practice of

Software.

Professional Associations

Member of ACM - Association for Computing Machinery

Member of SIGCSE - ACM Special Interest Group on Computer Science Education

Member of CSTA - The Computer Science Teachers Association

Honors, Awards, and Certi cations

Second Place PLDI 2008 ACM Student Research Competition.

Graduate Women in Science Ruth Dickie Grant, 2005 2006.

UW-Madison CS Departmental First-Year Summer Research Assistantship,

1999.

Service

Reviewed support applications for the Grace Hopper Celebration of Women

in Computing Conference, 2010 and 2012.

Contact this candidate