About
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.
Contact me: afifi at djihed dot com.
Besides studies, I work on:
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.