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