Differences

This shows you the differences between two versions of the page.

--- people [2010/07/28 10:59] – ephilips
+++ people [2010/07/31 15:38] – * stijnm
@@ Line 52: / Line 52: @@
 My research intends to provide abstractions that bind a number of services residing on different mobile devices into coherent entities. Programmers can then use these abstractions to communicate with groups of services as easily as with single services.
 =====
 == Stijn Mostinckx ==
-[[http://soft.vub.ac.be/~smostinc|Homepage]]
-The goal of my research is the development of elegant programming models which allow applications to respond to dynamic changes in their environment. As a means to detect such changes, we explore the [[crime:factspaces|Fact Space Model]], which provides a means to reason about one's current context.
+In the past, I have contributed to the formulation of the ambient-oriented programming paradigm and have co-designed the current incarnation of AmbientTalk.  Currently, my research focus is the study of elegant mechanisms to allow applications to respond to dynamic changes in their environment.
+A first element of the solution I propose is the use of pattern matching rules to succinctly describe which changes to the environment are relevant.  Applying such rules over a [[crime:factspaces|federated fact space]] -- which transparently combines the information provided by all reachable devices -- proves to be a declarative means to coordinate and contextualize the behavior of distributed applications.
+The second element of the proposed solution is the use of [[research:rp|reactive programming]]: a programming model centered on the use of time-varying //reactive values//. Their unique //contagion// semantics allow building event-driven software without any event handlers, thus avoiding the problems engendered by inversion of control.
-My ongoing research investigates which abstractions can be used to handle the events produced by an implementation of the fact space model. An interesting path that I am currently exploring is the use of [[research:recap|reactive context-aware programming]].
+The approach that combines and integrates these elements is the  [[research:recap|reactive context-aware programming]] paradigm, an extension of the ambient-oriented programming paradigm which is tailored for the Internet of Things.