Gerda Janssens

hoofddocent
Declarative Languages and Artificial Intelligence
Department of Computer Science
Katholieke Universiteit Leuven

Dept. of Computer Science
Celestijnenlaan 200A
B-3001 Leuven (Heverlee)
Belgium
016/327634


Research interests
        program analysis and abstract interpretation
        reuse for Mercury, region-based memory management for Mercury
        performant probabilistic ILP Data Mining Systems                
        implementations of logic programs (currently hipP and ProbLog)
       
        verification of functional equivalence of C programs
                               in the context of DTSE (Data Transfer and Storage Exploration) 

General Chair (together with Danny De Schreye) of the 14th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP2012 and of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR2012


Mede-organisator van De Vlaamse Programmeerwedstrijd 2009
Wil je meedoen aan de Vlaamseprogrammeerwedstrijd 2012?? Geef me dan een seintje!!!
      


    G0Q45  Declaratieve Talen
            Syllabus
            Informatie akademiejaar 2011-2012

    H04H5  Studie van declaratieve talen
            Syllabus
            Informatie akademiejaar 2011-2012

    H02A2  Logic as a Foundation for Artificial Intelligence
           Syllabus
           Information academic year 2011-20112

    H02A3  Programming Languages and Programming Methodologies
           Syllabus
           Information academic year 2011-2012

    H02A8  Advanced Programming Languages for AI
           Syllabus
           Information academic year 2011-2012

    The exercise session of the courses in the MAI program are announced in the on-line schedule of the program.

current  specifications for the ACE-ilProlog distribution


I am involved in the planning and organisation of the didactical work of the department  btw .