GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
Binghamton University
/
William Hallahan
W
William Hallahan
Assistant Professor
Computer Science
,
Binghamton University
Research Interests
Computer Networks
Formal Methods
Functional Languages
Software Engineering Research
Logic, Programming, and Type Systems
Formal Methods in Verification
Advanced Software Engineering Methodologies
Network Security and Intrusion Detection
Academic Metrics
Links
Grants