Personal homepage of Dan Horgan.

Hello! Please make yourself at home.
Google Scholar
Model Checking Extended CTL
Scripting Audacity (GSoC)










LinkedIn
IMDB
Github