Stanford EE Computer Systems Colloquium

4:15PM, Wednesday, June 6, 2012
Skilling Auditorium, Stanford Campus

Health Information Systems Technologies

Carl Hewitt
International Society for Inconsistency Robustness
About the talk:

The United States faces a severe health crises. Healthcare costs more and is less effective here than in many other nations. A large influx of baby boomers is entering Medicare that will place enormous stress on the system. In the population as a whole, inappropriate health life styles are engendering obesity, diabetes, cardiovascular disease, cancer, and other chronic ills.

Information systems technologies have the potential to help alleviate our health crises. Fortunately, there are significant capabilities in Silicon Valley that could be harnessed including at Stanford, VA Health System, other health providers, and high tech companies.

In this talk, I discuss how health information systems technologies can enhance current pilot efforts by providing means for recruitment, sustainability, and scalability.


The slides for this talk can be found at Some users have had problems viewing the site in Firefox, but appears to be accessible using IE, Chrome, and Safari.

About the speaker:

Carl Hewitt's doctoral dissertation included a design for Planner, the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. Planner was influential in the development of both logic programming and object-oriented programming. He is also known for his work on the Actor model of concurrent computation, which influenced the development of the Scheme programming language and the Π calculus, and served as a inspiration for several other programming languages. His publications also include contributions in the areas of open information systems, organizational and multi-agent systems, logic programming, concurrent programming languages, inconsistency robustness, and client-cloud computing. Hewitt's Erdős number is 3 (by two different co-authors).

His recent work related to this talk is "Formalizing common sense for scalable inconsistency robust information integration using Direct Logic™ Reasoning and the Actor Model" in Proceeding of Inconsistency Robustness 2011 and can be downloaded at

Contact information:

Carl Hewitt