Research Interests:
- Numerical Programs verification by formal methods
- FPGA code synthesis
- Floating-point and fixed-point arithmetics
- Embedded AI
- Semantics-based precision tuning
- Neural networks optimization techniques
PhD Students:
Academic Service:
- OOPSLA'24, 25, VSS'25, CoDIT 2025 Program Committee
- CoDIT'24, CoDIT'23, Program Committee
- PLDI'24 , SAS'23, ECOOP'23, SAS'22, FORMATS'22, Artifact Evaluation Committee
- PLDI'23 SRC , CoDIT'23, The journal of Supercomputing 2022 , Reviewer
- ECOOP'23, FORMATS'22, External Review Committee
If you are interested in my research topic, you can send me an email.