Transcript Palle Raabjerg

Palle Raabjerg
Curriculum Vitae
PERSONUPPGIFTER
Adress
Tlf
E-post
LinkedIn
Spr˚
ak
Vildrosgatan 10, 75324 Uppsala
076 - 7777 241
[email protected]
https://www.linkedin.com/pub/palle-raabjerg/2/5a1/696
Danska (modersm˚
al)
Engelska (flytande)
Svenska (professionellt)
INTRODUKTION
Jag ¨ar en noggrann, t˚
almodig och omt¨anksam person med ett ¨oga f¨or detaljer och god insikt i programmeringsspr˚
ak (b˚
ade teori och praktik) och mjukvaruarkitektur. Min utbildning
sp¨anner ¨over b˚
ada mjukvaruingenj¨
or och datavetenskap. F¨orutom en m¨angd av IT-f¨orm˚
agor
¨ar jag ocks˚
a ganska bekv¨am med mer abstrakta ¨amnen som matematik och till¨ampad logik.
Jag har erfarenhet av sm˚
a och st¨
orre mjukvaruprojekt, b˚
ade i samband med min forskarutbildning men ¨aven som ett fritidsintresse. Jag har arbetat b˚
ade i team om 3-7 personer men
¨aven ensam.
Jag ¨ar just nu provanst¨alld som mjukvaru-utvecklare p˚
a Consilium (http://consilium.
se).
UTBILDNING
Licentiat, Datavetenskap
Uppsala universitet
2009-2012
Min licentiatavhandling handlar om utvidgning av ett formellt modelspr˚
aks-ramverk (Psi-calculi)
genom anv¨andning av Isabelle, en s˚
a kallad bevisassistent, eller proof assistant (“sats-bevisare”?).
Jag har varit med till att utvidga Isabelle med nya taktikker, och att skrive och modifiera stora
bevis-biblioteker till Psi-calculi ramverket.
MSc. Datavetenskap
Aalborg universitet
2007-2009
Min masteravhandling handlar om metoder f¨or att verifiera kryptografiska protokoll. Mera specifikt har jag forskat i metoder f¨
or verifiering av autenticitet i kommunikationsprotokoll, genom
anv¨andning av Spi-calculi och typ/effekt-systemer. Min masteravhandling handlar om problemer
med typinferens i ett s˚
adant system.
BSc. Mjukvaruingenj¨
or
Aalborg universitet
2004-2007
Aalborg Universitet har ett speciellt fokus p˚
a att l˚
ata deras studenter jobba med projekt i grupper.
F¨
orutom att ta kurser i olika aspekter av mjukvaru/program-teknik och datavetenskap, har jag
¨agnat mycket av min tid d¨ar med att samarbeta i projektgrupper och utveckla ett stort projekt
med rapport varje termin. P˚
a det s¨attet har jag f˚
att en bra m¨angd erfarenhet att jobba med
teams av 3-7 personer.
YRKESERFARENHET
Doktorandtj¨
anst
Uppsala universitet
2009-2014
Jag har varit anst¨alld som doktorand sedan 2009. I min forskning har jag jobbat mycket med
Isabelle-bevisassistenten. P˚
a den praktiska sidan var jag systemadministrat¨
or p˚
a den servern
vi anv¨ander f¨
or bevis-koll och andra tunga ber¨akningar. Jag har haft kurser i bland annat
till¨ampad logik, datorarkitektur, m¨anniska-dator interaktion och learning automata. Jag har
varit hj¨
alpl¨
arare p˚
a flera kurser, inklusiv en webbkonstruktions-kurs (med nyliga versioner av
HTML, CSS, JavaScript, osv), objekt-orienterad programmering och test-driven utveckling. Jag
har ocks˚
a varit l¨
arare p˚
a programmerings-sektionen av en IT-introduktionskurs med Python
som det prim¨ara spr˚
aket.
¨
¨
SJALVST
ANDIGA
PROJEKT
F¨orutom doktorand-tj¨ansten har jag jobbat p˚
a n˚
agra projekt utanf¨or tj¨ansten. Det senaste
och mest intressanta projektet ¨ar SlyPress, ett nytt ramverk f¨
or att utveckla digitala
presentationer. Det blev utvecklat mestadels i min fritid, och jag r˚
akade anv¨
anda det
som mitt prim¨
ara presentationsverktyg i den ovann¨amnda IT-introduktionskursen. Det
funkade ocks˚
a bra under en presentation jag gjorde f¨or en l¨askurs om automatateori och
maskininl¨arning. Det blev utvecklat med Python och JavaScript/jQuery, och anv¨ander ett
s¨arskild XML-format till presentations-strukturen. Tanken ¨ar att animationsgr¨anssnittet ska
vara mer anv¨andbart ¨an vad man hittar i andra popul¨ara verktyg (PowerPoint, KeyNote,
Beamer), och f¨
or att det ¨ar baserad p˚
a webbteknologi, har det visat sig vara flexibelt med
h¨ansyn till att integrera webb-baserade visualiseringsverktyg och plugins. Koden ¨ar just nu
publicerad p˚
a https://github.com/praabjerg/SlyPress. Jag demonstrerar g¨arna verktyget vid intresse!
¨
FARDIGHETER
& ERFARENHET
• Jag har varit i kontakt med m˚
anga programmeringsspr˚
ak ¨over ˚
aren.
• Jag har en bra k¨
ansla f¨
or de flesta vanliga programmeringsspr˚
aks-paradigmer.
Jag tycker om att l¨ara mig nya spr˚
ak och har genom ˚
aren blivit r¨att bra p˚
a det.
• Spr˚
ak jag har jobbat mest med de senaste ˚
aren inkluderar Python, Standard ML,
Java, vissa webbkonstruktionsspr˚
ak (HTML, CSS, JavaScript, PHP), och andra
dom¨
an-specifika spr˚
ak (SQL, LATEX, Isar).
• Jag uppskattar s¨arskilt att hitta s¨
att att f˚
a program till att samverka med varandra
p˚
a f¨
ornuftiga s¨
att. Exempel p˚
a detta inkluderar utveckling av filformat-export scripts
i Blender, integrationen av flera visualiserings-plugins i mitt presentationsramverk, och
mitt nuvarande f¨
ors¨
ok att utveckla en LATEX till EPUB kompilator till vetenskapliga
papper.
• Jag har omfattande erfarenhet av att driva och underh˚
alla en m¨
angd av Linux
distributioner, b˚
ada som server- och desktop-system. Jag k¨anner mig mest hemma i
ett Linux system, men kan anpassa mig till andra Unix-liknande systemer.
• Jag ¨ar mycket bra p˚
a att skriva p˚
a engelska. Fr¨amst har jag skrivit tekniska texter,
men som introduktionen till min licentiatavhandling visar (http://www.it.uu.se/
research/publications/lic/2012-008/), ¨ar jag ¨aven bra p˚
a att skriva icke-teknisk
engelska.
• Jag g¨
or ibland 3D-modeller, renderinger och animationer med Blender (http://blender.
org). Jag ¨ar d¨arf¨
or bekant med 3D-modellering, Blender, dess anv¨andargr¨anssnitt,
m˚
anga av dess verktyg, och speciellt dess scripting API.
¨
MOTIVATIONER & VARDEN
Jag bryr mig mycket om andra m¨anniskors v¨albefinnande. Jag ¨ar d¨arf¨or ofta ganska entusiastisk n¨ar jag jobbar med n˚
agot som jag k¨anner kan facilitera eller direkt f¨orb¨attra andra
m¨anniskors liv och arbetsfl¨
ode. Detta kan inkludera allt fr˚
an administrativt och supportarbete, till design, utveckling och underh˚
all av infrastruktur, arbetsverktyg och underh˚
allningsapplikationer,
till arbete med att f¨
orb¨attra folks f¨
orst˚
aelse av teknologi och vetenskap.
FRITIDSSYSSLOR
Jag ¨ar entusiastisk sock-stickare. Jag dansar ocks˚
a svensk folkdans och hj¨alper till ibland p˚
a
museij¨arnv¨agen Lennakatten.
Jag jobbar ocks˚
a ibland p˚
a programmeringsprojekt i min fritid, och bygger 3D-modeller
och scener i Blender.