Laiwoonsiu

My current interest is to put formalism into practice.

I have added notable information or corrected nontrivial faults for the following Wikipedia pages:

1. ACM Computing Surveys
2. ACM Transactions on Software Engineering and Methodology
3. Action (UML)
4. Activity diagram
5. Actor (UML)
6. Ailsa Land
7. Alan Turing Year
8. Algebraic semantics (computer science)
9. Amy Chan (badminton)
10. Artifact (UML)
11. Bill Curtis
12. Bronze Bauhinia Star
13. Burton Watson
14. Capability Maturity Model
15. Carlo Ghezzi
16. Carnegie Mellon University
17. Chang-Lin Tien
18. Charlie Chaplin
19. Che Chi-ming
20. Chittoor V. Ramamoorthy
21. Citation
22. Class diagram
23. Communicating sequential processes
24. Communication diagram
25. Communications of the ACM
26. Component (UML)
27. Component diagram
28. Composite structure diagram
29. Continuous integration
30. Converse relation
31. Daniel Jackson (computer scientist)
32. David Harel
33. David Notkin
34. Debugging
35. Dependency (UML)
36. Deployment diagram
37. Differential testing
38. Element (UML)
39. Empirical Software Engineering
40. Enterprise software
41. Equivalence relation
42. Erich Gamma
43. Event (UML)
44. Ferenc Krausz
45. Frank Land
46. Function (mathematics)
47. Gail C. Murphy
48. Gerard J. Holzmann
49. Glossary of project management
50. Group theory
51. Haar wavelet
52. Harlan Mills
53. Henry Steiner
54. HKUMed
55. Hong Kong order of precedence
56. Hong Kong University Students' Union
57. Hua Luogeng
58. Hypothetico-deductive model
59. Ian Holliday
60. IEEE Software
61. IEEE Transactions on Software Engineering
62. Impact factor
63. Information and Software Technology
64. Information Sciences
65. Institution (computer science)
66. Interaction overview diagram
67. ISO 31-11
68. Ivar Jacobson
69. Jose Meseguer
70. Joseph Goguen
71. Journal of Systems and Software
72. K-means clustering
73. Kenny So
74. Kwan Tak-hing
75. Kwong Ki-chi
76. Lawrence Fung Siu Por
77. Linus Cheung
78. Lionel Briand
79. List of alumni of The University of Hong Kong
80. Metamorphic testing
81. Nancy R. Mead
82. New Year Honours 1982
83. Niklaus Wirth
84. Node (UML)
85. OBJ (programming language)
86. Object diagram
87. Object-oriented design
88. Object-oriented programming
89. Olympic Games
90. Package diagram
91. Patrick Tse
92. People-first language
93. Powertype (UML)
94. Profile diagram
95. Random testing
96. Rayson Huang
97. Reification (computer science)
98. Remote patient monitoring
99. Republic of China (1912–1949)
100. Richard Helm
101. Semantics (computer science)
102. Sequence diagram
103. Shing-Tung Yau
104. Shiuhpyng Shieh
105. So Wa-wai
106. Software bug
107. Software engineering
108. Software Engineering Institute
109. Software testing
110. Su Shi
111. Systems modeling language
112. T.H. Tse
113. Terence Tao
114. Term algebra
115. Test oracle
116. The Chinese University of Hong Kong
117. The Hong Kong Polytechnic University
118. The London School of Economics
119. The University of Hong Kong
120. The University of Hong Kong Faculty of Law
121. Timing diagram (Unified Modeling Language)
122. Tony Hoare
123. Topological space
124. Tsong Yueh Chen
125. UML state machine
126. Unified Modeling Language
127. University of California, Berkeley
128. Use case diagram
129. Victor Basili
130. Vivian Yam
131. Waterfall model
132. William Ka Ming Lau
133. Xiang Zhang
134. Xie (surname)
135. Yo-yo Ma
136. Z notation

I advocate for universal equality for ALL. Note that this last statement is not just a word play. In particular, novice Wikipedia editors are often harassed by overzealous administrators and experienced editors. The harassment only eases as the novice editors become more experienced.