About Me

Ko-Lung Yuan 袁克倫

Hello, I'm dokelung(Ko-Lung Yuan).

Current: R & D Engineer, ATopTech
My Github: https://github.com/dokelung
E-mail: dokelung@gmail.com
LinkedIn: https://tw.linkedin.com/pub/ko-lung-yuan/a3/b9a/536/zh-tw


Education

  • 2011-2013:
    • M.S.
    • EDA group-ALCom lab
    • Graduate Institute of Electronics Engineering
    • National Taiwan University
  • 2007-2011:
    • B.S.
    • Electrical Engineering
    • National Cheng Kung University

Experiences

  • R & D Engineer, AtopTech, 2015-now.
  • Administrator of substitute services draftees, BAPHIQ, 2014.
  • Biology teacher, New Taipei Municipal Touqian Junior High School, 2013.
  • Network/system management, EDA union lab of EDA group, NTU, 2012-2013.( link )
  • Network management, BOT dorm, NTU, 2011-2013.
  • Teaching assistant, computer-aided VLSI system design, GIEE NTU, 2012-2013.
  • Python Tutor, 2012.
  • Web maintainer, ALCOM lab, 2011-2012.

Presentations

Research Interesting

  • Electronics Design Automation
  • Logic synthesis
  • Hardware/software formal verification and VLSI testing
  • Multi-valued encoding
  • Multiset constraint solving
  • Timing analysis
  • Clock Tree Synthesis

Publication

  • Books

  • IEEE/ACM Conference Papers

    • K.-L. Yuan, C.-Y. Kuo, J.-H. Jiang, and M.-Y. Li. “Encoding Multi-Valued Functions for Symmetry”. In Proc. of Int’ll Conf. on Computer-Aided Design(ICCAD-2013), 2013. ( full text )
    • S.-Y. Ho, S.-R. Lin, K.-L. Yuan, C.-Y. Kuo, K.-Y. Liao, J.-H. Jiang, and C.-M. Li. “Automatic Test Pattern Generation for Delay Defects Using Timed Characteristic Functions”. In Proc. of Int’ll Conf. on Computer-Aided Design(ICCAD-2013), 2013. ( full text )

Honors

  • The 2nd place, CAD Contest at ICCAD, 2014. ( 國際積體電路電腦輔助設計競賽 )
  • M.S. Best Thesis Award, GIEE, NTU, 2013. ( 台大電子所最佳碩論 )
  • M.S. Thesis Award, Chuan Yan Technology, Taiwan, 2013. ( 全研科技論文獎 )
  • Award for Excellent Performance, Trend Micro Programming Contest, 2012.
  • The Second Award, ICCAD Contest, Ministry of Education, Taiwan, 2011.
  • Award of outstanding student for academic achievement, Dept. of EE, NCKU, 2007-2008. ( 成大書卷獎 )

Project

Name Description Link
msat Multiset Constraint Solver for Multi-SAT github
minickt Analyzer and simulator of logic circuit github
script-king A Lightweight tool for writing and running scripts github