Explore projects

Entry for Apache Samza in the Encyclopedia of Big Data Technologies (Springer, 2018)

From Secure Messaging to Secure Collaboration (Security Protocols Workshop 2018)

A Conflict-Free Replicated JSON Datatype (IEEE Transactions on Parallel and Distributed Systems)

Final Report

safely store server secrets

A highly-available move operation for replicated trees

"Local-first software: You own your data, in spite of the cloud" (Onward! Essays 2019)

Investigating the R1-R4 feedbacks and nuclear shuttling for the onset of cell division. This project is led by Weibing Yang and myself .

safely store server secrets

These slides were presented at my dissertation defense (Division of Applied Mathematics, Brown University, 23 May 2018).

XeLaTeX for "A Discriminative Approach to Bayesian Filtering with Applications to Human Neural Decoding"

clean, blank latex template with inputenc, geometry, bable, hyperref, microtype, etc. (probably use always) pdf

Scripts and software for generating the results of Korsbo and Jönsson (2020) "It’s about time: Analysing simplifying assumptions for modelling multi-step pathways in systems biology"

Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)