Martha Jane Kosa*** Hermitage AvenueCookeville, TN 38501(931) ***-**********@*******.*******://www.csc.tntech.edu/~mjkosa/
EDUCATION
Ph.D. (May 1994), Computer Science,,
Chapel Hill.
M.S. (May 1988), Computer Science and Applications,
Virginia Polytechnic Institute and State University,
Blacksburg (Northern Virginia Graduate Center).
B.S.(May 1986), Mathematics,,
Fredericksburg, Virginia.
CERTIFICATIONS
Sun Certified Programmer for the Java 2 Platform, effective January 10,
2001
ACADEMIC HONORS
Phi Beta Kappa
Pi Mu Epsilon Honorary Mathematics Fraternity
UNC Board of Governors Fellowship, 1988-1991
Department of Computer Science, Tennessee Technological University, Cookeville, Tennessee:
Associate Professor(August 1998-present),
Assistant Professor(August 1993-July 1998).
Taught the following classes:
operations research (junior)
automata and computability theory (senior)
computer networks (senior)
foundations of computer science (sophomore)
a computer literacy course
C programming (freshman/sophomore)
data structures (freshman/sophomore)
expert systems (senior)
algorithm design (sophomore/junior)
algorithm analysis (senior)
databases (senior)
Java programming (sophomore/junior)
practical and professional issues in computer
science (sophomore)
programming languages (senior)
numerical methods (junior)
discrete mathematics (freshman)
Internet computing (graduate)
secure e-commerce (graduate)
during the fall, spring, and summer semesters. Held daily office
hours. Advised students. Coached the programming team and coordinated
the annual programming contest.
University of North Carolina at Chapel Hill:
Teaching Assistant.(June 1991 - August 1991)
Taught UNC's introductory computer science course to
40 students. Lectured five days per week on
the basics of computer science and applications of computers to various aspects
of society. Taught the students how to use the Apple Macintosh computer.
Taught the students how to use a word processor, a spreadsheet program, and a
database program (Microsoft Works). Taught the students the basics of the
Turing programming language. Prepared and graded
assignments and examinations.
Held daily office hours.
Teaching Assistant.(June 1990 - August 1990)
Graded programs and homework for students in an
introductory Pascal programming course at UNC. Held weekly recitation sections
and daily office hours. Assisted students in the computer laboratory.
WORK EXPERIENCE
All work experience described below comes from Vitro Corporation in Dahlgren,
Virginia.
Junior Analyst.(May 1990 - June 1990)
Worked with a technical writer to produce a document
about the history of the
Aegis Configuration Control and Engineering
Status System (ACCESS), a database
system. Researched information about software and hardware developments in
ACCESS, from its conception in 1980 to its present form in 1990.
Wrote chapters describing features of ACCESS.
Programmer.(May 1989 - August 1989)
Tested and modified code for target motion and
maneuvers for a Vitro project. The language was CMS-2Y,
a high-level language
similar to Pascal, and the machine was the UYK-7, a military computer.
Programmer.(December 1988 - January 1989)
Wrote and debugged Ada code for target motion and maneuvers
for a Vitro project. The machine was a VAX-11/785.
Programmer.(August 1986 - August 1988)
Performed requirements analysis, top-level design, and
lower-level design for a Vitro project.
Took Vitro-sponsored training courses in CMS-2M
programming, Ultra-32 assembly language programming, PSL/PSA, software
engineering, and Ada.
Li Ou, Xubin (Ben) He, Martha J. Kosa, Stephen L. Scott, and Christian Engelmann,
"A unified multiple-level cache for high performance storage systems"
International Journal of High Performance Computing and Networking, Vol. 5, No. 1, 2007, pp. 97-109.
Jonathan Byrd, Monty Carter, David Cook, Philip Kirkham, and Martha Kosa, "Solving
Recurring Student Difficulties with Recurrence Relations", Proceedings of the 12th
Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education
(ITiCSE 2007), June 2007.
Li Ou, Xubin He, Martha Kosa, and Stephen Scott, "A Unified Cache for High
Performance Cluster Storage Systems", Proceedings of the 13th Annual Meeting
of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer
and Telecommunication Systems (MASCOTS 2005), September 2005.
Joseph C. Ernest, Adam S. Bowser, Sneha Ghule, Subash Sudireddy, Jameson P. Porter,
Douglas A. Talbert, and Martha J. Kosa,
"Weathering Mindstorms with Drizzle and DIODE in CS0",
Proceedings of the 10th Annual SIGCSE/SIGCUE Conference on Innovation and
Technology in Computer Science Education (ITiCSE 2005), June 2005.
"Treemap Visualizations for CS2",
with Mark A. Boshart,
Proceedings of the 9th Annual SIGCSE/SIGCUE Conference on Innovation and
Technology in Computer Science Education (ITiCSE 2004), June 2004.
Lidong Wang, Kwun-Lon Ting, and Martha Kosa,
"XML-Based Integration of Design, Analysis, and Manufacturing",
Proceedings of DETC'03 (ASME Design Engineering Technical Conferences
and Computers and Information Engineering Conference), September 2003.
"Growing a GUI from an XML Tree",
with Mark A. Boshart,
Proceedings of the 8th Annual SIGCSE/SIGCUE Conference on Innovation and
Technology in Computer Science Education (ITiCSE 2003), June 2003.
"Implementing Student Ideas in CS2: A Simple IDE",
with Jason N. Wyatt and Mark A. Boshart,
Proceedings of the 7th Annual SIGCSE/SIGCUE Conference on Innovation and
Technology in Computer Science Education (ITiCSE 2002), June 2002, p. 224.
"XML and Browser Development Activities for CS2",
with Mark A. Boshart,
Proceedings of the 6th Annual SIGCSE/SIGCUE Conference on Innovation
and
Technology in Computer Science Education (ITiCSE 2001), June 2001, p.
182.
"One-Write Algorithms for Multivalued Regular and Atomic Registers",
with Soma Chaudhuri and Jennifer L. Welch, Acta
Informatica, Volume 37, Issue 3 (2000), pp. 161-192.
"Distributed Algorithms in the Discrete Mathematics Course",
Proceedings of the 5th Annual SIGCSE/SIGCUE Conference on Innovation and
Technology in Computer Science Education (ITiCSE 2000), July 2000,
pp. 189-190.
"Time Bounds for Strong and Hybrid Consistency for Arbitrary Abstract Data
Types", Chicago Journal of Theoretical Computer
Science, 1999(9), 64 pages.
"Beginners Program Web Page Builders and Verifiers",
Proceedings of the 4th Annual SIGCSE/SIGCUE Conference on Innovation and
Technology in Computer Science Education (ITiCSE '99), June 1999,
p. 185.
"Wait-Free Lazy-Writer Registers with Eager Readers",
Proceedings of the 36th Annual ACM Southeast Conference, April 1998,
pp. 274-276.
"What Critical Algebraic Property Allows Operations of Concurrent Abstract
Data Types to be Fast?", Proceedings of the Fifteenth ACM
Symposium on Principles of Distributed Computing, May 1996, p. 244.
"Lazy-Writer Multivalued Registers", Proceedings of the Fourteenth ACM
Symposium on Principles of Distributed Computing, August 1995, p. 270.
"Making Operations of Concurrent Data Types Fast", Proceedings of
the Thirteenth ACM Symposium on Principles of Distributed Computing, August
1994, pp. 32-41.
"Upper and Lower Bounds for One-Write Multivalued Regular Registers",
with Soma Chaudhuri and Jennifer L. Welch,
Proceedings of the Third IEEE Symposium on Parallel and Distributed
Processing, December 1991, pp. 134-141. Also appeared as Technical Report No.
91-026, University of North Carolina at Chapel Hill, 1991.
"A One-Write Algorithm for Multivalued Regular Registers",
with Soma Chaudhuri and Jennifer L. Welch, Technical Report No. 91-016,
University of North Carolina at Chapel Hill, 1991.
"Solving Recurring Student Difficulties with Recurrence Relations", 12th
Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education
(ITiCSE 2007), June 2007, Dundee, Scotland.
"Objects First, Design Patterns Second: Lessons Learned from the 'Killer Examples' for Design Patterns and Objects First Workshops",
with Carl Alphonce, Michael Caspersen, Adrienne Decker, and Stephen Wong,37th SIGCSE Technical Symposium on Computer Science Education,
March 2006, Houston, Texas.
"Weathering Mindstorms with Drizzle and DIODE in CS0",
10th Annual SIGCSE/SIGCUE Conference on Innovation and
Technology in Computer Science Education (ITiCSE 2005), June 2005,
Costa da Caparica, Portugal.
"Fun Yet Rigorous Laboratories for a Java-Based CS2",
with Mark A. Boshart,
36th Annual Symposium on Computer Science Education (SIGCSE 2005),
February 2005, St. Louis, Missouri.
"Treemap Visualizations for CS2",
9th Annual SIGCSE/SIGCUE Conference on Innovation and
Technology in Computer Science Education (ITiCSE 2004), June 2004,
Leeds, United Kingdom.
"Introduction to Programming with ", May 2004, Gordonsville High School, Gordonsville, Tennessee.
"Chord: A Case Study Utilizing Data Structures to Support Scalable P2P Internet Applications",
Reconnect Conference 2003, August 2003, Piscataway, New Jersey.
"Growing a GUI from an XML Tree",
8th Annual SIGCSE/SIGCUE Conference on Innovation and
Technology in Computer Science Education (ITiCSE 2003), June 2003,
Thessaloniki, Greece.
"Reconstructing Curves Using Sample Data: Implementing Algorithms Using
Delaunay Triangulations",
Reconnect Conference 2002, August 2002, Piscataway, New Jersey.
"Implementing Student Ideas in CS2: A Simple IDE",
7th Annual SIGCSE/SIGCUE Conference on Innovation
and Technology in Computer Science Education (ITiCSE 2002), June 2002, Aarhus, Denmark.
"XML and Browser Development Activities for CS2",
6th Annual SIGCSE/SIGCUE Conference on Innovation
and Technology in Computer Science Education (ITiCSE 2001), June 2001, Canterbury,
United Kingdom.
"Distributed Algorithms in the Discrete Mathematics Course",
5th Annual SIGCSE/SIGCUE Conference on Innovation and Technology
in Computer Science Education (ITiCSE 2000), July 2000,
Helsinki, Finland.
"Beginners Program Web Page Builders and Verifiers",
4th Annual SIGCSE/SIGCUE Conference on Innovation and
Technology in Computer Science Education (ITiCSE '99), June 1999,
Krakow, Poland.
"Class Exercise on Freedom of Speech Issues",
NSF Ethics and Computing Workshop, August 1998, Tampa, Florida.
"Wait-Free Lazy-Writer Registers with Eager Readers",
36th Annual ACM Southeast Conference, April 1998, Marietta, Georgia.
"My Attempts at Using Peer Learning", NSF Workshop on Application
of Peer Learning to the Introductory Computer Science Curriculum, June 1997,
Worcester, Massachusetts.
"What Critical Algebraic Property Allows Operations of Concurrent Abstract
Data Types to be Fast?", Fifteenth ACM
Symposium on Principles of Distributed Computing, May 1996, Philadelphia,
Pennsylvania.
"Lazy-Writer Multivalued Registers", Fourteenth ACM
Symposium on Principles of Distributed Computing, August 1995, Ottawa,
Ontario, Canada.
"Making Operations of Concurrent Data Types Fast", Thirteenth
ACM Symposium on Principles of Distributed Computing, August 1994, Los Angeles, California.
"Upper and Lower Bounds for One-Write Multivalued Regular Registers",
Third IEEE Symposium on Parallel and Distributed
Processing, December 1991, Dallas, Texas.