Clark School Home UMD

ISR News Story

Douglas Smith is Fall 2003 Distinguished Lecturer


Douglas Smith of the Kestrel Institute spoke about high-performance planners and schedulers on Oct. 20 as the first ISR Distinguished Lecturer of the 2003 fall semester.

Dr. Douglas Smith has been with the Kestrel Institute since August 1984. He has taught a graduate course on “Software Development by Refinement” at Stanford University since 1986. He received his Ph.D. degree in Computer Science from Duke University in 1979. Prior to joining Kestrel he held academic positions at the Naval Postgraduate School and managed the basic research program in Artificial Intelligence at the Office of Naval Research in Arlington, Va. Dr. Smith is a Fellow of the American Association of Artificial Intelligence (AAAI). He was Chairman of IFIP Working Group 2.1 on Algorithmic Languages and Calculi from 1993 through 1999.

Dr. Smith’s main research interest has been formalizing and mechanizing software development. Related interests include algorithm design, automated deduction, program optimization, data structure design, computational complexity, models of software systems and their design and evolution, and inductive inference. He is principally responsible for the development of KIDS (Kestrel Interactive Development System), a state-of-the-art formal software development environment. KIDS has been used to develop algorithms for problems from a wide range of application domains including scheduling, mathematical programming, combinatorial design, sorting and searching, pattern matching, computational geometry, VLSI routing, and air traffic control.

| View the PDF flyer from the lecture |

November 6, 2003


Prev   Next

 

 

Current Headlines

Can Cascading Pools Help Restore the Chesapeake Bay?

Maryland students place third in autonomous drone race

Bhattacharyya awarded NIH Grant to Explore Real-time Neural Decoding for Calcium Imaging

UMD Transportation Experts Awarded $1 Million DOE Grant to Reduce Transportation Energy Use and Emissions

With Engineering Projects, UMD Students Seek to Boost Education Access, Public Health, and Sustainability

Maryland Robotics Center students participate in FAA STEM outreach event

Shoukry, Krishnaprasad receive NSF grant for resilient-by-cognition cyber-physical systems

Maryland Robotics Center sponsors grad student project on robotics in farming

UMD researchers awarded $1M NSF grant to develop new methods to generate single photons for quantum research

NSF funds Shamma, Espy-Wilson for neuromorphic and data-driven speech segregation research

News Resources

Return to Newsroom

Search News

Archived News

Events Resources

Events Calendar