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