During the 1999/2000 school year and summer 2000 I did research into algebras for simulating unclocked electronic circuits and identifying static and dynamic hazards. Dr. John Brzozowski, Professor Emeritus at the UW Computer Science Department supervised the research.
The task was to review the literature on hazard algebras then evaluate and summarize the mathematical and practical qualities of the previous work. The full review contains all the mathematical details.
During the summer Dr. Zoltan Esik visited UW to collaborate with Dr. Brzozowski and they discovered an infinite valued algebra that has great explanatory power for hazard theory. After adding a section for the new infinite valued algebra an abridged version was presented at the 31st IEEE International Symposium on Multiple-Valued Logic, Warsaw, Poland, May 22 - 24, 2001 and is to be published in the book Beyond Two - Applications of Multiple-Valued Logic, M. Fitting and E. Orlowska, eds., Springer.
Though I'm quite proud of the work that I did, and feel very fortunate to have worked with as prestigious a researcher as Dr. Brzozowski, this experience taught me that mathematical research isn't for me. Solving mathematical problems is fun, but I find reading mathematical papers and chasing the details of mathematical research tedious.
My life plan had been to become a professor of mathematics or theoretical computer science. I've deleted that, but haven't come up with a replacement yet. Suggestions are welcome!
This work is licensed under a Creative Commons
License.
Valid XHTML &
CSS . Last updated: June 11 2007
. Hosted by: theorem.ca. Email: