Formal Methods Research Group, SU

People in the Formal Methods Group:

• Dr. Shiu-Kai Chin, skchin@syr.edu
• Dr. Susan Older, sueo@ecs.syr.edu
• Dr. Nazanin Mansouri

• Dr. Edward Stabler, stabler@ecs.syr.edu
• Dr. Lockwood Morris, lockwood@ecs.syr.edu

• Anand Chavan
• Jang Dae Kim (Kim)
• Polar Humenn, polar@syr.edu
• Byoungwoo Min (Min), bmin@cat.syr.edu
• Thumrongsak Kosiyatrakul (Tan), tkosiyat@mailbox.syr.edu
• Joncheng Kuo, ckuo01@syr.edu
• Mary Margaret Ong (Margie), mmong@syr.edu
• Diana Ryan, dlryan@mailbox.syr.edu

• Dr. Dan Zhou,Assistant Professor, Florida Atlantic University, dan@cse.fau.edu
• Dr. Milica Barjaktarovic, Wilkes University, milica@cat.syr.edu
• Dr. Camille Batarekh, IBM
• Dr. Damir Jamsek, Odyssey Research Associates, damir@oracorp.com
• Dr. Shahid Ikram , CASE Center, Syracuse University, sikram@cat.syr.edu
• Dr. Jose' Augusto Lima, University of Minho (DI), Portugal, jal@di.uminho.pt
• Dr. Juin-Yeu Lu, National Semiconductor, jlu@berlioz.nsc.com
• Dr. Lt. Col. Donna Peterson, USAF Academy, PetersonDE%DFEE%USAFA@dfmail.usafa.af.mil

  ---

  Home