My life with kidney failure

My life with NF1.

My life with hurricanes.

About the author: I am currently working on the Gulf Coast in the division of general pediatrics at the University of TexasMedical Branch (UTMB) in Galveston. In the 1970s I attended medical school at Louisiana State University in New Orleans. After that I went to UTMB for my general pediatrics residency. I practiced general pediatrics in Longview, Texas, for 32 years afterward. I served as pre...

My Life

Brucellosis with kidney failure.

Brucellosis is a multisystem disease that may present with a broad spectrum of clinical manifestations. The most frequent symptoms are constitutional symptoms. While involvement of the bones, joints, and liver is not rare, brucellosis may rarely involve the kidney. We present a case of brucellosis with hepatitis, pancytopenia, peripheral arthritis, and kidney failure.

My Life with an Automatic Theorem Prover

Sledgehammer integrates third-party automatic theorem provers in the proof assistant Isabelle/HOL. In the seven years since its first release in 2007, it has grown to become an essential part of most Isabelle users’ workflow. Although a lot of effort has gone into tuning the system, the main reason for Sledgehammer’s success is the impressive power of the external provers, especially E, SPASS, ...