Research Bytes II

Professors Stanley Selkow, Daniel Dougherty, Kathi Fisler, Micha Hofri, and Gary Pollice
Professors C.S. Dept., WPI

September 26, 2003
11 a.m. - 12 noon
Fuller Labs 320

Abstract

Professors Stanley Selkow, Daniel Dougherty, Kathi Fisler, Micha Hofri, and Gary Pollice will be giving 15 minutes presentations of their research areas. Everyone is invited to learn more about each professor's research area and the problems they are currently working on. Below are brief descriptions:

Professor Selkow:: The Stable Marriage Problem: Given sets of Men and Women of equal cardinality and each person's total order of preferences over all people of the other gender, we seek "a stable marriage". That is, we seek a pairing of men and women such that no man and woman who are not paired with each other actually prefer each other to their partners in the pairing.
Professor Dougherty:: Epistemic Logic: Epistemic logic --- the logic of knowledge --- has been studied by philosophers for centuries. More recently, researchers in fields such as economics, linguistics, and computer science have become interested in reasoning about knowledge. Typical computer science applications are in artificial intelligence, models of concurrency, and the design and verification of distributed algorithms and protocols.; I am interested in automated deduction in various formal epistemic logics, and the use of such logics in the design and analysis of security protocols.
Professor Fisler:: Feature-oriented verification
Professor Pollice:: Testing Aspect-Oriented Programs: Aspect-Oriented Programming (AOP) presents possibly a new paradigm for composing systems. The ideas behind AOP have been around for several years, but there are new advances that support writing aspect-oriented programs in commonly used languages such as Java.; This presentation includes a two-minute introduction to AOP, describes some of the research areas, and poses some open questions that arise when trying to test AOP systems.

Refreshments will be served.

Maintained by webmaster@wpi.edu
Last modified: Sep 27, 2006, 16:05 EDT