EN FR
EN FR


previous Previous | up Home | Next next


Section: Dissemination

Scientific Animation

Teaching

  • Master : Jurgen Vinju, Paul Klint, Software Evolution, 6 EC, Universiteit van Amsterdam, The Netherlands

  • Master : Tijs van der Storm, Jurgen Vinju, Software Construction, 6 EC, Universiteit van Amsterdam, The Netherlands

  • Master : Jan van Eijck, Bert Lisser, Software Testing, 6 EC, Universiteit van Amsterdam, The Netherlands

  • Master : Paul Klint, EASY Meta-Programming with Rascal, full-day course at Summer School on Language Frameworks, Sinaia, Romania

  • Master : Paul Klint, Rascal tutorial, one-day course, FUNDP, Namur, Belgium

  • Master : Tijs van der Storm, one-day course on Rascal, Universidade do Minho (Braga)

  • Graduate: Tijs van der Storm, one-day course on Rascal, Programming Language class, UT Austin, U.S.A.

Supervision

  • PhD : Floor Sietsma, Logics of Communication and Knowledge, Universiteit van Amsterdam, 13-12-2012, supervisors Jan van Eijck, Krzysztof Apt

  • PhD in progress : Paul Griffioen, Next Generation Computational Auditing, started 2011, supervisors Paul Klint, Philip Elsas

  • PhD in progress : Anastasia Izmaylova, A General Language Parametric Framework for Software Refactoring, started 2011, supervisors Paul Klint, Jurgen Vinju

  • PhD in progress : Jeroen van den Bos, Digital Forensics Software Engineering, started 2010, supervisors Paul Klint, Tijs van der Storm

  • PhD in progress : Atze van der Ploeg, Rapid Language Parametric Prototyping of Software Visualization and Exploration, started 2011, supervisor Paul Klint.

  • PhD in progress : Davy Landman, Recovery and Synthesis of Domain Specific Language Design, started 2011, supervisors Jurgen Vinju, Paul Klint, supervisors Jurgen Vinju, Paul Klintto .

  • PhD in progress : Riemer van Rozen, Software Engineering Principles for the Gaming Domain, started 2011, supervisor Paul Klint

  • PhD in progress : Ali Afroozeh, Ambiguity and Disambiguation for Context-free Grammars, started 2012, supervisor Jurgen Vinju

  • PhD in progress : Ashim Shahi, Principled Quality Assessment of Software, started 2012, supervisor Paul Klint, Jurgen Vinju

  • PhD in progress : Michael Steindorfer, Scaling meta-programming to data-programming, started 2012, supervisor Paul Klint, Jurgen Vinju

Paul Klint, Jurgen Vinju, Tijs van der Storm and Jan van Eijck together also supervised more than 30 master thesis projects for Universiteit van Amsterdam in 2012.

Juries

  • Jurgen Vinju, PhD: Veronica Isabel Uquillas Gomez, Vrije Universiteit Brussel & Université Lille, Belgium & France.

  • Paul Klint, PhD: J. Dormans, Universiteit van Amsterdam, The Netherlands.

  • Paul Klint, PhD: R. Poss, Universiteit van Amsterdam, The Netherlands.

  • Paul Klint, PhD: L. Kwiatkowski, Vrije Universiteit, The Netherlands.

  • Jan van Eijck, PhD: Peter Gammie, University of Camberra, Australia.

Invited speakers

  • Jurgen Vinju - IFIP WG 2.4, Vadstena, Sweden.

  • Tijs van der Storm - IFIP TC2 2.16, London, England.

  • Tijs van der Storm - IFIP TC2 2.16, Austin, U.S.A.

  • Paul Klint - Invited speaker at PReCISE Conference, Namur, Belgium.

  • Paul Klint - Keynote "The Spinoff Game" at Entrepreneurial Research Day, ICT Labs, Paris, France.

  • Mark Hills - Invited speaker at International Workshop On Rewriting Logic and its Applications, Talinn, Estonia.

