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