Djihed is my name. I’m algerian from Annaba. I have received an MEng in Computer Science and I am currently studying for a PhD at the University of Manchester , in Formal Methods. If you’re into verification, temporal logic, computation and especially evolvable systems then I’d love to hear from you.
I’m married to a wonderful wife.

Contact me: afifi at djihed dot com.

Besides studies, I work on:

• Arabic OpenCD
• Minbar
• Gnome
• Technical Dictionary

Some patches I wrote for various software. Mostly to fix Arabic support and miscellaneous stuff.

This website is powered by WordPress. The base code of the theme is wp-andreas09.