1976-77 University of Kansas General Research Grant 3802-2038, $2,867.
1981-1988 Several travel grants from SNF, including conference participation in Europe, the United States, USSR, and China.
1985 130,000 Dkr. per year for three years, from SNF's FTU-program (Research and Technical Development) for travel and part-time programmer help.
1989 2,000,000 Dkr. over three years for Esprit Basic Research Action ``Semantique".
1991 2,600,000 Dkr. per year for three years, joint with Aarhus University and Aalborg University for SNF-supported DART Project.
1992 180,000 Dkr. from Esprit over four years: continuation of Semantique as working group.
1994 65,000 Dkr. per year for 3 years for Esprit project Atlantique for joint US-European collaboration.
1,040,000 Dkr. per year for 2 years as DIKUs part of DART.
1996 2,700,000 Dkr. per year (DIKUs part about 2,000,000 Dkr.) for 3 years for DART project, joint with Aarhus University, the Royal Veterinary and Agricultural University, and the University of Roskilde.
1998 15,600 ECU for Esprit Working Group ``AppSem" (Applied Semantics).
1999 580,000 Dkr. for 1 year for PEKIS project (industrial applications of partial evaluation).
2000 450,000 Dkr. per year for 3 years for PLT project (Programming Language Technologies), joint with IT-University Copenhagen.
2000 2,000,000 Euro (DIKUs part about 70,000 Euro per year) over 2 years for DAEDALUS European Union IST RTD project, joint with 9 partners in France, Germany and Israel (project leader Aerospatiale Airbus Matra, scientific leader Patrick Cousot).
2030 24,000 ECU for Esprit Working Group ``AppSem-2" (Applied Semantics).
2003 210,000 Dkr. per year for 3 years for PLI project (Programs, Logics and Implementations).