Bas van Gijzel

I'm a second year research PhD student in the Functional Programming Lab of the School of Computer Science at the University of Nottingham. My supervisor is Henrik Nilsson.

My current avenue of research is about relating, implementing and generalising formal models of argumentation through the Curry-Howard isomorphism, functional programming techniques and a pinch of category theory.

Some of my interests lie in (dependently typed) functional programming, type systems and general theory of programming languages, but also in formal argumentation, non-monotonic logic and artificial intelligence in general.

Drafts and Publications

• Haskell Gets Argumentative (pdf) [bib] [Code (lhs)]
  Bas van Gijzel and Henrik Nilsson. Revised paper accepted for Proceedings of the Symposium on Trends in Functional Programming (TFP 2012).
  (The original publication is available at www.springerlink.com.)
• Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation (pdf preprint) [bib] [Journal]
  Bas van Gijzel and Henry Prakken. Argument and Computation 3 (1), 21-47, 2012.
• Relating Carneades with abstract argumentation (pdf) [bib] [Poster]
  Bas van Gijzel and Henry Prakken. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), 1113-1119. Barcelona (Spain), 2011.
• Relating proof standards and abstract argumentation (pdf) [bib]
  Bas van Gijzel. MSc. thesis, Utrecht University, 2011.

Talks

• Reasoning and conflict: How to structure your arguments (pdf)
  Intensive Learning and Teaching Programme, Nottingham, United Kingdom, 2013.
• Haskell Gets Argumentative (pdf)
  Trends in Functional Programming Symposium, St Andrews, United Kingdom, 2012.
• Having FUN with CATs and arguments (pdf)
  Functional Programming Laboratory Away Day, Hathersage, United Kingdom, 2012.
• An embedded domain specific language for Carneades (pdf)
  London Argumentation Forum, London, United Kingdom, 2012.
• Relating proof standards and abstract argumentation (pdf)
  MSc. thesis talk, Utrecht, The Netherlands, 2011.
• Relating Carneades with abstract argumentation (pdf) [Video (viewer)] [Video (download)][Video (download mirror)]
  International Joint Conference on Artificial Intelligence 2011, Barcelona, Spain.
• Relating Carneades with abstract argumentation (pdf)
  London Argumentation Forum, London, United Kingdom, 2011.

Code

• Literate Haskell implementation of Carneades.
  Now improved and including installation instructions!
  Based on: T.F. Gordon, and D. Walton. Proof burdens and standards, Argumentation in Artificial Intelligence, 239-260, 2009.

Teaching Activities

• Machines and their Languages - G52MAL (Spring 2013)
• Functional Programming - G51FUN (Spring 2013)

• Mathematics for Computer Scientists - G51MCS (Autumn 2012/2013)
• Compilers (Head TA) - G53CMP (Autumn 2012/2013)
• Functional Programming - G51FUN (Spring 2012)
• Machines and their Languages - G52MAL (Spring 2012)
• Compilers - G53CMP (Autumn 2011/2012)

• Automatic Reasoning - INFOAR (2nd Quarter 2010/2011)
• Introduction to Adaptive Systems - CK1W0008 (4th Quarter 2009/2010)

• Compiler Construction - 211035 (4th Quarter 2008/2009)

Other activities

Organiser:

Functional Programming Laboratory Away Day 2012

Treasurer:

Cake Society (Cake Soc)

Personal Stuff

Contact Information