people
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
people [2009/11/23 11:23] – aligning elisag | people [2015/02/04 18:49] – elisag | ||
---|---|---|---|
Line 1: | Line 1: | ||
~~NOTOC~~ | ~~NOTOC~~ | ||
+ | |||
===== People ===== | ===== People ===== | ||
- | The people behind the AmbientTalk project | + | These are the people behind the AmbientTalk project of the [[http://soft.vub.ac.be|Software Languages Lab]]. |
- | + | ||
- | {{ ambientpeople.jpg? | + | |
- | + | ||
- | //Part of the ambient group in June 2007. From left to right: Jorge Vallejos, Jessie Dedecker, Elisa Gonzalez Boix, Stijn Timbermont, Wolfgang De Meuter, Tom Van Cutsem.// | + | |
== Prof. Dr. Wolfgang De Meuter == | == Prof. Dr. Wolfgang De Meuter == | ||
- | [[ http://prog.vub.ac.be/doku.php? | + | [[ http://soft.vub.ac.be/soft/wolfwiki/ |
In the past, I have been active in the design and formalisation of prototype-based object-oriented programming languages. After a small detour in AOP (where I introduced monads in AOP and identified the need for cflow with jumping aspects), I'm currently working with the ambient group on the design and implementation of ambient-oriented programming languages. My current mission is to come up with language constructs that make writing software for loosely coupled (mobile) distributed systems as much fun as writing sequential programs in languages like Scheme, Smalltalk or Haskell. This is done by inventing new programming language abstractions and by hiding the technical burden as much as possible in the interpreter of those languages. | In the past, I have been active in the design and formalisation of prototype-based object-oriented programming languages. After a small detour in AOP (where I introduced monads in AOP and identified the need for cflow with jumping aspects), I'm currently working with the ambient group on the design and implementation of ambient-oriented programming languages. My current mission is to come up with language constructs that make writing software for loosely coupled (mobile) distributed systems as much fun as writing sequential programs in languages like Scheme, Smalltalk or Haskell. This is done by inventing new programming language abstractions and by hiding the technical burden as much as possible in the interpreter of those languages. | ||
Keywords are repls, interpreters, | Keywords are repls, interpreters, | ||
- | 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:// | + | 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:// |
- | ===== | ||
- | == Elisa Gonzalez Boix== | ||
- | [[http:// | ||
- | 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 identifies a number of criteria for a leasing model specially designed for MANETs and proposes the //leased object references// | + | ===== |
+ | == Prof. dr. Elisa Gonzalez Boix== | ||
+ | [[http://soft.vub.ac.be/~egonzale| Homepage]] | ||
- | For further information about my work please visit my [[http:// | + | 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. |
+ | |||
+ | 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. | ||
===== | ===== | ||
- | == Andoni Lombide == | + | == dr. Andoni Lombide |
[[http:// | [[http:// | ||
Line 36: | 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, | 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, | ||
- | 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, | + | In my Phd, I investigated |
===== | ===== | ||
- | == Stijn Mostinckx | + | == Kevin Pinte == |
- | [[http:// | + | |
+ | Our everyday environment will soon be pervaded with RFID tags, tiny chips that can be integrated into any physical object. The tags can store and distribute information about the object or its environment. RFID technology is a key technology in developing pervasive context-aware applications. | ||
+ | |||
+ | I am investigating new programming abstractions to develop //mobile RFID-enabled applications// | ||
+ | |||
+ | Currently programming such applications is problematic. Communicating with RFID tags is prone to many failures as the connections with tags are extremely volatile and RFID tags have a small range of operation. State-of-the-art RFID applications heavily rely on infrastructure and merely employ RFID tags as digital barcodes, not exploiting the writable memory on the tags. As a consequence mobile RFID-enabled applications have to be developed in an ad hoc way, building upon low-level hardware abstractions leaving the developer to deal with RFID hardware characteristics manually. | ||
+ | |||
+ | You can find more information about my work [[: | ||
+ | |||
+ | ===== | ||
+ | == Dries Harnie == | ||
+ | |||
+ | Thanks to the work of the other people on this page, programming applications for mobile devices is now as easy as, say, writing a blog. However, research so far has focused on one-to-one communication and how the properties of MANETs disrupt it. | ||
+ | |||
+ | In the Real World(tm) we do group communication without giving it a second thought, changing conversation topics as people leave and rejoin the group. Likewise, we effortlessly do service composition: | ||
+ | |||
+ | 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. | ||
+ | |||
+ | ===== | ||
+ | == Lode Hoste == | ||
+ | [[http:// | ||
+ | |||
+ | |||
+ | 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 // | ||
+ | |||
+ | |||
+ | ===== | ||
+ | == 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, | ||
+ | volatility. | ||
- | The goal of my research | + | AmbientTalk |
+ | 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, | ||
- | 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: | ||
===== | ===== | ||
Line 61: | 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. | 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. | 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 86: | Line 106: | ||
===== | ===== | ||
+ | |||
=== Former Members === | === 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. | ||
+ | |||
+ | 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. | ||
+ | |||
+ | The second element of the proposed solution is the use of [[research: | ||
+ | |||
+ | The approach that combines and integrates these elements is the [[research: | ||
+ | |||
== Dr. Jessie Dedecker == | == Dr. Jessie Dedecker == |
people.txt · Last modified: 2018/04/12 22:07 by elisag