Clemens Grabmayer

I am postdoc in the Theoretical Computer Science Group of the Department of Computer Science.

Teaching

• In the past:
  • In period 5 of the academic year 2015-16 (February-March 2016) I teach the exercise classes of the course Protocol Validation, taught by Wan Fokkink.
    • Solution for Exercise 90 treated in the exercise class (on April 22, 2016) accompanying Lecture 7.
  • In period 4 of the academic year 2015-16 (February-March 2016) I taught, together with Wouter Kager, the course Logic and Sets.
  • In autumn 2015 I taught the course Datastructures and Algorithms at University College Amsterdam together with Wan Fokkink.
  • In period 1 of the academic year 2015-16 I was responsible for a tutor group for the course Introduction to Computer Science.
  • In period 4 of the academic year 2014-15 (February-March 2015) I taught, together with Sandjai Bhulai, the course Logic and Sets.
  • In period 2 of the academic year 2014-15 (October-December 2014-2015) I taught, together with Jörg Endrullis, the course Logic and Modelling (Material Page).
  • In period 3 of the academic year 2013-14 (February-March 2014) I was teaching assistent for the lecture Logic and Sets by Sandjai Bhulai and Roel de Vrijer.
    

Publications

Please see this page.

Curriculum Vitae

Please see this page.

Contact Information

Department of Computer Science
VU University Amsterdam
De Boelelaan 1081a
1081 HV Amsterdam

room	T4.43
tel	+31 20 4866068
e-mail	c dot a dot grabmayer at vu dot nl

PGP Key

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG/MacGPG2 v2.0.20 (Darwin)
Comment: GPGTools - http://gpgtools.org

