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. Jose Meseguer
61. Joseph Goguen
62. Journal of Systems and Software
63. K-means clustering
64. Kwong Ki-chi
65. Lionel Briand
66. List of alumni of the University of Hong Kong
67. Metamorphic testing
68. Niklaus Wirth
69. Node (UML)
70. OBJ (programming language)
71. Object diagram
72. Object-oriented design
73. Object-oriented programming
74. Package diagram
75. Patrick Tse
76. Powertype (UML)
77. Profile diagram
78. Random testing
79. Rayson Huang
80. Reification (computer science)
81. Remote patient monitoring
82. Republic of China (1912–1949)
83. Richard Helm
84. Semantics (computer science)
85. Sequence diagram
86. Shing-Tung Yau
87. Shiuhpyng Shieh
88. Software bug
89. Software engineering
90. Software Engineering Institute
91. Software testing
92. Systems modeling language
93. T.H. Tse
94. Terence Tao
95. Term algebra
96. Test oracle
97. The Chinese University of Hong Kong
98. The Hong Kong Polytechnic University
99. The London School of Economics
100. The University of Hong Kong
101. Timing diagram (Unified Modeling Language)
102. Tony Hoare
103. Topological space
104. Tsong Yueh Chen
105. UML state machine
106. Unified Modeling Language
107. Use case diagram
108. Victor Basili
109. Vivian Yam
110. Waterfall model
111. William Ka Ming Lau
112. Xiang Zhang
113. Xie (surname)
114. Yo-yo Ma
115. 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.