Positions, memberships and editorial work

  • Jan van Eijck : Member of the European Network in Computational Logic

  • Jan van Eijck : Member of the International Quality Assessment Committee

  • Jan van Eijck: Member of the NWO committee “Vrije Competitie” for Computer Science.

  • Jan van Eijck: Book editor “Games, Actions, and Social Software”, Springer.

  • Jan van Eijck: Program committee IWCS

  • Jan van Eijck: Program committee LORI-4

  • Jan van Eijck: Reviewer ESSLLI

  • Jan van Eijck: Reviewer Journal of Semantics

  • Jan van Eijck: Reviewer Journal of Logic and Computation

  • Jan van Eijck: Reviewer Fundamenta Informaticae

  • Jan van Eijck: Reviewer Synthese

  • Jan van Eijck: Reviewer Journal of Philosophical Logic

  • Jan van Eijck: Reviewer Journal of Logic, Language and Information

  • Jan van Eijck: Cambridge University Press, Australian National University (Canberra)

  • Tijs van der Storm: Program co-chair IPA Lentedagen

  • Tijs van der Storm: External reviewer OOPSLA

  • Tijs van der Storm: External reviewer POPL 2013

  • Tijs van der Storm: Reviewer Information and Software Technology

  • Tijs van der Storm: Reviewer Software Practice & Experience

  • Tijs van der Storm: Science of Computer Programming

  • Mark Hills : Reviewing Software Practise & Experience

  • Mark Hills : Reviewing IET Software

  • Mark Hills : Program committee FMOODS

  • Paul Klint : Editor for Science of Computer Programming

  • Paul Klint : Editor for Springer Service Science Book Series

  • Paul Klint : Visiting Professor University of London, Royal Holloway

  • Paul Klint : Treasurer European Association for Programming Languages and Systems (EAPLS)

  • Paul Klint : Steering committee member ETAPS

  • Paul Klint : Board member Instituut voor Programmatuur en Architectuur (IPA)

  • Paul Klint : External advisor PlanComps project (UK)

  • Paul Klint : Full Professor at UvA, Software Engineering Chair

  • Paul Klint : Director Master Software Engineering, UvA

  • Paul Klint : Treasurer European Association for Programming Languages and Systems (EAPLS)

  • Paul Klint : Steering committee member ETAPS

  • Paul Klint : Board member Instituut voor Programmatuur en Architectuur (IPA)

  • Paul Klint : Program committee SLE

  • Jurgen Vinju : Head of CWI Research group Software Analysis and Transformation (SEN1)

  • Jurgen Vinju : Program committee ICMT

  • Jurgen Vinju : Program committee CC

  • Jurgen Vinju : Program committee SCAM

  • Jurgen Vinju : Steering committee SCAM

  • Jurgen Vinju : Steering committee SLE

  • Jurgen Vinju : Co-organizer workshop SL(E)BOKSLE

  • Jurgen Vinju : Member Working Council (CWI)

  • Jurgen Vinju : Workshop selection chair SLE

  • Jurgen Vinju : Reviewing Journal of Software Maintenance and Evolution: Research and Practice

  • Jurgen Vinju : Reviewing Transactions on Software Engineering (TSE)

  • Jurgen Vinju : Reviewer Journal on Empirical Software Engineering (EMSE)

  • Jurgen Vinju : Reviewer Science of Computer Programming (SCP)

  • Jurgen Vinju : Member meetings between Inria & CWI management, Paris and Amsterdam.

  • Vadim Zaytsev: Program committee LDTA

  • Vadim Zaytsev: Program committee SCAM

  • Vadim Zaytsev: Program committee SQM

  • Vadim Zaytsev: Program committee Wikimedia Conference Netherlands

  • Vadim Zaytsev: Reviewer Science of Computer Programming (SCP)

  • Vadim Zaytsev: Reviewer Journal on Empirical Software Engineering (EMSE)

  • Vadim Zaytsev: Reviewer IET Software

  • Vadim Zaytsev: Program chair Wikimedia Conference Netherlands (WCN)

  • Vadim Zaytsev: Social media chair SoTeSoLa

  • Vadim Zaytsev: Hackathon coordinator SoTeSoLa

  • Vadim Zaytsev: Colloquium organiser of Programming Environment Meetings (PEM)



previous Previous | up Home | Next next