He, Vivianna FangVivianna FangHe2023-05-022023-05-02https://www.alexandria.unisg.ch/handle/20.500.14171/117030enUsing Algorithms for Theory Buildingconference keynote