Skip to content
View chenyikao's full-sized avatar
🏠
Anyone providing relevant jobs is welcome to leave a message~
🏠
Anyone providing relevant jobs is welcome to leave a message~
1 follower · 0 following
  • Taipei
  • 20:03 (UTC +08:00)

Organizations

@fozusoft

Block or report chenyikao

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
chenyikao/README.md

Hi there 👋

  • 🔭 I’m a computer science master graduated from National Cheng-chi University, Taiwan. I learned Satisfiability Modulo Theory for program verification and path condition program analysis techniques when I was a doctoral student. I'm currently working as a contract Java full-stack software engineer to find their potential best practices while accomplishing the demands from contractors.

  • I'm proficient in Java and Eclipse. I'm familiar with C/C++, JavaScript, JSP, PL/SQL, Git, Jenkins CI/CD and Jira.

Popular repositories Loading

  1. VODCondGen4DataRace VODCondGen4DataRace Public

    OpenMP Variable-oriented-DAG Condition Generator

    SMT 1

  2. VODCondGen VODCondGen Public

    A C Program condition generator based on variable-oriented directed acyclic graph.

    Java

  3. Z3DowngradingSolver Z3DowngradingSolver Public

    A Z3 solver wrapper downgrading the domain of a given program condition in case of unknown or timeout results from plain Z3 solving.

    Java

  4. SMTSolverWrapperElements SMTSolverWrapperElements Public

    This project separates common elements an SMT solver wrapper needs from the VOD condition generator and Z3 downgrading solver.

    C

  5. ShuttleEclipsespilce ShuttleEclipsespilce Public

    Java

  6. code-analysis code-analysis Public

    This project refactors my PhD. student projects into a path condition generator and code-analysis infra-structure for general Java programs rather than parallel (OpenMP) C/C++ programs.

    Java