Hend Dawood

I am a teaching assistant of Computational Mathematics in the Department of Mathematics at Cairo University. My research interests are in the areas of proof theory, logical foundations of computation, automated deduction, interval mathematics and uncertain computing. I am especially interested in the axiomatic foundations of uncertain logic and... more »

I am a teaching assistant of Computational Mathematics in the Department of Mathematics at Cairo University. My research interests are in the areas of proof theory, logical foundations of computation, automated deduction, interval mathematics and uncertain computing. I am especially interested in the axiomatic foundations of uncertain logic and uncertain set theory. « less