Hello,
I’m Dr Artur Meski, a software engineer and researcher with a PhD in formal methods.
You can find a list of my academic publications on Google Scholar and DBLP.
I am also passionate about photography. You can view some of my photos on my photography website.
Reaction systems are a formalism inspired by the functioning of living cells. They allow for specification and analysis of computational processes in which reactions operate on sets of entities (or molecules).
The behaviour of a reaction system is determined by the interactions of its reactions, which are based on the mechanisms of facilitation and inhibition. The formal treatment of reaction systems is qualitative and there is no direct representation of the number of entities involved in reactions.
This is a daemon for monitoring lease changes on OpenBSD for the specified interfaces. When a change happens it then calls a script located in /etc/dhcpleasemon. The script name should be:
lease_trigger_<interface>
The script has access to the following environment variables:
$DHCP_IFACE – interface name$DHCP_IP_ROUTE – default route for the interface$DHCP_IP_ADDR – IP address from the leaseThe daemon is implemented in Rust and is available on GitHub.
Here you can find my PhD thesis and the slides I used during my public PhD defence.
Reaction systems are a formal model inspired by the functioning of living cells. This model allows for specifying and analysing computational processes in which reactions operate on sets of molecules.
The behaviour of a reaction system is determined by the interactions of its reactions, which are based on the mechanisms of facilitation and inhibition. The formal treatment of reaction systems is qualitative and there is no direct representation of the number of molecules involved in reactions.