Mahmood Ali is a Master student at MIT. His primary focus is pluggable type systems and type inference.