Differences

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

--- people [2010/07/27 17:14] – kpinte
+++ people [2015/02/04 18:49] – elisag
@@ Line 12: / Line 12: @@
 As usual, the professor is not the one doing the real work. Please read on for more details on our research. It has received international recognition by the fact that Wolfgang has won the [[ http://www.aito.org/Dahl-Nygaard/2008.html | Dahl-Nygaard Award]] in 2008.
 =====
-== Elisa Gonzalez Boix==
+== Prof. dr. Elisa Gonzalez Boix==
-[[http://soft.vub.ac.be/~egonzale|Homepage]]
+[[http://soft.vub.ac.be/~egonzale| Homepage]]
+My PhD research focused on investigating programming language support to deal with the effects engendered by partial failures in mobile ad hoc networks (MANETs). In MANETs many partial failures are the result of temporary network partitions due to the intermittent connectivity of mobile devices. Some of these failures will be permanent and require application-level failure handling. However, it is impossible to distinguish a permanent from a transient failure. Leasing provides a solution to this problem based on the temporal restriction of resources.
-My research focuses on investigating programming language support to deal with the effects engendered by partial failures in mobile ad hoc networks (MANETs). In MANETs many partial failures are the result of temporary network partitions due to the intermittent connectivity of mobile devices. Some of these failures will be permanent and require application-level failure handling. However, it is impossible to distinguish a permanent from a transient failure. Leasing provides a solution to this problem based on the temporal restriction of resources.
+This research identified a number of criteria for a leasing model specially designed for MANETs and proposes the //leased object references// model which exhibits such criteria. Leased object references combine leasing with asynchronous communication into one coherent language abstraction that deals with both transient and permanent disconnections. We explored a language approach where dedicated language support is provided such that low-level leasing management concerns (e.g. lease renewal) can be abstracted away, and enables both lease holders (clients) and lease grantors (services) to deal with permanent failures.
-This research identifies a number of criteria for a leasing model specially designed for MANETs and proposes the //leased object references// model which exhibits such criteria. Leased object references combine leasing with asynchronous communication into one coherent language abstraction that deals with both transient and permanent disconnections. We explore a language approach where dedicated language support is provided such that low-level leasing management concerns (e.g. lease renewal) can be abstracted away, and enables both lease holders (clients) and lease grantors (services) to deal with permanent failures.
-For further information about my work please visit my [[http://soft.vub.ac.be/~egonzale/wiki/doku.php?id=research|research page]].
 =====
-== Andoni Lombide Carreton ==
+== dr. Andoni Lombide Carreton ==
 [[http://soft.vub.ac.be/~alombide|Homepage]]
@@ Line 31: / Line 33: @@
 This poses a problem when we look at the new generation of disposable processing hardware, such as RFID tags. Ubiquitous applications will not only consist of peer-to-peer interactions, but will have to deal with clouds of volatile information disseminated in the network by omnipresent devices such as RFID tags or sensors.
-I am currently looking into programming abstractions that allow to specify which events to capture by distributed application components in a mobile ad hoc network. Furthermore, I am trying to come up with mechanisms that allow reacting to these events without relying on event handlers or other callback mechanisms. Finally, low level events should be processed (e.g. by combining them) such that they are on the semantic level of the application.
+In my Phd, I investigated programming abstractions that allow to specify which events to capture by distributed application components in a mobile ad hoc network. Furthermore, I am trying to come up with mechanisms that allow reacting to these events without relying on event handlers or other callback mechanisms. Finally, low level events should be processed (e.g. by combining them) such that they are on the semantic level of the application.
 =====
@@ Line 54: / Line 56: @@
 =====
-== Stijn Mostinckx ==
+== Lode Hoste ==
-[[http://soft.vub.ac.be/~smostinc|Homepage]]
+[[http://soft.vub.ac.be/~lhoste|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.
-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]].
+My research focuses on investigating programming language support to deal with the massive amount of concurrent events generated by various input devices. By providing adequate software abstractions for correlating multiple input devices we try to encourage multimodal gestural interaction and ease their implementations.
+The relation of my research and AmOP is the //spontaneous collaborative manipulation of digital information//. One scenario is that multiple people can interact using their laptop or mobile device with a shared virtual smart-board over a wireless network. Another scenario is the peer-to-peer data exchange where one users 'throws' (gesture 1) data and another users 'catches' (gesture 2) it. This type of interaction is both distributed in the //actions// they perform (correlate the 'throw' and 'catch' from different devices) and in the //data// that is exchanged.
+=====
+== Eline Philips ==
+Nomadic networks fill the gap between fixed networks and mobile ad hoc networks (MANETs) as they consist of a group of mobile devices that can move around dynamically while trying to maintain a connection with a fixed infrastructure. My research focusses on the coordination of nomadic services by making use of workflows as they provide an additional layer of abstraction such that interactions among application components can be specified on a higher level and be reused because of their loose coupling with the fine-grained application logic. Unfortunately, current workflow systems do not meet all the requirements for the kinds of applications that we envision in nomadic networks, like connection
+volatility.
+AmbientTalk is a programming language which treats disconnections at the very heart of its computational model. Moreover, the language supports dynamic service discovery which is opportune for nomadic networks. Although this language is suited for writing applications for MANETs, the orchestration of these applications is still programmed in an ad hoc manner. Complex nomadic applications that consist of asynchronously executing distributed services become hard to develop, understand and reuse. I am currently working on the addition of an abstraction layer on top of AmbientTalk which implements
+workflow patterns. I am investigating which new patterns for nomadic networks can be added to this abstraction layer. Concretely, I want support for intensional descriptions of services, group communication, compensating actions and more advanced synchronisation.
 =====
@@ Line 76: / Line 89: @@
 in its environment. Currently, I am working on an extension of this model that allows applications to work on shared and replicated data.
 The use of weak data replication in a mobile environment ensures that there is no need to stop an ongoing application when certain data cannot be synchronized.
-=====
-== Stijn Timbermont ==
- In an Ambient Intelligent setting, various kinds of hardware are involved, each with its own characteristics. To allow abstraction over the different devices, a standard virtual machine approach is not feasible because it is not possible to abstract over all the devices at the same time. Instead, each device will require an individually adapted virtual machine.
-This reseach proposes a new way to develop virtual machines for Ambient Intelligence. Instead of manually modifying the virtual machine for of a particular device, the virtual machine can be generated by composing reusable modules. The first step is to determine the set of modules that can be used to build a virtual machine. The next step is to find implementation and composition techniques that guarantee the correctness and efficiency of the generated virtual machine.
 =====
@@ Line 101: / Line 106: @@
 =====
 === Former Members ===
+== Stijn Mostinckx ==
+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.
+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.
 == Dr. Jessie Dedecker ==