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. Activity diagram
4. Ailsa Land
5. Algebraic semantics (computer science)
6. Bill Curtis
7. Capability Maturity Model
8. Carlo Ghezzi
9. Carnegie Mellon University
10. Chittoor V. Ramamoorthy
11. Citation
12. Class diagram
13. Communicating sequential processes
14. Communication diagram
15. Communications of the ACM
16. Component diagram
17. Continuous integration
18. Converse relation
19. Charlie Chaplin
20. Daniel Jackson (computer scientist)
21. David Harel
22. David Notkin
23. Debugging
24. Deployment diagram
25. Differential testing
26. Equivalence relation
27. Empirical Software Engineering
28. Enterprise software
29. Erich Gamma
30. Frank Land
31. Function (mathematics)
32. Gail C. Murphy
33. Gerard J. Holzmann
34. Glossary of project management
35. Group theory
36. Haar wavelet
37. Harlan Mills
38. Hua Luogeng
39. Hypothetico-deductive model
40. IEEE Software
41. IEEE Transactions on Software Engineering
42. Impact factor
43. Information and Software Technology
44. Information Sciences
45. Institution (computer science)
46. Interaction overview diagram
47. ISO 31-11
48. Jose Meseguer
49. Joseph Goguen
50. Journal of Systems and Software
51. K-means clustering
52. Lionel Briand
53. List of alumni of the University of Hong Kong
54. Metamorphic testing
55. Niklaus Wirth
56. OBJ (programming language)
57. Object diagram
58. Object-oriented design
59. Object-oriented programming
60. Package diagram
61. Patrick Tse
62. Profile diagram
63. Random testing
64. Rayson Huang
65. Remote patient monitoring
66. Republic of China (1912–1949)
67. Richard Helm
68. Semantics (computer science)
69. Sequence diagram
70. Shing-Tung Yau
71. Shiuhpyng Shieh
72. Software bug
73. Software engineering
74. Software Engineering Institute
75. Software testing
76. T.H. Tse
77. Terence Tao
78. Term algebra
79. Test oracle
80. The Chinese University of Hong Kong
81. The Hong Kong Polytechnic University
82. The London School of Economics
83. The University of Hong Kong
84. Timing diagram (Unified Modeling Language)
85. Tony Hoare
86. Topological space
87. Tsong Yueh Chen
88. Unified Modeling Language
89. Victor Basili
90. Waterfall model
91. Xie (surname)
92. Yo-yo Ma
93. 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.