I'am an endowed professor at the University of Texas,
Austin, USA. Also a laptop or computer scientist. In 1999, received the ACM
Stockgolm Concept and Practice Award for Symbolic Product Checking.
Numerous of the ideas I explored are utilised for #links#. In 1975, he received his BSc diploma in mathematics from the University of Texas, Austin. He also has attained a PhD in applied mathematics from Harvard College in 1984. In the 1980s operating with Edmund M. Clarke, he invented the computation tree logic. My websites: Spy ware Intrusion And Safety Measures