Mathematical Skills

Mathematical skills are absolutely necessary for every researcher, who want excel in the research domain. An example can be taken of a PhD student, asked to specify its approach mathematically. Further steps, in this area means, not only specification, but some how, advanced steps, like verification.

Pakistan is currently short of such skillful people, and it is a our moral duty to practice such skills and propagate.

Though, its seems difficult now that how to manage our original research, together with formal or mathematical skills, but a pain in the start, is going to be a certain gain in the near future.

Tuesday, September 11th, 2007 Formal Methods

2 Comments to Mathematical Skills

  1. I think so, that learning these formal skills need a plan, a concrete plan basically.

    First of all, motivation is significantly important.
    Suppose, if i am working SELinux area, how can i use the or apply formal approach.

    Secondly, a very simple start is necessary. Suppose with Isabelle case, one can start with Isabelle, with the beginning chapters. Afterwards, keeping in view the desired goal, one can set or reset his/her direction occasionally.

    Constant motion is a key to success in formal skills. Some times, due to external factors, one is lost, but after solving the external problems, one shall re-concentrate.

    Proper motivation and environment are other key factors in this route. I wish, if with my presence, such an environment can be formalized inshAllah.

    2. alam78 on September 11th, 2007

  2. I agree with this requirement of math in computer science and think there should be more focus on math subjects in the universities. Someone will have to take this initiative and whoever does it is likely to reap many benefits from the process.

    And of course, there has to be an environment and a motivation for all those involved to keep them working. :)
    Let’s pray for the best.

    3. recluze on September 12th, 2007

Leave a comment

Search