Yongming Han

Research Associate / Engineer at SMU Centre for Computational Law
  • Claim this Profile
Contact Information
Location
Singapore, Singapore, SG

Topline Score

Bio

Generated by
Topline AI

0

/5.0
/ Based on 0 ratings
  • (0)
  • (0)
  • (0)
  • (0)
  • (0)

Filter reviews by:

No reviews to display There are currently no reviews available.

0

/5.0
/ Based on 0 ratings
  • (0)
  • (0)
  • (0)
  • (0)
  • (0)

Filter reviews by:

No reviews to display There are currently no reviews available.
You need to have a working account to view this content. Click here to join now

Experience

    • Singapore
    • Higher Education
    • 1 - 100 Employee
    • Research Associate / Engineer
      • Dec 2022 - Present

      Helping to create a specification language that can be used to model and understand contracts and legislation, and that will in turn be wired up to formal verification tooling. Helping to create a specification language that can be used to model and understand contracts and legislation, and that will in turn be wired up to formal verification tooling.

Education

  • Brown University
    Master's degree, Data Science
  • Brown University
    Doctor of Philosophy - PhD, Philosophy
  • National University of Singapore
    2009 - 2013

Community

You need to have a working account to view this content. Click here to join now