I have graduated from the Department of Computer Science at The University of Manchester with a BSc (Hons) Computer Science.
Project
My final year project is titled "Regular Expressions and Finite State Automata". The aim was to create a tool which will illustrate the correspondence between regular expressions [Sch03, pp.5-6] and finite state automata [Sch03, pp.7-10].
References
- [Sch03] A.C. Schalk. CS2121: Automata, Languages and Computation (Theoretical part). Lecture notes for course module CS2121: The Implementation and Power of Computer Languages, The University of Manchester, 2003, http://www.cs.man.ac.uk/~schalk/2121/.
- [HMU01] J.E. Hopcroft, R. Motwani, and J.D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 2nd edition, 2001, ISBN 0-201-44124-1, http://www-db.stanford.edu/~ullman/ialc.html.
- [ASU88] A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1988, ISBN 0-201-10088-6.
Related Links
In addition to the authoritative references listed above, I have also collected some links to sites which may contain useful information related to my project:
- Automata Theory
- Peter Aczel's CS2121 page contains up to date information on the course module, including his own versions of the lecture slides.
- JFLAP: Java Formal Languages and Automata Package.
- dk.brics.automaton: Finite State Automata for Java.
- Finite State Automata Utilities.
- FSA Demo.
- Finite State Automata and Regular Expressions: A nice, well explained, introduction to the topic.
- Graph Data Structures
- Python Patterns - Implementing Graphs.
- PyGraphLib: A Python library to implement graphs data structure.
- graph_lib.py: Python Graph class.
- Markup Languages and File Formats
- GXL: Graph eXchange Language.
- GraphML File Format.
- XGMML (eXtensible Graph Markup and Modeling Language).
- SVG: Scalable Vector Graphics: XML Graphics for the Web.
- Graph Drawing
- Graph Drawing [www.info.uni-karlsruhe.de].
- Graph Drawing Links [www.cs.brown.edu].
- Graph Drawing Talk [davis.wpi.edu].
- Interactive Graph Drawing on the WWW.
- Interactive Graph Drawing.
- AGD: Algorithms for Graph Drawing.
- Graph Layout Examples [java.sun.com].
- Graph Layout.
- daVinci's (interactive graph visualisation system) Concepts.
- GeomNet Graph Drawing Server.
- Graph Drawing Tools.
- Graph Drawing Tools and Related Work.
- Gato: Graph Animation Toolbox.
- Graph Vizualisation Project: Development home page.
- GraphViz: AT&T Labs Research page.
- GraphThing: Create, manipulate and study graphs.
- VGJ: Visualizing Graphs with Java. Graph drawing and graph layout.
- OpenJGraph: Java Graph and Graph Drawing Project.
- The VGJ Graph Drawing Tool
- GraphEd: Interative, extensible editor for graphs and graph grammers.
- Graphlet: A toolkit for graph editors and graph algorithms.
- TouchGraph.
Other Work
I am involved with a computer game project started by Computer Science students at the University of Manchester. The aim is to create a computer game so those involved can defeat the apparent catch-22 situation involved in getting into the computer games industry. The current plans are for a space combat game.
Curriculum Vitae
My curriculum vitae is available online in several different file formats. Note that updated versions of my curriculum vitae are now located on the CV page of my new home site.
- Adobe Portable Document Format (.pdf) (Generated from LaTeX source) [Updated: 2006-07-02]
- PostScript (.ps) (Generated from LaTeX source) [Updated: 2006-07-02]
- Hypertext Markup (.html) (Generated from LaTeX source using tex4ht) [Updated: 2005-09-01]
- Plain Text (.txt) (Dumped from HTML using ELinks) [Updated: 2005-09-01]
- Microsoft Word 97/2000/XP (.doc) (Exported from OpenOffice.org Writer) [Updated: 2005-09-01]
- OpenDocument Text (.odt) (Saved from OpenOffice.org Writer (beta)) [Updated: 2005-09-01]
- OpenOffice.org 1.0 Text Document (.sxw) [Updated: 2005-09-01]