I am a CS grad with very high CGPA. Would u like discuss with me more details. I have experience with prolog , Lisp , Haskel etc. strongly typed and program verification, functional programming languages. Hope to help you much. Finally quality matters..............................................................................