Anh-dung Phan - Full-time at SimCorp

Anh-dung Phan

Full-time at SimCorp

London, England, United Kingdom

Join Prog.AI to see contacts

Summary

👤

Senior

🎓

Top School

Anh-dung Phan is an engineering leader and system architect with 14 years’ experience building high-performance, event-driven trading systems and scalable infrastructure from London. Currently leading architecture and multiple engineering teams at SimCorp, he has driven major rewrites, introduced actor-based concurrency for thread safety under load, and scaled CI/testing to shrink feedback loops from days to hours. His background combines a PhD in computer science with hands-on contributions to prominent open-source projects such as the F# compiler and Microsoft’s Z3 solver—where he added MAXSAT and optimization features—demonstrating deep expertise in compilers, formal methods and tooling. He’s equally comfortable shipping production APIs for low-latency frontends and improving developer experience via build/deployment and language-service fixes. Colleagues describe him as a pragmatic problem-solver who couples rigorous research-level thinking with an appetite for practical engineering trade-offs.

14 years of coding experience

9 years of employment as a software developer

Master, Computer Science, Master, Computer Science at KTH Royal Institute of Technology

Technical University of Denmark

Github Skills (36)

algorithm10

markdown10

algorithms10

c-language10

optimizers10

msbuild10

compiler-development10

testing10

solver10

dotnet10

data-structure10

sat-solver10

latex10

compiler-compiler10

markdown-it10

Programming languages (8)

C#C++F*TeXGoHaskellJupyter NotebookF#

Github contributions (5)

dotnet/fsharp

Jan 2015 - Sep 2021

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

Role in this project:

Backend Developer & DevOps Engineer

Contributions:45 PRs, 170 comments, 4 issues in 6 years 8 months

Contributions summary:Anh-dung primarily contributed to the F# compiler and associated tooling, focusing on language service enhancements and build process improvements. They addressed issues related to the F# interactive environment, including command handling and debugger integration. Furthermore, the user worked on improving build and deployment processes, including the VSIX package, and integrating testing tools.

dotnetfunctional-programmingfsharplanguage-servicecore-library

fsprojects/FSharp.Formatting

Mar 2013 - Apr 2015

F# tools for generating documentation (Markdown processor and F# code formatter)

Role in this project:

Back-end Developer

Contributions:21 commits, 3 PRs, 13 comments in 2 years

Contributions summary:Anh-dung primarily contributed to the F# Markdown formatting tool by implementing LaTeX conversion capabilities. They introduced new features to transform Markdown documents into LaTeX format, including the `TransformLatex` and `WriteLatex` methods. Additionally, the user added the generation of LaTeX from F# source code and updated the literate tool to support LaTeX output. These additions involved changes to core modules like `LatexFormatting.fs` and `Main.fs`.

fsharpcode-formatterformattermarkdown-processormarkdown

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.

Request Free Trial