Jim Horning

Jim Horning

James J. "Jim" Horning is an American computer scientist and ACM Fellow.

Jim Horning received a PhD in computer science from Stanford University in 1969 for a thesis entitled "A Study of Grammatical Inference." He was a founding member, and later Chairman, of the "Computer Systems Research Group" at the University of Toronto, Canada (1969–1977). He was then a Research Fellow at the Xerox Palo Alto Research Center (PARC, 1977–1984) and a founding member and Senior Consultant at DEC Systems Research Center (DEC/SRC, 1984–1996). He was founder and director of STAR Lab (1997–2001) at InterTrust Technologies Corp. Horning is currently Chief Scientist of the Information Systems Security Operation of SPARTA, Inc.

Horning's interests include programming languages, programming methodology, specification, formal methods, digital rights management and computer/network security. A major contribution was his involvement with the Larch approach to formal specification with John Guttag (MIT) "et al."

elected publications

* "Larch: Languages and Tools for Formal Specification", Springer-Verlag (1993). ISBN 0387940065
* "A Compiler Generator", Prentice Hall (1970). ISBN 0-13-155077-2.
* Peter Denning, Jim Horning, David Parnas, and Lauren Weinstein, "Wikipedia risks", "Communications of the ACM" 48(12):152, December 2005. doi|10.1145/1101779.1101804

External links

* [http://www.horning.net/ Home page]
* [http://home.comcast.net/~jhorning4/cv.html Curriculum Vitae]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Jim Ross — James William Ross Jim Ross en 2007. Données générales Nom complet James William Ross …   Wikipédia en Français

  • Modula-3 — Paradigm(s) imperative, structured, modular Appeared in 1980s Designed by DEC and Olivetti …   Wikipedia

  • simple — 01. We had a [simple] meal of soup and a sandwich. 02. The arithmetic test was really [simple], and everyone passed. 03. He looks a bit [simple], but he s actually very smart. 04. He tried to explain what happened in [simple] English. 05. The …   Grammatical examples in English

  • Academy Award for Best Art Direction — The Academy Awards are the oldest awards ceremony for achievements in motion pictures. The Academy Award for Best Art Direction recognizes achievement in art direction on a film. The films below are listed with their production year, so the Oscar …   Wikipedia

  • Oscar de la meilleure direction artistique — L’Oscar de la meilleure direction artistique (en anglais, Academy Award for Best Art Direction) est une récompense cinématographique américaine décernée chaque année, depuis 1929 par l’Academy of Motion Picture Arts and Sciences (AMPAS), laquelle …   Wikipédia en Français

  • Oscar des meilleurs décors — Oscar de la meilleure direction artistique L Oscar de la meilleure direction artistique (en anglais, Academy Award for Best Art Direction) est une récompense cinématographique américaine décernée chaque année, depuis 1929 par l Academy of Motion… …   Wikipédia en Français

  • Oscars de la meilleure direction artistique — Oscar de la meilleure direction artistique L Oscar de la meilleure direction artistique (en anglais, Academy Award for Best Art Direction) est une récompense cinématographique américaine décernée chaque année, depuis 1929 par l Academy of Motion… …   Wikipédia en Français

  • Oscar/Beste Ausstattung — Mit dem Oscar für das beste Szenenbild werden die Szenenbildner eines Films geehrt. Diese Kategorie existiert seit 1928 und heißt im Original „Best Art Direction“. Sie hätte eigentlich nach 1939 (erstmalige Betitelung von William Cameron Menzies… …   Deutsch Wikipedia

  • Oscar/Bestes Szenenbild — Mit dem Oscar für das beste Szenenbild werden die Szenenbildner eines Films geehrt. Diese Kategorie existiert seit 1928 und heißt im Original „Best Art Direction“. Sie hätte eigentlich nach 1939 (erstmalige Betitelung von William Cameron Menzies… …   Deutsch Wikipedia

  • Oscars/Ausstattung — Mit dem Oscar für das beste Szenenbild werden die Szenenbildner eines Films geehrt. Diese Kategorie existiert seit 1928 und heißt im Original „Best Art Direction“. Sie hätte eigentlich nach 1939 (erstmalige Betitelung von William Cameron Menzies… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”