Bryan Tan is a VP of Engineering with 13 years of experience building compilers, static analysis, and verification tools, currently leading teams at Veridise to improve the correctness of financial software. He combines deep compiler and programming-languages research—leveraging refinement type systems from his UCSB graduate work—with hands-on production engineering at companies like Annapurna Labs and Apple. Bryan has practical experience lowering ML operators into internal IRs, debugging complex compiler pipelines, and shipping optimization passes for domain-specific hardware. An active contributor to open-source projects, he has refined core UX behaviors in Xournal++ by improving text editor and clipboard handling, showing attention to subtle user-facing edge cases. Colleagues describe him as a technically rigorous leader who bridges research, tooling, and product needs to deliver auditable, high-confidence systems.
13 years of coding experience
2 years of employment as a software developer
High School, High School at Milpitas High School
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at UC Santa Barbara
Bachelor of Science - BS, Computing, 3.88 GPA, High Honors, Bachelor of Science - BS, Computing, 3.88 GPA, High Honors at University of California, Santa Barbara
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.
Role in this project:
Back-end Developer
Contributions:3 releases, 468 reviews, 355 commits in 3 years 8 months
Contributions summary:Bryan primarily focused on fixing bugs and implementing improvements to the text editor functionality within the Xournal++ application. They addressed issues related to clipboard operations, particularly with the PRIMARY and CLIPBOARD selections, and corrected text pasting behavior to ensure correct updates. Furthermore, the user also contributed to settings management by improving the handling of file open/save paths. The user's work is focused on refining core functionalities related to user interaction.
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.