Helle Hvid Hansen

I started as a PhD student at the Section Theoretical Computer Science at the Free University, Amsterdam, in September 2004, and I am also part of the SEN3 group at the CWI where I am working on the NWO funded project C-Quattro. My supervisors are Jan Rutten, Yde Venema and Farhad Arbab.

Addresses

Papers

• Constructing Sequential Machines from Coinductive Specifications (Abstract)
  (co-author David Costa, CWI, Amsterdam).
  Accepted for CALCO-jnr 2005.
• Tableau Games for Coalition Logic and Alternating-time Temporal Logic
  Master's Thesis Computer Science, Universiteit van Amsterdam, 2004. PS.GZ PDF
• A Coalgebraic Perspective on Monotone Modal Logic
  (co-author Clemens Kupke , ILLC, Amsterdam).
  Proceedings of the 7th Workshop on Coalgebraic Methods in Computer Science (CMCS 2004), Barcelona, Spain.
  ENTCS 106, pages 121-143, Elsevier, 2004. TCS Seminar slides .
• Monotonic Modal Logics
  Master's Thesis Mathematics, Universiteit van Amsterdam, 2003. PS.GZ PDF
  Also available as technical report: ILLC report PP-2003-24
• Axiomatising Nash-Consistent Coalition Logic
  (co-author Marc Pauly, IRIT, Toulouse).
  Proceedings of the 8th Joint European Conference on Logics in Artificial Intelligence (JELIA 2002), Cosenza, Italy.
  LNAI 2424, pp. 394-406. Springer, 2002.
  Also available as technical report: ILLC report PP-2002-3.

Events attended in 2005

• IPA Herfstdagen on Security
  Nov. 21-25, 2005. Zwartsluis, Netherlands.
• CALCO 2005, 1st Conference on Algebra and Coalgebra in Computer Science
  Sep. 1-7, 2005. Swansea, Wales.
• Marktoberdorf Summer School 2005 Selected photos and videos
  Aug. 2-14, 2005. Marktoberdorf, Germany.
• GAMES Spring School
  Mar. 15-19, 2005. Bonn, Germany.
• IPA Basic Course on Algorithms and Complexity
  Jan. 31 - Feb. 4, 2005. Eindhoven, Netherlands.

Other Links

• Bookmarks
• The Institute for Logic, Language and Computation (ILLC)
• Quova (where I worked part-time as a programmer in 2000-2004)

E-mail: hhhansennn@few.vu.nl (leave out the last two n's)