mQINBFKh4wsBEADOB5tPOD92GBCUby4ExjoOT0T2KYajFGe4DAuk8oeRBdJVnBow
0khT2PX+3CfXuQLHCELqyFFp0yufxL9ZtIXt4WEEtp4k1y3muwh0C4pHuffVnE2a
ESYTj5zxpXL1ivhOTjJy2dC1eqyvQ2xZxYlcXzx/W2FNEYea0Tl8QVTuKKpDelT7
UzPTqrFSgutUp5kaqhuuEupa+qUq4sObIx6YUTUkQR537lQngB+Ug9nyxDYdZ5ss
p29cNdc93qMc7Xv3ozeBV/WG6Fmp6Ilc026ZDC/i+XV1ijRp837pI7SfFCDx9d2c
llQefFhZg400Y1tZGYM+yYXv68jovDkHxO/Atv8D2fmqqVD4peBtl7bV8XbLbNo6
FefN7s1MgCc8WCwCNdmK+ZtWk9xwtV3vOxgewsWSf9iOh1WceG4dAELIvIDgaHiF
dl9Jgt9vNpC92asr5TrmsgfqtFY6P0CDHgTf7mZBr6m6tD6oTYcUPDoxnrp0TkmI
cLN7yDxJ3a0UvFp+vXrIFsu6uYWq0gJQ2o7k9zrjjlbBlmCUUCDGHOe7XSIQiL1Q
mN1eXCE9KUbbsqvUTttD3drc8kjg++jhtVDI8KjZO32lBWtIzoKwuUUcDf4nuRG1
qiplfixNSnA1FD6QgydmSkgD+Lgj9UHN2BhoUzwdJRKenpZTgp7MGQL+KwARAQAB
tElDbGVtZW5zIEdyYWJtYXllciAoYXQgVnJpamUgVW5pdmVyc2l0ZWl0IEFtc3Rl
cmRhbSkgPGMuYS5ncmFibWF5ZXJAdnUubmw+iQI9BBMBCgAnBQJSoeMLAhsvBQkH
hh+ABQsJCAcDBRUKCQgLBRYCAwEAAh4BAheAAAoJENgJrTSOcpS40fEP/2SbfLta
fG6KjGwtx/Sw1Ubia/YdjFii3L7WNUwrG2dhx8mqFNO6fJXGgpsKJasKk6L7QWHL
bCyMyaHqhYj0CeI8bOcN8dclOeV779SZMKvDyK02CEUAx4KzQxZaM1gOcylVY9uR
jLviFc322TqpqsHJBS3X6R0ft3G//3Djc6KrE8c8qIDfJ/e6SyoFqaPh9RUBohdO
GFa/WST/sdwFpfyEbZynrYUhngoC7muBKNYdut4zQbmQZrBIQC/mSeLeWhOgNa6p
ppfGJVnFkCdpIoTJpF7qKJi8oaYiOKvL2TjCBhuLU5tloVgInbRp+/25rhzW2R2B
YDuffU0TY6CvwyjCb+Yh4luJFw7lLIxXoA6sPD9ohmL86uPKPoRqVFTK6Y7ghPj+
iVDIqZKaWumxhPpyxbP3whP32I6bxBEGS7lHJml5dshVHdSK6c8LjugYDeN2HlSQ
ac47d1ff2gi/Y26gvP3WOX6312KN1MJNuRve3SeqEq5eOezcwXyEZCBA9jytA7M1
WMGqr/VL7d58WiMWf81P8MQo6Vc7N8dzEF1LUN7VLyR9c0F2qRb5z5Hj4vRCRORN
Nm1Jyatdea4s3Xultsu/e9kjrjnS2O7yia0ht4KTr84RPAsqF98h8bcfHZiaVp1x
y60hwBEa73K7uf/A8Rqne921NFfaLYqws9BTuQINBFKh4wsBEADQzhqz5NLhUzg6
zvAY5Ux3+XamzuFPtMSXl408ps9ju00MsBU3PauaokNoJ1v+Ll07Uqh4STxFpw83
cv/jDhUHKs3X7oAMrhpJAxYeEmDSgMgNI+qfxmetgKklOXVlZdGY9DW5FRY9qdFl
wwUn706GJxmE4hMtdyTch+67TL6LokVf55FwRnBHAZhyVEtHXfd/WqBROmtJN6MI
6GoE02+uhU1He5g5ptELEJdy3qm4pqBr/0iOaftloNPpxLtirj1exCyKz2szDrHx
SW2kcMtwNYyh8G3XoxpPrfAu6OTwSUT00EBCujD5vBJFzRob3VF4MF4dGIFXIk5Q
eAugKtFtBxx968W9HM0B0DYnY+M/dk7XK8VkNpeyE4HLM/QUpJll2bunMpTkHOXx
rLSxuY3pCML5ID2ggx/3xdLBUroYWCRGwHE30WnAB0BWOy+Mmzwu7PRZzBYFRpJ4
jnLYBoBStbb0t7RPGVX9lS6BKhTn8sFNc0TILxiCR6jPczRvKRYer2/iU9j+/Ygp
5mQQdi+0ioAb6tlWXFR/QsfN/Wf5p5y3UCrFgg1hSfKwn+ddZpSEm+VO1eDkaxG/
L/8AKSRoRxXf4t/vzrHhwvZglQSb0lQ3GNemUrJqFqQsO/dmvDmGpg88s5dnYNTA
mj/ydGUVbisbCPGHDS1aYSWBUYASAwARAQABiQREBBgBCgAPBQJSoeMLAhsuBQkH
hh+AAikJENgJrTSOcpS4wV0gBBkBCgAGBQJSoeMLAAoJEAdcEKnSUKzTVuoQAILI
QlVL6I+F3ueXMrGfRT1YPoAPS362wlyXLF6aib/Zec7indKoh9jYzDmQbbYKwJ2o
LCqifp0Uby1CRq0y42/j9pkeYb3bdcph9CHUooWQwge5znt1H7h0NJj0lkDu+tFz
Hebi+/C0QJBiip9//sh2qCxhduOdUkU4viJZCKRxQY84aAsA5e7utz1QAjxBkFa+
2OcweFWkDhkOA3Q/yIKbi1xxJ7xGRE7d+oNEAZB3X7AWCHNqIvD8WS9R616sQqYP
DFwKOV7ODu/eXwJFXfEkBbRq//NbfdiAjFzWlL3RfwQXMn1wsAqaio/Jms1cVFIL
oVimMDHzuV6u9ZNz95VNv+dueG2rPQOD0pb88hxXs9s+/+AU6ZYHqoXvkF8ddszk
f8FMWDtOjOZpj8OtioBuZJIvxTSqQqvTTAMmY2i3YvpyhZVdIyev37R0cLLt+92n
oVQDNbQxOi/Jwkodhh9UUXV7vuRHyqFv6sW9AuLv3wUS+5ylezCwWY9uvGL8/8+K
wO+UNQBBy7xznyaPtpKiYuPRG2fW0izmvP4TIBUPUZDNgcy96gt8q+cgNaj9rXbS
e6CMXIl5kVy/4XMFYI9whub36+LPEyd6bzttMli6ytuhuin7NhJhvxZVFTYor7aL
EBidSh+P/bfQbjq1ugbc7BPsyP72Cb11ksy0+s68+zAP/2HOikC8FRockmX8RtzA
aCCFoQYPd76sc4Oz6H0EeH0Z2VYEZcAgQchJKHxbXijsa5ZB6YlJo2RMwnyEO0Ei
Xbww9TRqFYORhtAE5qKSRqpoXe6WMjD7h43K6LJ1sVCIR6vKMQ3NgNERD6WLOH1o
fkx5XPr4cFASzmRj/x6LcxM1gRFcqutEMtBzd/amO/m8PtQsTRx3Pgul8bN49nMa
NgfRP6GzVq/HFWrKozbtm4/mh7ABCojLzg8cb7XRorUCIIPa7jtB1a0CjT11GBTI
U7Nrdn9J0mZKnGQ6fHp5yKoMEVhKhwOVNXRY//mN5Dd9xQ8DL5s9AWSBk+gchVCc
JCJ1oB/We9jbNtqnqc/X2wrJapzHswPtGS8aeqpmBMuwo4niueDPAOFrzLGQYns0
fzDp1uRK0+HftZ2NdhB0A1E71twmL8USUyeI6GIwNHLirb65X56sM+kbe68IMpD7
P/p0sFQOO7fDRsqvdihiNJcq85l6/G9zfU7lKGKEs6M+iESchjUJHQ9dHwwJAEmI
cgsXxJUhWCe5f3UgrU6zCVDrxsvb9kDQy82HhtCpItNrWO51AJeFoxE2Md9/wv2K
jeLODCR+yHs8hSg8BgnT65Fxn28xn0lixGaAM3t+FUPweBWOJyMW83p/LWoda6Ic
fqJJcRfdEoyKEJxZHyivo2l7
=KyAM
-----END PGP PUBLIC KEY BLOCK-----

Interests

• KNAW mini-symposium De Wiskunde en Informatie achter Bitcoin

Other webpages

• My current private homepage.
• My previous homepage at Utrecht University.

Clemens Grabmayer / VU University Amsterdam / c dot a dot grabmayer at vu dot nl / Last modified: Tue Jan 2 10:26:23 CET 2018 /