معرفی
Tjark Weber is a researcher affiliated with Uppsala University in Sweden. He actively contributes to academic communities through roles such as Committee Member in the CPP 2023 and CPP 2019 tracks at POPL conferences, and as a committee member for FSEN 2025. His work focuses on formal methods and programming languages.
Research interests:
- Automated and Interactive Theorem Proving
- Formal Verification
- Programming Languages
- Digital Security
- Computational Logic
Recent academic contribution: A 2025 FSEN research paper on universally quantified heap invariants using Horn clause transformations, aligning with his formal verification expertise.
Contact: tjawe125@it.uu.se
۰مقاله منتشرشده
