The primary focus of my research is the computer-aided verification and validation of computer systems, including concurrent and distributed systems; security, network and wireless protocols; software systems; biological systems; and safety-critical and embedded systems. Throughout my career I have been interested in both the computational complexity and algorithmica of verification, striving t...

Let x = {x1, . . . , xr}, y = {y1, . . . , yn}, z = {z1, . . . , zn} be three sets of indeterminates. We give the value of the determinant ∣ ∣ ∣ ∣ ∣ ∏ x∈x (xy − z) ∣ ∣ ∣ ∣ ∣ y∈y,z∈z when specializing y and z to the set of roots of yn − 1 and zn − ξn respectively. In the case where r = 2 and x = {1, 1} the determinant ∣ ∣(y− z) ∣ ∣ y∈y,z∈z factorizes into the determinant of the Cauchy matrix [(y...

We give an exposition of Delzant’s ideas extending the notion of Scott complexity of finitely generated groups to surjective homomorphisms from finitely presented groups.

The erythrocytes from a patient with Scott syndrome, a bleeding disorder characterized by an isolated defect in expression of platelet procoagulant activity, have been studied. When incubated with the calcium ionophore A23187, Scott syndrome red blood cells (RBCs) expressed less than 10% of the prothrombinase (enzyme complex of coagulation factors Va and Xa) activity of A23187-treated RBCs obta...

H. M. Scott, or Scotty to his friends, was born in 1901 in Lincoln, Nebraska. He received his B.S. degree in 1924 from Oregon State College, his M.S. in 1927 from Kansas State College, and his Ph.D. from the University of Illinois in 1938. He held faculty positions at North Dakota State College (1927–1928), Kansas State College (1928–1941), the University of Connecticut (1941–1947), and the Uni...

Throughout my teaching career I have taught courses at both the undergraduate and graduate levels. The undergraduate courses I have primarily offered are Database Systems, Operating Systems, and Undergraduate Concurrency. I am also the co-developer, along with Michael Kifer, of the OSP Operating System Project courseware for undergraduate Operating Systems. OSP has been used as the operating sy...

For every Scott set F and every nonrecursive set X in F , there is a Y ∈ F such that X and Y are Turing incomparable.

During her lifetime, an adult woman has a 50% chance of developing a urinary tract infection—one of the most common types of infections (1). Most urinary tract infections are caused by strains of the bacterium Escherichia coli, and, for the most part, are easily treated with antibiotics. However, many of these infections become chronic or recurrent because of increasing antibiotic resistance an...

The Scott syndrome is a very rare and likely underdiagnosed bleeding disorder associated with mutations in the gene encoding anoctamin-6. Platelets from Scott patients are impaired in various Ca2+-dependent responses, including phosphatidylserine exposure, integrin closure, intracellular protein cleavage, and cytoskeleton-dependent morphological changes. Given the central role of anoctamin-6 in...