[{"data":1,"prerenderedAt":205},["ShallowReactive",2],{"presentExperiences-en":3,"presentEducation-en":44,"biography-intro-en":95,"polaroids-en":173},[4,25],{"id":5,"title":6,"company":7,"description":8,"endDate":9,"extension":10,"highlights":11,"locale":14,"location":15,"meta":16,"pathToLogo":17,"startDate":18,"stem":19,"tags":20,"__hash__":24},"experiences\u002Fexperiences\u002Fen\u002F2026_intern_kth.json","Summer Internship","KTH Royal Institute of Technology","Group HScala","2100-01-01","json",[12,13],"Building a compiler that translates Scala into SPIR-V assembly for seamless switching between CPU and GPU processing.","Designing a safe, sound type system tailored for heterogeneous programming using Capture Tracking.","en","Stockholm, Sweden",{},"\u002Fcontent\u002Feducation\u002Fkth.svg","2026-05-01","experiences\u002Fen\u002F2026_intern_kth",[21,22,23],"Type System","Scala","Compiler","FTBR9LxFOpvCkK8T6B3f8nZjW9nFPfdGSBUR4jqhocU",{"id":26,"title":27,"company":28,"description":29,"endDate":9,"extension":10,"highlights":30,"locale":14,"location":33,"meta":34,"pathToLogo":35,"startDate":36,"stem":37,"tags":38,"__hash__":43},"experiences\u002Fexperiences\u002Fen\u002F2026_ra_cuhk.json","Research Assistant","The Chinese University of Hong Kong","Supervised by Dr. Lauren Pick",[31,32],"Collaborating with a research team to explore Large Language Models for modular reasoning and maximal specification synthesis to assist agentic code generation.","Developing an agentic workflow with MiniSWEAgent in Python for evaluating the effectiveness of LLM-generated code with prompted formal specifications against the DafnyBench dataset.","Hong Kong",{},"\u002Fcontent\u002Fexperiences\u002Fcuhk.svg","2026-04-01","experiences\u002Fen\u002F2026_ra_cuhk",[39,40,41,42],"Python","Dafny","Programme Specification","Agent Development","1YrFBObAEo45vLBdwSVuAIf7cYty6dNr1wdO2JXL318",[45],{"id":46,"degree":47,"description":48,"endDate":49,"extension":10,"gpa":50,"highlights":51,"locale":14,"location":33,"maxGpa":54,"meta":55,"pathToLogo":56,"scholarships":57,"school":28,"startDate":90,"stem":91,"tags":92,"__hash__":94},"education\u002Feducation\u002Fen\u002F2023_bachelor_cuhk.json","Bachelor of Science in Computer Science",null,"2027-07-01",3.83,[52,53],"Dean's List Recipient | 2023 - 2024","Dean's List Recipient | 2024 - 2025",4,{},"\u002Fcontent\u002Feducation\u002Fcuhk.svg",[58,61,63,66,69,72,75,77,80,83,85,88],{"name":59,"date":60},"CUHK Admission Scholarship","2023-08-15",{"name":62,"date":60},"Dean's Award",{"name":64,"date":65},"Scholarship Scheme for ELITE Stream Students","2024-07-01",{"name":67,"date":68},"Woo Sau Wing Scholarships","2024-08-15",{"name":70,"date":71},"Professor Omar Wing Memorial Scholarship","2024-09-05",{"name":73,"date":74},"CW Chu College Scholarship for Education","2025-03-29",{"name":76,"date":74},"The KY Young & CK Ma Memorial Scholarship",{"name":78,"date":79},"Yu To Sang Memorial Scholarship","2025-05-07",{"name":81,"date":82},"Chiang Chen Overseas Exchange Scholarship","2025-07-31",{"name":78,"date":84},"2026-05-07",{"name":86,"date":87},"Fung Ying Seen Koon Scholarship","2026-03-28",{"name":78,"date":89},"2027-05-07","2023-08-01","education\u002Fen\u002F2023_bachelor_cuhk",[93],"Bachelor","3Ss3MDszgxhMWLKw_S-i07h6CUa_C04kQIls6-YaIBY",{"id":96,"title":97,"body":98,"description":165,"extension":166,"meta":167,"navigation":168,"path":169,"seo":170,"stem":171,"__hash__":172},"biography\u002Fbiography\u002Fen\u002Fintro.md","Intro",{"type":99,"value":100,"toc":161},"minimark",[101,125,138],[102,103,104,105,111,112,116,117,120,121,124],"p",{},"I am a B.Sc. in Computer Science student at ",[106,107,28],"a",{"href":108,"rel":109},"https:\u002F\u002Fwww.cuhk.edu.hk\u002F",[110],"nofollow",", driven by a deep interest in ",[113,114,115],"em",{},"Programming Languages",", particularly ",[113,118,119],{},"Type Systems"," and ",[113,122,123],{},"Language Features",".",[102,126,127,128,133,134,137],{},"I am currently undertaking research under the supervision of ",[106,129,132],{"href":130,"rel":131},"https:\u002F\u002Flmpick.github.io\u002F",[110],"Prof. Lauren Pick"," on ",[113,135,136],{},"Autoformalisation of Programming Language Theorems"," as my Bachelor's thesis, whilst also collaborating on a project focused on specification generation to support agent-driven code synthesis.",[102,139,140,141,145,146,151,152,156,157,160],{},"During my academic exchange at ",[106,142,7],{"href":143,"rel":144},"https:\u002F\u002Fwww.kth.se\u002F",[110],", I joined the HScala research group under ",[106,147,150],{"href":148,"rel":149},"https:\u002F\u002Fwww.phaller.com\u002F",[110],"Prof. Philipp Haller",". Our research focuses on designing a type system for heterogeneous ",[106,153,22],{"href":154,"rel":155},"https:\u002F\u002Fwww.scala-lang.org\u002F",[110]," execution across native CPU and SPIR-V-targeted GPU runtimes using ",[113,158,159],{},"Capture Tracking",", as well as developing the initial compiler prototype.",{"title":162,"searchDepth":163,"depth":163,"links":164},"",2,[],"I am a B.Sc. in Computer Science student at The Chinese University of Hong Kong, driven by a deep interest in Programming Languages, particularly Type Systems and Language Features.","md",{},true,"\u002Fbiography\u002Fen\u002Fintro",{"title":97,"description":165},"biography\u002Fen\u002Fintro","2bc4esYuVo6vWlz78AvoYK3T7pSUVrZCpt71f4r8yY8",[174,181,189,197],{"id":175,"alt":176,"caption":33,"extension":10,"locale":14,"meta":177,"pathToImage":178,"stem":179,"__hash__":180},"polaroids\u002Fpolaroids\u002Fen\u002F1.json","A close-up of a bar counter taken at Darkside, Hong Kong, featuring two cups of Hong Kong-themed cocktails.",{},"\u002Fcontent\u002Fpolaroids\u002F1.webp","polaroids\u002Fen\u002F1","FPmAdo4Fh3fYrGFXCmiLJuouhfIK1e6Y5hJzr5D8Ado",{"id":182,"alt":183,"caption":184,"extension":10,"locale":14,"meta":185,"pathToImage":186,"stem":187,"__hash__":188},"polaroids\u002Fpolaroids\u002Fen\u002F2.json","The Media City Bridge in Manchester, England, captured during a trip in January 2025.","Salford, UK",{},"\u002Fcontent\u002Fpolaroids\u002F2.webp","polaroids\u002Fen\u002F2","wViAVjx-OeL44uivpwb-Xcbf2zSwjR9oFmFThsmxIWw",{"id":190,"alt":191,"caption":192,"extension":10,"locale":14,"meta":193,"pathToImage":194,"stem":195,"__hash__":196},"polaroids\u002Fpolaroids\u002Fen\u002F3.json","One of the first attempts to import RAW files into Lightroom.","Singapore",{},"\u002Fcontent\u002Fpolaroids\u002F3.webp","polaroids\u002Fen\u002F3","YDy0HierrrOxmk9rpybbrmd5ne60pO4vih9rMEyUBKs",{"id":198,"alt":199,"caption":200,"extension":10,"locale":14,"meta":201,"pathToImage":202,"stem":203,"__hash__":204},"polaroids\u002Fpolaroids\u002Fen\u002F4.json","Still the best place I have ever visited.","Iceland",{},"\u002Fcontent\u002Fpolaroids\u002F4.webp","polaroids\u002Fen\u002F4","ZHoAES31wcAytDyzAPlBTAQUpIW0R47nWnm7QIwyDOU",1793294341341]