LoreonLabsPlatform
@msu
CS Assistant Professor @msu. Working on computer security via programming languages, formal methods, and machine learning. Previously @kudu-dynamics.
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
