(SML3015,SML3030) Dissertation