Currently Available Software

Active software projects include:
• TraNCE: A tool for processing queries over nested data on top of distributed processing platforms.
• PDQ: A tool for querying web-based datasources.
• ArtForm: A tool for analyzing JavaScript in web forms.
• ROSeAnn, joint with the ERC DIADEM project. A system for aggregate semantic annotation of text and web content.

I have also contributed to TULIP, a verification tool for interval markov chains.