2
publications
6
citations
Interests / Fields
Computer science Programming language HOL Sequent calculus Rule of inference Separation logic Mathematics Algebra Electrical engineering Voltage Proof theory Natural deduction Sequent Partial discharge Semantics Executable Instruction set Engineering Electronic engineering Automated theorem proving
Publication Statistics
36
Total Publications
2
SG+ML Publications
Publications authored while based in Singapore within AI/ML-related areas.
118
Total Estimated Citations
Estimated citations uses a statistical model that leverages both local statistics of the publication and global statistics of the entire academic graph (from MAG).
6
SG+ML Estimated Citations
118
Total Citations
6