Wei Wang (王威)
PhD student at the Tsinghua University – University of Amsterdam Joint Research Centre for Logic, Tsinghua University
Visiting the Department of Philosophy at Stockholm University
CV (February 2025 version)
Contact Information
Email: wangw23@mails.tsinghua.edu.cn, weiwang.ueiwaon@gmail.com
Visiting address: D728, Universitetsvägen 10 D, Stockholm University, SE-106 91 Stockholm, Sweden
Research Interests
The theory of logic, and the application of logic to computer science, linguistics, and philosophy.Current focus: Strategic reasoning, model checking, formal semantics, team semantics.
Broader interests: Logic, linguistics, computer science.
General interests: (Natural and formal) languages, (mathematical and philosophical) abstraction, reasoning.
Publications
- Articles in proceedings
- '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)
- '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)
Talks
- 2025
- An Epistemic Extension of the Temporal Logic of Coalitional Goal Assignments, PhD Seminar, Stockholm University, Stockholm, Sweden, 22 April
- 2024
- '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
- 'Towards a Logical Approach to Recommendations' (joint work with Fenrong Liu and Sisi Yang), LNGAI 2024, Zhejiang University, Hangzhou, China, 15 June
- '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
Languages
- Sinitic languages
- Ningbonese: Native.
- Mandarin: Native.
- Shanghainese: About CEFR C2 in listening and speaking.
- Cantonese: About CEFR C2 in listening and C1 in speaking.
- Classical Chinese: Read fluently.
- Foreign languages
- English: IELTS 8.5, CEFR C2.
- Japanese: About CEFR C1 in reading, B2 in listening, and B1 in speaking and writing.
- Swedish: About CEFR B1 in reading, and A2 in listening, speaking, and writing.
- French: About CEFR B1 in reading, A2 in listening, and A1 in speaking and writing.
- Korean: About CEFR A2 in listening and reading, and A1 in speaking and writing.
- Latin: higher-beginner.
Hobbies
Language learning, programming, travelling.