Global Map > Startups > East Asia > Japan > Kyoto > DaiLambda
DaiLambda icon
DaiLambda works on the security of social infrastructure systems such as cryptocurrencies by formal verification technology such as type system, static analysis, model checking, and theorem proving.
National Ranking
N/A
in Japan
Regional Ranking
N/A
in East Asia
Global Ranking
N/A
worldwide
Loading startups...
Page out of 2
Need more insights about local startups?
Do more with Pro