Formal verification.
I am currently working on my PhD dissertation which will be about sequential consistency as a shared memory model and the verification thereof. The outline of the dissertation is (very crudely) as follows.
Trial version.

Ali Sezgin
SoC, UofU

Postal address
130 S. 900 E. Apt #307
Salt Lake City, 84102
UT, USA

Physical work address
Rm. 3163,
School of Computing,
University of Utah

Telephone:
Direct: (+1) (801) 581 4162
Fax: (+1) (801) ---

Email: _sezgin "funny a" cs.utah.edu°
(Against spamming)

Hot topics:

  • None for now.

 


Research Interests

Publications

Misc