Salman Pervez

email: spervez at cs dot utah dot edu

tel: (309) 838 – 5266

Research interests: formal verification. Currently a member of Gauss group in the School of Computing at University of Utah.