Ho Guo Xian

[email protected]

@AMD Singapore Python static analysis, AST, SMT. Working on Klara - python test case generator.