I am a postdoctoral fellow at the Department of Computer Science at the University of Toronto, working with Prof. Marsha Chechik

I completed my Ph.D. in Computer Science under the supervision of Prof. Shmuel Katz at the Department of Computer Science, Technion, Israel. My dissertation was on  "Compositional Verification of Events and Responses".

I have studied at the Department of Computer Science, Universidad de Buenos Aires, Argentina where I have obtained a Licentiate in Computer Science degree. My thesis was titled "The equivalence between FO(IFP) and the class B" under the supervision of Rafael Grimson and Guillermo Martínez.

Research interests:

  • Formal methods
  • Software verification
  • Compositional analysis
  • Software Product Lines
  • Aspect-oriented programming
Contact information:
cdisenfeld -at- cs.toronto.edu
1 by 1