Appointments can be administered from a web-app
or from a mobile app.
The project exhibits a variety of engineering challenges:
Higher order multiuser (each client has many users) and multi domain
(works for different business domains) platform with own security spec, SMS
and email notification system, REST API, multi tier
J2EE back-end deployed on Glassfish clusters.
See here for more details.
Interaction net compiler
Interaction nets are a visual programming paradigm and computational model.
You program interaction nets by specifying visual rules. For example, the following
specifies the rules of addition:
The engineering challenge here was the implementation of the compiler
and execution engine
that can compute
the answer of such a program. Read more here .
Virtual Machine Delta
There is a specific class of virtual machines, known as environment machines.
In a nutshell, this work is about specification of operational
semantics of resource agnostic virtual machines, that is, a set of rules that act as a formal
description of steps that the machine has to take in order to compute a program.
The design challenge of this project is simple: correctness and efficiency. Read more here .