User:Alvinz

Alvinz

zh該用戶的母語是中文。
该用户的母语是中文。

yue呢位用户嘅母语系粤语/广州话。
呢位用戶嘅母語係粵語/廣州話。

en-4This user can contribute with a near-native level of English.

This user is an Australian.
G'day, mate!

 0.000040% This user has created 3 of the 6,871,647 articles on the English language Wikipedia.

Hi there, I'm Alvin. I was active on Chinese Wikipedia in 2017 when I contributed to 40 articles, 1 of which has been rated as a good article and 6 of which was featured on the Main Page in the Did You Know? section.

Contributions

I started contributing to English Wikipedia on topics regarding logic in computer science in 2023.

Articles

• Non-normal modal logic
• Counterexample-guided abstraction refinement
• Modal clausal form

External links

• Personal website