Look, I can website, too!
Computer Scientist and Software Engineer in Cambridge, UK.
Ph.D. Student under supervision of Peter Sewell at the University of Cambridge.
Click here for contact information.
See my calendar for availability.
My CV contains information about my academic and industrial work,
or visit my GitHub page for information on any publicly available projects.
( (lambda EVE
,MYRRH,GOOSE
,TINSEL,MISTLETOE
,GINGER,CHIMNEY
,ELF,ELVES,
FRANKINCENSE,CARD,FROSTY,SNOWBALL
,SLEIGH,CLOVE,CLAUS,CANDY,KRIS,
SANTA,SAINT,PINE,SNOWMAN,HOLLY,MERRY
,SNOW,KRINGLE,TREE,:(lambda FROST
,:[(FROST)((((((((((((((((((((((((
('2'+'0')+'2')+'1')+((HOLLY)(CLAUS,))[9])+'M')+((HOLLY
)(GINGER,))[38])+((HOLLY)(GINGER,))[52])+((HOLLY)(GINGER
,))[14])+((HOLLY)(GINGER,))[1])+((HOLLY)(MYRRH,))[9
])+((HOLLY)(SAINT,))[14])+((HOLLY)(GINGER,))[28])+((HOLLY
)(SAINT,))[12])+((HOLLY)(FRANKINCENSE,))[15])+((HOLLY
)(KRINGLE,))[5])+((HOLLY)(CARD,))[11])+((HOLLY)(SNOWBALL
,))[19])+((HOLLY)(ELF,))[3])+((HOLLY)(KRINGLE,))[4])+((HOLLY
)(ELF,))[6])+'2')+'0')+'2')+'1'),),(FROST)((((((((((((
((((((((((((('2'+'0')+'2')+'1')+((HOLLY)(CHIMNEY,))[18]
)+((HOLLY)(GINGER,))[15])+((HOLLY)(SNOW,))[6])+((HOLLY
)(SNOWMAN,))[6])+((HOLLY)(GOOSE,))[18])+((HOLLY)(CHIMNEY,))[9])+((HOLLY)(SAINT
,))[10])+((HOLLY)(MISTLETOE,))[9])+((HOLLY)(CARD,))[3])+((HOLLY)(CLOVE,))[12])+((HOLLY
)(CANDY,))[21])+((HOLLY)(SAINT,))[13])+((HOLLY)(CANDY,))[18])+((HOLLY)(GINGER
,))[4])+((HOLLY)(CHIMNEY,))[18])+((HOLLY)(ELVES,))[9])+((HOLLY)(EVE,))[18
])+'2')+'0')+'2')+'1'),),(FROST)((((((((((((((((((((((((('2'+'0')+'2')+'1')+
((HOLLY)(FRANKINCENSE,))[18])+((HOLLY)(GINGER,))[36])+'H')+((HOLLY)(FROSTY,
))[9])+((HOLLY)(FROSTY,))[10])+((HOLLY)(FROSTY,))[10])+((HOLLY)(GINGER,))[
1])+((HOLLY)(MYRRH,))[9])+((HOLLY)(None,))[0])+((HOLLY)(TINSEL,))[2])+((
HOLLY)(KRIS,))[21])+((HOLLY)(MERRY,))[18])+'Y')+((HOLLY)(PINE,))[9])+((HOLLY)(TREE
,))[20])+((HOLLY)(TINSEL,))[12])+((HOLLY)(SLEIGH,))[9])+'2')+'0')+'2')+'1'),
),])(SANTA,))(all,chr,exec,exit,hash
,help,id,int,iter,len,list,map,max,
min,oct,open,ord,pow,print,quit,set,
slice,str,sum,super,tuple,vars,))