Currently Available Software
Active software projects includ:
- PDQ: A tool for
querying web-based datasources.
- ArtForm: A tool for analyzing
- ROSeAnn, joint with
the ERC DIADEM project.
A system for aggregate semantic annotation of text and web content.
I have also contributed to
a verification tool for interval markov chains.
Back to Michael Benedikt's
Last updated in April 2014