Brian Seok

I am an undergraduate student majoring in CIS and Japanese at the Ohio State University. This is my EUROPA research page.

Index:

Current interest is developing better tools for OOP programmers.

Type-to-Contract Translator for the SCW
The purpose of this project is to convert RESOLVE abstract components into new SCW components. This is a joint-effort with Matthew Thornton and Mashiur Rahman.

The Type-to-Contract Translator for the SCW project will be presented in Spring at the EUROPA meeting.

Last modified: Wed Mar 19 09:53:00 EST 2003