Gerda Janssens

hoogleraar
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

        integration of logic programming techniques in the knowledge representation language FO(.)
        performant probabilistic ILP Data Mining Systems such as ProbLog          
        program analysis and abstract interpretation
        optimization techniques for logic-based systems
        verification of functional equivalence of C programs

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 2015?? Geef me dan een seintje!!!
      



    G0Q45  Declaratieve Talen
            Syllabus
            Informatie akademiejaar 2014-2015 via Toledo

    H04H5  Studie van declaratieve talen
            Syllabus
            Informatie akademiejaar 2014-2015 via Toledo 
            (het volledige uurrooster vind je via het vak H0N03  Declarative Languages)

    H0N03  Declarative Languages
            Syllabus
            Information academic year 2014-2015 available in Toledo

    H02A3  Programming Languages and Programming Methodologies
           Syllabus
           Information academic year 2014-2015

    H02A8  Advanced Programming Languages for AI
           Syllabus
           Information academic year 2014-2015 available in Toledo


information about the Student license for SICStus Prolog

current  specifications for the ACE-ilProlog distribution



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