Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Catholijn M. Jonker

Original record
Institution
Universiteit Utrecht
Year
1994
Country
Netherlands
MGP identifier
74781

Dissertation: Constraints and Negations in Logic Programming

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisors 2

Students 26

NameInstitutionYearStudents
Tim BaarslagTechnische Universiteit Delft20140
Tibor BosseVrije Universiteit Amsterdam200511
Alin Gavril ChițuTechnische Universiteit Delft20100
Christian Alexander DetweilerTechnische Universiteit Delft20160
Wieke de VriesUniversiteit Utrecht20020
Mark HoogendoornVrije Universiteit Amsterdam200714
Matthew James JohnsonTechnische Universiteit Delft20140
Thomas Christopher KingTechnische Universiteit Delft20160
Vincent Jaco KoemanTechnische Universiteit Delft20190
Ilir KolaTechnische Universiteit Delft20220
Iulia LefterTechnische Universiteit Delft20140
Xueliang LiTechnische Universiteit Delft20220
Rijk MercuurTechnische Universiteit Delft20210
Thomas Marinus MoerlandTechnische Universiteit Delft20210
Gleb PolevoyNot recorded—0
Alina PommeranzTechnische Universiteit Delft20120
Mirela Carmia PopaTechnische Universiteit Delft20130
Yangyang ShiTechnische Universiteit Delft20140
Dmytro TykhonovTechnische Universiteit Delft20100
Jasper S. van der WaaTechnische Universiteit Delft20220
Janneke Margriet van der ZwaanTechnische Universiteit Delft20140
Willem Leender van NordenTechnische Universiteit Delft20100
Tim (Dingeman) VerwaartTechnische Universiteit Delft20110
Wietske Marijn VisserTechnische Universiteit Delft20120
Changyun WeiTechnische Universiteit Delft20150
Wouter C. A. WijngaardsVrije Universiteit Amsterdam20020
Genealogy