Personal homepage of Dan Horgan.
Hello! Please make yourself at home.
Google Scholar
Model Checking Extended CTL
Scripting Audacity (GSoC)
LinkedIn
IMDB
Github