Skip to content

Emanuele D'Osualdo

  • PhD Student
  • University of Oxford University College Oxford
  • 6Followers
  • 8Following

Research interests

Declarative ProgrammingProcess AlgebraAbstract InterpretationModel CheckingSemantics

Followers (6)

Following (8)

Explore network

Professional experience

PhD Student

Oxford University

October 2010 - Present

Scholar

Università degli Studi di Siena - University of Siena

April 2010 - July 2010(3 months)

Education history

MSc in Computer Science

Università di Udine - University of Udine

October 2007 - March 2010(2 years)

MSc Erasmus Student

Istanbul Bilgi University

October 2007 - March 2008(5 months)

BSc in Computer Science

Università di Udine - University of Udine

October 2004 - October 2007(3 years)