Name:Ifaz Kabir

Affiliation:University of Alberta

Research interests:Programming Languages, Type Systems, Logic, Functional Programming, Compilers and Interpreters