User:Ivanm
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Wow, you mean someone is actually interested in me? :o
What I do
I'm currently doing a PhD at ANU under the supervision of Professor Brendan McKay.
Code I write
I'm responsible for the following Haskell software packages:
- Graphalyz Library for using graphs to analyse the relationships inherent in discrete data (used by SourceGraph).
- SourceGraph Use graph theory to analyse your Haskell code. Related papers:
- My Mathematics Honours thesis
- The paper I presented at PEPM'10.
- The slides I used.
- Gentoo#haskell-updater (along with the rest of the Gentoo-Haskell team, though I started it and am the main developer: the others are too scared of me to make changes! :p).
Un-released code
For my sins, ever since I started my honours in mathematics, I've been writing more and more graph-related code. Here's a sample of what I'm doing:
- Generic Graph Classes; a rough-and-ready first draft is available upon request.
- A Partial Latin Square generator (a complete re-write of the project with which I learnt Haskell that was originally based upon Sudoku#Sudoku_incrementally.2C_.C3.A0_la_Bird; this is waiting on the following project.
- An implementation of nauty in Haskell (yes, I know about hgal, but it's slow and unmaintained). Work on this is halted until the generic graph classes are sorted out (and when I can pry some time out from hacking on graphviz, etc.).
Not quite code, but still...
- I'm an unofficial developer in the Gentoo-Haskell team (which means I write a lot of ebuilds for it, but haven't bothered to make it official). My work on haskell-updater grew out of my frustration at having to manually rebuild packages.
Links
- My blog