Titcheu Thierry
Senior Software Engineer - Software Systems at SES Satellites
Luxembourg
Summary
👤
Senior🎓
Top SchoolTitcheu Thierry is a Senior Software Engineer with a decade of experience building and hardening ground control and operations software, currently driving architectural and quality improvements at SES Satellites. He combines strong academic research in automated software testing (PhD) with practical C/C++ and Python systems engineering, having completed advanced degrees at Tsinghua and USTC and conducted postdoctoral work at the University of Luxembourg. Thierry’s contributions to LLVM-based static analysis tooling show a knack for low-level program analysis and stabilizing complex toolchains, and he has hands-on experience with distributed DBMS research from an Alipay internship. Fluent in English, French and Chinese and accustomed to multicultural environments, he finished a PhD on unfamiliar territory quickly—evidence of rapid learning and adaptability. Colleagues rely on him for rigorous problem framing, dependable delivery, and bridging research insights into production-grade software.
10 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science (Automated Software Testing), Doctor of Philosophy (PhD), Computer Science (Automated Software Testing) at University of LuxembourgBachelor of Science (BSc), Computer Science and Technology, Bachelor of Science (BSc), Computer Science and Technology at University of Science and Technology of ChinaMaster of Engineering (MEng), Software Engineering, 88/100, Master of Engineering (MEng), Software Engineering, 88/100 at Tsinghua University
French, Chinese, English
Stackoverflow
163reputation
6kreached
3answers
1question
Github Skills (24)
c-language10
static-analysis10
llvm10
cprogramming-language10
llvm-ir10
data-structure9
debug9
algorithm9
debugging9
algorithms9
analyse9
datastructures-algorithms9
data-structures9
slicing8
program-analysis8
Programming languages (9)
Github contributions (5)
mchalupa/dg
Nov 2016 - Jun 2017
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Role in this project:
Back-end Developer & Static Analysis Engineer
Back-end Developer & Static Analysis EngineerContributions:7 commits, 14 PRs, 21 comments in 7 months
Contributions summary:Titcheu primarily focused on fixing bugs and improving the stability of the LLVM-based static slicing tool. Their contributions include resolving compile errors related to LLVM version compatibility, preventing segmentation faults caused by missing debug information, and addressing issues with flow-sensitive analysis within loops. They also added functionality for printing source file locations in the dot representation of the dependence graph and fixed printing for older LLVM versions.
llvm-iranalysesdependency-graphslicingdata-dependency
thierry-tct/Tests_CPA_ICSE
May 2017 - May 2019
Contributions:5 commits, 4 pushes, 1 branch in 2 years
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.