Matthew Thornton
I am a senior at The Ohio State University majoring in Computer
Science (CIS--Software Systems Concentration) This page is
intended as a resource to my research activities in Europa.
Index:
Research Interests:
Right now, I am interested in software reuse, formal
specifications, and algorithms.
Current Projects:
- Type-to-Contract
Translator for the SCW
Currently, I am working with Mashiur Rahman and Brian Seok on a
program to translate Abstract Types from the RESOLVE
language to the Software Composition Workbench. I
have worked on the design and will be helping on the
coding of an extension to one of the SCW classes.
- Teaching Abstraction
First in CS1/CS2
I am finishing up writing a paper with Emily Howe on teaching
Abstraction First in CS1/CS2. This teaching style is
used in RESOLVE sequence as well as in the book
"Accelerated C++." Teaching in this style allows an
instructor to teach computer science topics not normally
covered in CS1/CS2, teach techniques from a different
perspective, or make their existing curriculum more
flexible in terms of what gets taught first.
Completed Projects:
- Random Number
Generator Class A project I have done in the past is a modular random
number generator and the mathematical model that defines
random numbers in software. I took it to the Denman
Undergraduate Research Forum in Spring 2002. (But I'm
still thinking about it!)
- Sequence_Kernel_4
Implementation Using Balanced Binary
Trees
This project involved implementing a generic
sequence component using a balanced binary tree.
This component makes use of an extension of Binary
tree that calls compose symmetrically instead of
just a direct compose of left and right subtree.
This implementation can result in certain algorithms
using sequence to run faster. (Lookup is in O(lg n)
time)
Return to Europa
Matthew Thornton <thornton.124@osu.edu>
Last modified: Tue Jun 3 15:27:52 EDT 2003
Research Interests