Bas van Gijzel

I'm a freshly started 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 in the context of embedded domain specific languages (EDSLs), dependently typed functional programming (using Agda in specific) and models of argumentation. There isn't much more to be said yet.

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) [Code (lhs)]
  Bas van Gijzel and Henrik Nilsson. Extended abstract submitted for Trends in Functional Programming 2012.
• 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

• 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)]
  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 (lhs) [Instructions coming soon]
  Literate Haskell implementation of Carneades without additional packages (lhs)
  Based on: T.F. Gordon, and D. Walton. Proof burdens and standards, Argumentation in Artificial Intelligence, 239-260, 2009.
• Code for extended ASPIC++ and Carneades coming soon!

Teaching Activities

• 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)

Personal Stuff

Contact Information