Yes, I was wondering if you'd have any interesting computational biology problems. I think that if there's existing simulation software around for this sort of thing then I'm prepared to relax my ground rules enough to let you have access to a copy of it :-)

The problem is, as I say, most of the comp.bio problems are things that need validation, and against a finite evaluation set, you end up with a machine that will regurgitate the test data. I guess you could try and derive a (relatively) small number of rules that will do the job.