�ݺ�ߣ

Jeff Chen

2 �ݺ�ߣShares 85 Followers 95 Followings

2 �ݺ�ߣShares 85 Followers 95 Followings

Personal Information

Organization / Workplace

Bangkok, Thailand

Occupation

MSc in Computer Science (Algorithm / Language / Logic)

Industry

Technology / Software / Internet

About

Working on loop invariants using formal methods tools.