First name: TalDepartment / Field: Computer ScienceFaculty: ScienceTitle: Reasoning About Structured Stochastic Systems in Continuous- TimeSupervisor: Prof. N. FriedmanYear of Graduation: 2012