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