Hi, I'm a PhD researcher at the K.U.Leuven university in Belgium. Our research area is implementation, optimization and analysis of rule based programs (in particular CHR: a general overview can be found in http://www.cs.kuleuven.be/~dtai/projects/CHR/papers/draft_chr_survey.pdf). We were wondering whether you had any good proposals for student master's theses for next year?
Students work on their projects for a full year. Our areas of expertise include program analysis, optimized LEAPS-like compilation and termination analysis, but we should be capable of (co-)guiding students on most related topics. Any ideas/suggestions/... on interesting projects? Please answer before April 22 (sorry, should've sent this mail sooner...)! Cheers, Peter
begin:vcard fn:Peter Van Weert n:Van Weert;Peter org:K.U.Leuven;Computer Science adr:;;Celestijnenlaan 200A;Heverlee (Leuven);;3001;Belgium tel;work:003216327665 url:http://www.cs.kuleuven.be/~petervw/ version:2.1 end:vcard
