Roy is a software engineer at Octant, working on building tools and infrastructure to empower scientists.
Roy received a Masters in Computer Science from the University of Toronto, and worked in the Tech industry for a number of years. Previous to Octant he discovered the Biotech world while working at Zymergen, and hasn’t looked back since.
In his spare time, Roy enjoys playing pool, making art, and doting on his pet lungfish.
Luo, Roy; Valenzano, Richard; Li, Yi; Beck, J. Christopher; McIlraith, Sheila. "Using Metric
Temporal Logic to Specify Scheduling Problems." Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (2016).