About Aly A computer scientist, close to receive my Ph.D. The field I am interested in is to design algorithms/ machines/ methods to "intelligently" design other algorithms/ machines/ methods that work properly. In short, we are increasing machine intelligence using pure logic and through sound semantic models of computer programs. I had some experience as a software developer for embedded systems. My bachelors is in automatic control, maybe that is what brought me in between minds, machines and physical reality.

I have published a few papers in automated design of self-stabilization. Please visit my web page at: www.cs.mtu.edu/~anfaraha/

Aly's Gallery No Photos Uploaded Yet!Click here to see all of Aly's photos.

Aly's Friendlist

Aly hasn't added any friends yet.

Click here to see Aly's entire friendlist