OpenSRANE
a thesis by
Bijan Sayyafzadeh