Wei Wang (王威)

CV (September 2025 version)

Contact Information

Visiting address: Room 329, Meng Minwei Humanities Building, Tsinghua University, No. 1 Qinghua Yuan, Haidian District, Beijing 100084, China

The theory of logic, and the application of logic to computer science, linguistics, and philosophy.

Current focus: Strategic reasoning, temporal logic, epistemic logic; formal verification; team semantics, formal semantics.

Broader interests: Logic, linguistics, computer science.

December 2025: I'll be an Area Chair of the Logic and Computation track of the European Summer School in Logic, Language and Information (ESSLLI) 2026 Student Session.
November 2025: I was invited to join the Program Committee of the AAAI-26 Bridge Program on Logic & AI: Logical and Symbolic Reasoning in Language Models.

Articles in proceedings
1. 'An Epistemic Extension of the Temporal Logic of Coalitional Goal Assignments', in Valeria Gradimondo and Emil Eva Rosina (eds.), Proceedings of the ESSLLI 2025 Student Session. PhilArchive, 2025. (Link)
2. 'Disjunction and Parentheses', in Jialiang Yan, Mingming Liu, Dag Westerståhl and Xiaolu Yang (eds.), The Connectives in Logic and Language. TLLM 2024. Lecture Notes in Computer Science, vol 15410. Springer, 2025. [with Jialiang Yan and Chen Ju] (Link)
3. 'Towards a Logical Approach to Recommendations', in Beishui Liao, Jun Pang and Tjitze Rienstra (eds.), Logics for New-Generation AI 2024: Proceedings of the Fourth International Workshop, Hangzhou, 2024, pp. 47–65. College Publications, 2024. [with Fenrong Liu and Sisi Yang] (Download)

2025
1. 'An Epistemic Extension of the Temporal Logic of Coalitional Goal Assignments', ESSLLI 2025 Student Session, Ruhr University Bochum, Bochum, Germany, 5 August
2. 'An Epistemic Extension of the Temporal Logic of Coalitional Goal Assignments', PhD Seminar, Stockholm University, Stockholm, Sweden, 22 April
2024
1. 'Coalition Logic Allowing Dependence: Representation Theorem, Finite Model Property, and Completeness' (joint work with Chenwei Shi), Tsing Ch'a Session, Tsinghua University, Beijing, China, 14 November
2. 'Towards a Logical Approach to Recommendations' (joint work with Fenrong Liu and Sisi Yang), LNGAI 2024, Zhejiang University, Hangzhou, China, 15 June
3. 'Towards a Logical Approach to AI-Driven Recommendations' (joint work with Fenrong Liu and Sisi Yang), Tsing Ch'a Session, Tsinghua University, Beijing, China, 28 March

Native	Ningbonese (Wu), Mandarin
Fluent	English (IELTS 8.5, CEFR C2), Shanghainese (Wu), Cantonese (Yue), Japanese
Intermediate	Swedish
Understand	Hokkien (Southern Min), Classical Chinese
Basic	French, German, Latin