Helle Hvid Hansen
Scholar

Helle Hvid Hansen

Google Scholar ID: MpWIvRYAAAAJ
Associate Professor at University of Groningen
modal logiccoalgebraalgebraautomatagames
Citations & Impact
All-time
Citations
459
 
H-index
12
 
i10-index
13
 
Publications
20
 
Co-authors
23
list available
Resume (English only)
Research Experience
  • Adjunct Professor in Logic and Semantics of Computation
Background
  • Research interests: Logic and semantics of computation, in particular, modal logic, coalgebra, and algebra, and their applications in the formal specification and analysis of software systems.