About me:
I am a recently appointed Associate Professor.
At the moment, I am working on applying information-flow technology via libraries.
PC member for
Awards/Grants
Reviewer for
Conferences/Workshop :
ESSoS 2011 ,
TAIC 2010 ,
Haskell Symposium 2010 ,
ICFP 2010 ,
CSF 2010 ,
ESOP 2010 ,
FoSSaCS 2010 ,
ESOP 2010 ,
CIBSI 2009 ,
CSF 2009 ,
Bytecode 2009 ,
FAST 2008 ,
TGC 2008 ,
ESOP 2008 ,
ESOP 2007 ,
PLAS 2007 ,
APLAS 2006 , and
S & P 2006 .
Journals :
Transactions on Automatic Control (IEEE-TAC) ,
Information Processing Letters (IPL) , and
Journal of Computer Security (JCS) .
Teaching
Current Master Students
Juan Jose Conti (2010): A Taint Mode for Python via a Library.
(
More )
Graduated Master Students
Albert Disertholf (2009/2010): Providing Integrity Policies as a Library in Haskell.
(
More )
Ta-Chung Tsai (2007): Encoding Multithreaded Information Flow in Haskell.
(
More )
Teaching
Others