Registered user since Tue 30 Apr 2024
Name:Peli de Halleux
Bio:
Research Software Developer at Microsoft Research. MakeCode, Jacdac, TouchDevelop, Pex, genaiscript.
Country:United States
Affiliation:Microsoft Research
Personal website: http://research.microsoft.com/en-us/people/jhalleux/
X (Twitter): https://x.com/pelikhan
GitHub: https://github.com/pelikhan
Contributions
PLDI 2024-profile
View general profile
View general profile