Welcome!

Hello! Thanks for visiting my website. My name is Steven Trac. I'm currently enrolled as a graduate research assistant in the Department of Computer Science at the Unversity of Miami (FL). My advisor is Dr. Victor Milenkovic. My main research is in Computational Geometry. I'm also in the ART research group at the Department of Computer Science under Dr. Geoff Sutcliffe. Lately I have been very fascinated with scalar vector graphics (SVG), so I'm learning everything I can about it here.

Ron: "Brick, where did you get a hand grenade?"
Brick: "I don't know."

Current Courses:

(Spring 2007):

IDS730 - Interdisciplinary Studies, Arranged
MAE513 - Kinematics for Robotics, MW 6:25-7-40P

Previous Courses:

(Fall 2006):

IDS730 - Interdisciplinary Studies, Arranged
MTH686 - Scientific Comp, TR 3:30-4:45P, CC 426

(Spring 2006):

IDS730 - Interdisciplinary Studies
MTH670 - Topology, my notes

(Fall 2005):

CSC710 - Master Thesis
MTH670 - Root Finding Methods, my notes
CSC647 - Computational Geometry

PhD Dissertation:

Title: Robust Explicit Construction of Configuration Spaces Using Automated Reasoning

Here is a rough piece of my Dissertation.

Master Thesis:

Title: Robust Toplogically Invariant Set Operations on 2D Semi-Algebraic Sets.

Here is a link to my master thesis, in pdf: thesis. Enjoy!

Here are the slides to my thesis presentation: slides.

Current Research Projects:

Scalar Vector Graphics 2006 - SVG
Configuration Spaces with Curve Arcs (Dr. Victor Milenkovic) 2005 -
Robust Arrangement Algorithms for Semi-Algebraic Curves (Dr. Victor Milenkovic) 2003 -
IDV - Interactive Derivation Viewer (Dr. Geoff Sutcliffe) 2005 -
Faust ATP (Automated Theorem Prover) (ARTists: Yury Puzis, Diego Belfiore, and myself), 2004 -
Bioinformatics Project with TS/HK Genes (Dr. Sawsan Khuri) 2006 -
RDN (Reverse Decimal Notation) Arithmetic in First Order Logic (Dr. Geoff Sutcliffe) 2005

Conference and Journals I'm involved with:

21st CADE ATP System Competition (Assistant)
20th International FLAIRS Conference (Volunteer)
17th International FLAIRS Conference (Volunteer)

Conference and Journal Publications:

V. Milenkovic, E. Sacks, and S. Trac, (2007), Approximate Euclidean Transformations and Set Operations on Planar Semi-Algebraic Regions, Submitted to International Journal of Computational Geometry and Applications on April 11, 2007.
S. Trac, Y. Puzis, G. Sutcliffe, (2006), An Interactive Derivation Viewer, Autexier S., Benzmüller C., Proceedings of the 7th Workshop on Workshop on User Interfaces for Theorem Provers, 3rd International Joint Conference on Automated Reasoning (Seattle, USA), Electronic Notes in Theoretical Computer Science, To appear. (PDF)

Side Projects, For Fun:

Solving a Rubik Cube in java using A*, (my incoherent notes ) (In Progress)
Geometric Shattering (Work off of thesis by Dr. James F. O'Brien) (To Resume at a later date)
Java applet to learn Mandarin Pronunciations (Not Started)

Fellow Graduate Students:

Yury Puzis, M.S. Computer Science, (In Progress)
Weina Shen, M.S. Computer Science, (Fall 2006)
Yuan Zhang, M.S. Computer Science, (Spring 2005)
Yi Gao, M.S. Computer Science, (Summer 2004)

Any comments and suggestions, please email me at: