Sean McCulloch

2000 Jefferson Park Ave. # 12 Home Phone: (804) 977-0065
Charlottesville, VA 22903 Office Phone: (804) 982-2296
http://www.cs.virginia.edu/~stm4e E-mail: stm4e@cs.virginia.edu

 

Education:   

University of Virginia,  September 1995-Present:

Passed Ph.D. Proposal, February 2000 (Expected Ph.D. in August 2001)
Masters of Computer Science, May 1998
Overall GPA: 3.89

State University of New York at Geneseo, September 1991-May 1995:

B.A. in Mathematics, May 1995
B.A. in Computer Science, May 1995
Overall GPA: 3.59

Employment:

Graduate Teaching Assistant: University of Virginia Department of Computer Science,  September 1995-Present:

Held office hours, graded labs and exams, taught lab sections and occasional class lectures.  Assisted in several courses, including:

* CS101- Introduction to Computer Science
* CS201- Software Development Methods
* CS332- Analysis of Algorithms
* CS340- Advanced Software Development
* CS660- Graduate Theory of Computation

Instructor: University of Virginia Department of Computer Science, Fall 1997

Taught CS110- "Introduction to Information Technology". 

* Lectured twice a week
* Created many homework assignments, as well as a signifigant portion of the final exam.
* Held office hours and was available at other times for student questions and concerns

Graduate Research Assistant: University of Virginia Department of Computer  Science, September 1995-Present:

Research in Design Automation, specifically routing.  Current and past projects:

* Detailed routing for Field Programmable Gate Arrays,
* Upstart- a Detailed Router which attempts to minimize rip-up costs
* Quark- an Auction-based router, which treates the routing resources as commidities to be bid on. 
* Solution Manual for Versions 1,2 and 3 of Cohoon and Davidson's C++ Program Design

Details on these projects can be found at http://www.cs.virginia.edu/~stm4e/education.html

Publications:

* J.L. Pfaltz, John Karro, Sean McCulloch. Distance in Anti-Matroids,  Congressus Numeratum 127:5-22, 1997
* John C. Knight, Matthew Elder, A.C. Chapin, Brownell K. Combs, Steven Geist, Sean McCulloch, Luis G. Nakano, Robert S. Sielken. Topics in Survivable Systems. Department of Computer Science, University of Virginia Technical Report CS-98-22, 1998

In Preparation:

* Sean McCulloch and James Cohoon.  Upstart: Maximizing Global Route Information in a Detailed Route
* Sean McCulloch and James Cohoon.  Quark: An Economical Routing Method
* Sean McCulloch and James Cohoon. An Auction-Based Approach to Eliminate Net Ordering

Awards and Positions held:

Computer Science Grad Student Group Steering Comittee member, April 1998-June 1999
Mentor for undergraduates at the 1999 Design Automation Conference
Mentor for incoming  graduate students, 1996-2000
Member, Association for Computing Machinery
Member, ACM Special Interest Group in Design Automation
Member, ACM Special Interest Group in Computer Science Education
Dean's List: State University of New York at Geneseo: September 1991-May 1995
Secretary, Geneseo Student Chapter of ACM, September 1993-December 1993
Chairman, Geneseo Student chapter of ACM, September 1994-May 1995