链接：
Grundmaterial för en mer detaljerad projektbeskrivning：en stipendieansökan。
Ansökan om stipendium frán Knut och Alice Wallenbergs Stiftelse，Jubileumsanslaget 2007年
Sedan 1995är jag anställd vid institutionen för Data-och Informationsteknik páChalmers Tekniska Högskola，第一辆som doktorand，第2000辆轿车，第2005辆som forkarasistent och。Jag ansöker härmed om stipendium frán Knut och Alice Wallenbergs Stiftelse，Jubileumsanslaget 2007年福勒阿特贝索卡波茨坦学院(PIK公司)2007年11月，Tyskland sista veckan i。
Min forskingsgrupps huvudsakliga verksamhetär funktoonell编程vilketärett växande omráde inom程序varutekniken med viktiga tillämpnigar inom telekom-och finans-sektorerna。Det lángsiktiga máletär att utveckla system（teorier，sprák，bibliotek och verktyg）som gör Det lät att utvescklaáteranvändbara programmeru组件tillsammans med korrekthetsgaratier。
Mitt为utveckla exekverara，överblickbara högnivámodeller för komplexa系统的编织程序手柄。Vi har hittills mest fokuserat páatt modellera komplexa system inom dataomrádet（logiska ramverk，lingvistik，programsprák，hárdvara）men i samarbettet med PIK har Vi börjat arbeta med kompleza system i interakionen mellan klimat，ekonomi och samhälle。fleraár arberate med simuleringar av komplexa系统下的PIK har，senareár-börjat använda funktitonell编程下的och har，som ett verktyg för att实验者med och kommunicera de högnivo modeller som behövs r att-verblicka komlexa系统。Dessa högnivámodelleröversätts senare i flera steg till effktiv程序kod som klarar att köra tunga simuleringar inom rimlig tid。（Dessa simuleringar ger undergrang until politiska beslut inom klimatomrádet.）PIK tog kontakt med Chalmers för att fördjupa sin kompetens inom högnivo建模med hjälp av moderna程序sprák（som Haskell och C++）och vihar under a ret som gátt shaft flera kontakter och arbeta fram en gemensam ansökan om EU-medel。
För att kunna besöka PIK och páplats utveckla kontakterna med de närmast in blandade forskarna samt För at t t t a fram en plan Fér fortsatt samarbete ansöker jag om resebirag Fór en resa to Potsdag tisdag 071127 to fredag 071130 För-mig och en doktorand（Jean-Philippe Bernardy）。
...
Beviljades med kostnaderna för Patrik Jansson i samband med resan：6500克朗。（Doktorander finaniseras ej通过denna fond。）
