People
UCLID is a joint CMU – UC Berkeley project. The first version of UCLID was developed in Carnegie-Mellon University by Randal Bryant, Sanjit Seshia (now at UC Berkeley) and Shuvendu K. Lahiri (now at Microsoft Research).
Read more about this topic: Uclid
Famous quotes containing the word people:
“I was disappointed in Niagara—most people must be disappointed in Niagara. Every American bride is taken there, and the sight of the stupendous waterfall must be one of the earliest, if not the keenest, disappointments in American married life.”
—Oscar Wilde (1854–1900)
“Hollywood keeps before its child audiences a string of glorified young heroes, everyone of whom is an unhesitating and violent Anarchist. His one answer to everything that annoys him or disparages his country or his parents or his young lady or his personal code of manly conduct is to give the offender a “sock” in the jaw.... My observation leads me to believe that it is not the virtuous people who are good at socking jaws.”
—George Bernard Shaw (1856–1950)
“There are people who want to make men’s lives more difficult for no other reason than the chance it provides them afterwards to offer their prescription for alleviating life—their Christianity, for instance.”
—Friedrich Nietzsche (1844–1900)