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. Kwong Ki-chi
70. Lionel Briand
71. List of alumni of the University of Hong Kong
72. Metamorphic testing
73. Nancy R. Mead
74. Niklaus Wirth
75. Node (UML)
76. OBJ (programming language)
77. Object diagram
78. Object-oriented design
79. Object-oriented programming
80. Olympic Games
81. Package diagram
82. Patrick Tse
83. People-first language
84. Powertype (UML)
85. Profile diagram
86. Random testing
87. Rayson Huang
88. Reification (computer science)
89. Remote patient monitoring
90. Republic of China (1912–1949)
91. Richard Helm
92. Semantics (computer science)
93. Sequence diagram
94. Shing-Tung Yau
95. Shiuhpyng Shieh
96. So Wa-wai
97. Software bug
98. Software engineering
99. Software Engineering Institute
100. Software testing
101. Systems modeling language
102. T.H. Tse
103. Terence Tao
104. Term algebra
105. Test oracle
106. The Chinese University of Hong Kong
107. The Hong Kong Polytechnic University
108. The London School of Economics
109. The University of Hong Kong
110. Timing diagram (Unified Modeling Language)
111. Tony Hoare
112. Topological space
113. Tsong Yueh Chen
114. UML state machine
115. Unified Modeling Language
116. University of California, Berkeley
117. Use case diagram
118. Victor Basili
119. Vivian Yam
120. Waterfall model
121. William Ka Ming Lau
122. Xiang Zhang
123. Xie (surname)
124. Yo-yo Ma
125. 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.