Li-ting Chen
Cyber Security Testing Engineer at Acer CyberCenter Services, Inc.
Taiwan
Summary
🤩
Rockstar🎓
Top SchoolLi-ting Chen is a Cyber Security Testing Engineer with 12 years of multidisciplinary experience spanning security research, Android IoT development, and instrumentation for scientific research. Currently at Bureau Veritas and Acer CyberCenter Services, she combines hands-on penetration and testing skills with a practical engineering mindset honed from building embedded and mobile systems for international markets. Her open-source contributions to foundational Agda projects (agda-stdlib and cubical) reveal a strong formal-methods and back-end coding proficiency that's unusual for typical security practitioners. Fluent in collaborative cross-team work—from firmware and UI/UX to server integrations—she seeks opportunities outside Taiwan, particularly in the UK, where she can pair rigorous security testing with deep systems and protocol understanding.
12 years of coding experience
9 years of employment as a software developer
學士, 機械工程學系, 學士, 機械工程學系 at 國立中央大學Master of Science - MS, Information Security, First - Predicted, Master of Science - MS, Information Security, First - Predicted at University of Surrey
Stackoverflow
391reputation
41kreached
6answers
0questions
Github Skills (24)
agda10
proof10
logical10
standard-library10
formal-verification10
symbolic-logic10
functional-programming10
c-library10
common-library10
type-theory10
logic10
data-structure9
algorithm9
algorithms9
datastructures-algorithms9
Programming languages (15)
Github contributions (5)
agda/cubical
Mar 2019 - Mar 2022
An experimental library for Cubical Agda
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 reviews, 25 commits, 25 PRs in 3 years
Contributions summary:Li-ting primarily contributed to the `cubical` repository, which focuses on Cubical Agda. Their commits demonstrate expertise in implementing and refining core mathematical concepts within the Agda programming language. The user added and modified properties for fundamental data types, such as `Bool`, and made improvements to the library's core components. They also worked on cleaning up and improving existing code related to foundational mathematical logic.
agdacubical-type-theory
agda/agda-stdlib
Feb 2019 - May 2020
The Agda standard library
Role in this project:Back-end Developer
Back-end DeveloperContributions:11 commits, 13 PRs, 5 pushes in 1 year 3 months
Contributions summary:Li-ting primarily contributes to the Agda standard library by fixing bugs and implementing new features. Their work includes fixing argument issues in existing code, adding new functions like the inverse of `inject₁` in `Data.Fin`, and improving reflection capabilities. They also refactored the code to use a generalised variable and updated the code to export `Setω` in `Level`.
dependent-typesagdahomotopy-type-theorystandard-library
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.