(A Somewhat Outdated) Biographical Sketch:
I was born in St. Petersburg, Russia (formerly, Leningrad, USSR), and came to the United
States in 1990. In 1991 I entered the University of Texas at Austin.
I majored in Computer Sciences and Mathematics.
In 1994 I started working at the San Diego Site of the Hewlett-Packard Company. I worked on
software and firmware in color printers and multi-function peripherals. In the Fall of 1997 I started
graduate studies in the Computer Science
department at the University of Wisconsin at
Madison. I spent the academic year of 2000-2001 at IBM T.J. Watson Research
Center in Hawthorne, NY. While at IBM, I worked on datarace detection for
multithreaded Java applications with Jong-Deok Choi and Vivek Sarkar in the
Jalapeno optimizing compiler research group.
Recent Items of Note
On August 17th, 2006, I defended my thesis, entitled
"Refinement-based program
verification via three-valued-logic analysis".
In mid-October, I started working as Postdoctoral Researcher at
IBM T.J. Watson Research Center
in Hawthorne, NY.
Personal Notes
You will find research papers, entertaining links, tasteful jokes and interesting opinions on the
homepages of my parents, Vladimir Lifschitz
and Elena Lifschitz.
They teach at the University of Texas at Austin.
My interests outside of school include ice hockey, film photography (B&W and slide),
and Celtic music.
Here you will find
links related to my work and hobbies together with some links of general interest.
