[home] [personal] [cv] [work]  mt  [links]
 title  [resources]

in june 2004 i wish to finish my master's degree study of computer science with major in artifical intelligence. the main research area for may thesis is:

  • semantics of dynamic logic programming
  • kripkean semantics aproach

for the winter term of 2003/2004 i am on a research stay at centria. here my research subject is to

  • compare the different existing aproaches to define semantics of dynamic logic programming

last update: 2003-11-20

my advisors are:

other students involved in a working group on this subject:

for project status information check out the project's seminar homepage [sk].

Valid XHTML 1.0! Valid CSS! RDF/XML Metadata