He received PhD degrees from Cornell University and the University of Minnesota in Logic and Computer Science respectively. He worked at Honeywell’s Research Laboratory and the Military Avionics Division before joining GMU in 1999.