projects

Through reliable and robust computation in concurrent and distributed environments.