Dikutal fangede Fritz Henglein til afskedreceptionen for Stig Skelboe, hvor han havde foden i gips efter en fodboldkamp med sine medprofessorer endte med en sprængt akillessene. Heldigvis er Fritz ikke så let at slå ud og krykker lod ikke til at være en hindring for hans normale gåpåmod og energi, hvilket selvfølgelig er to kvaliteter man har brug for, når man blandt andet skal kunne jonglere med langhårede emner som polymorfisk typeinferens og sorteringsteori.
Han har været omkring de datalogiske afdelinger i både München, New York og København du har næsten med sikkerhed haft undervisning af ham under dit studie her på DIKU, hvor han lige nu er den anvarlige for et stort forskningsprojekt (3gERP) med CBS og Microsoft om 'enterprise systems'.
Dikutal satte sig ned med den midlertidigt skadede professor for at finde ud af lidt mere om hans vej til DIKU:

Dikutal: Hvornår skrev du dit første "hello world"?

Fritz: Jeg havde ikke nogen computer selv i 1980, da jeg startede mit studie. På første året var der nogle på min årgang, som havde skrevet progammer på 'egne' små computere, såsom en Sinclair ZX80, men jeg var ikke en af dem. (Den slags penge havde jeg altså ikke, og i øvrigt var matematikundervisningen en del mere spændende og udfordrende det første år på studiet end datalogiundervisningen, syntes jeg dengang.)

Jeg brugte som de fleste andre TU Münchens mainframe til undervisningen. Programmeringen var på hulkort. Det første programmeringssprog, jeg lærte på TUM, var i øvrigt Algol 68.

I gymnasiet havde jeg stiftet kendskab til 'programmering' ved oktalprogrammering af numeriske beregninger med kort man skulle fyld ud med en rød pen. Man kunne ikke skrive et "hello world" program; det var rent numeriske programmer. Det der tiltrak mig til datalogistudiet var matematikken og det faktum at man kunne se den 'udført' (i modsætning til matematik selv, som den gang var en ren papir-og-blyant disciplin). At man kunne "regne" med tekst og andre ikke-numeriske datatyper, var en åbenbåring, jeg først fik på datalogistudiet på universitetet og som førte mig mere i retning af 'computer science': algoritmik og programmeringssprog, samt underbyggende fag såsom logik og abstrakt matematik. I øvrigt husker jeg hele konceptet om uafgørlighed og uafgørlighedsbeviset for standsningsproblemet som en anden åbenbaring.

Dikutal: Hvor har du så taget studiet og din forskning hen siden dengang? Det er næsten 30 år siden, og man programmerer ikke længere med kuglepen.
Fritz: Ligesom dengang er det der interesserer mig i dag også matematikken, men som der var en der påpegede overfor mig er datalogi som at arbejde med matematik, bare på en sjovere måde. Det jeg så har beskæftiget mig meget med, er at tænke på hvordan man kan indfange effektive algoritmer så de er nemme at genbruge og anvende i frameworks. Det er altså algoritmiske og semantiske egenskaber i programmeringssprog jeg kikker på for tiden, både det at analysere programmeringssprog og det at sikre sig, at når man skriver et program er det kompakt, hurtigt og korrekt. Det at arbejde på grænsen mellem algoritmik og programmeringssprog er det som interessere mig.
Noget andet jeg har arbejdet på, er at finde ud af hvad en sorteringsfunktion er, således at det kan afgøres om en procedure sorterer eller ej når man kører den. Det er nemt nok at afgøre hvis man får udleveret en orden, men hvis det udelukkende skal afgøres om en funktion sortere eller ej er det sværere.

Dikutal: Under din PhD-afhandling studerede og forskede du også på New York University, hvem var din bedste og værste professor?
Fritz: haha, jeg har heldigvis ikke haft nogle dårlige professorer i New York, men der var dog nogle meget spændende folk. Her mødte jeg min vejleder Bob Paige og der var datalogiske stereotyper lige fra meget klassiske teoretikere der lavede svær kombinatorisk datalogi til en super-hacker. Han byggede en ADA-parser da jeg var der for mange år siden, der kunne kværne en million linjer igennem på under et minut uden problemer, og jeg kan fortælle dig at det er en enestående opgave.

Dikutal: Hvad er så det bedste program du nogen sinde har skrevet?
Fritz: hmm, jeg synes jeg har to radikalt forskellige kandidater. Det første har taget mig adskillige år at skrive og er ret nyt. Det beskæftiger sig med generisk sortering i linær tid, og er et program hvortil du specificerer en sorteringsorden, hvorefter der genereres en linær-tids algoritme til denne sortering. Det som tog adskillige år, var at pakke det ned til noget meget kort, det er nemlig kun 100 linjers Haskell.
Det andet program som kunne tage prisen, tog i modsætning til Haskellprogrammet kun en uge at skrive, og er en fuldstændig COBOL parser på over 20.000 linjer SML-kode. Det var til et kommercielt projekt, hvor jeg selv og et par andre fra DIKU satte os ned en dag, uden at rejste os den næste uge, for at skrive denne parser. Jeg skrev parseren samtidig med, at min ph.d. -studerende den gang skrev lexeren. COBOL er et rigtig stort sprog, så da vores projekt blev fremvist hos IBM i Californien, spurgte de hvor vi havde købt eller skaffet denne COBOL-parser, for det viste sig at en sådan opgave normalt er for mange personer over et flere år. Da vi først fik spørgsmålet troede vi som langhårdede forskere at det var et trickspørgsmål, og netop den bedrift overbeviste dem også om at vi var gode til det vi lavede.

Dikutal: Begge programmer lyder imponerende, men hvis du nu ikke skulle være datalog hvad skulle du så være?
Fritz: Udover at være datalog er jeg faktisk også landmand. Jeg voksede op på en lille gård og ejer selv en nu på over 20 hektar som bl.a. har beskæftiget sig med hestepension og planteproduktion. Derudover har jeg en drikkevarehandel i Tyskland. Jeg er sammen med min bror ejer af den ældste (siden 1885) stadigvæk eksisterende drikkevarehandel af øl fra verdens ældste stadigvæk eksisterende bryggeri (Weihenstephan, siden 1040). Jeg kan skaffe bayerske øl, der virkelig er værd at drikke, og ikke kun Weihenstephan. Man kan næsten sige at mit arbejde her er en hobby og interesse ved siden af mine andre beskæftigelser, som jeg er glad for at blive betalt for.

----
Undervisning med Fritz:

Fritz udbyder et kandidatsommerkursus om "Types at work" (10.-21. august 2009) sammen med kollegaer på DTU og Microsoft Research, Cambridge (to uger i sommeren).
Derudover udbyder han et avanceret kandidatkursus om regulære udtryk i blok 4 (april-juni 2010),hvor man kan lære alt den teori, Perl-programmører skulle kende (men normalt ikke gør), og alt den praksis, sprog- og kompleksitetsteoretikere desværre hidtil ikke har beskæftiget sig så meget med. Og hvor Dexter Kozen fra Cornell University, verdens førende specialist i Kleene Algebras (den fornemme betegnelse for regulære udtryk, når de ikke kun bruges for tekststrenge), vil være medunderviser.