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