Explore projects
-
-
clean, blank latex template with inputenc, geometry, bable, hyperref, microtype, etc. (probably use always) pdf
Updated -
A highly-available move operation for replicated trees
Updated -
Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)
Updated -
A Conflict-Free Replicated JSON Datatype (IEEE Transactions on Parallel and Distributed Systems)
Updated -
"Local-first software: You own your data, in spite of the cloud" (Onward! Essays 2019)
Updated -
Entry for Apache Samza in the Encyclopedia of Big Data Technologies (Springer, 2018)
Updated -
From Secure Messaging to Secure Collaboration (Security Protocols Workshop 2018)
Updated -
-
-
-
These slides were presented at my dissertation defense (Division of Applied Mathematics, Brown University, 23 May 2018).
Updated -
XeLaTeX for "A Discriminative Approach to Bayesian Filtering with Applications to Human Neural Decoding"
Updated -
Investigating the R1-R4 feedbacks and nuclear shuttling for the onset of cell division. This project is led by Weibing Yang and myself .
Updated -
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"
Updated