Archive for September, 2007

For Amin

What is this saying, please take all the information and update us!

http://www.hec.gov.pk/new/ereforms/Broadband.htm

Wednesday, September 19th, 2007 Resources 2 Comments

Group Name/Domain

MMA has raised a good point which I would like to float here for discussion.

We’re currently calling ourselves “Security Engineering Group”. What if we move onto projects which are not directly related to Security. That would mean that our name is strictly restricted to security domain and we’re moving outside our domain. I agreed with MMA yesterday about this thing but I’ve had time to think about it overnight.

I am of the opinion that the name should remain unchanged for one reason: It will keep us focused. If we can get a project that is not related to security, our name will be a barrier in that case. But, the thing is that if we do not specialize in a domain, we can’t hope to get anywhere far with our research activities. Right now, we’re focusing only on security but are still having trouble addressing all fronts. We’re still in need of human resource. If we move onto more domains, it will make life more difficult for us.

So, my opinion. Keep the name, stick to the security domain.

This is open to discussion.

Wednesday, September 19th, 2007 Ideas 6 Comments

Isabelle Group on Facebook

I have just joined Facebook. It looks like a much cleaner community than Orkut. I’ve found a new group about Isabelle there and have sent you guys an invitation. Join up if you feel like it. It can be a good resource for the future and for bringing together a nice group of researchers.
http://www.facebook.com/group.php?gid=18553699736

Thursday, September 13th, 2007 Isabelle No Comments

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

Using the New Storage Space

A.A. everyone,

As I informed you earlier through mail, we have a new joint account on Gmail for keeping all files/conversations in a single place. It’s better than Yahoo groups because a) Yahoo groups isn’t good for searching and b) because it doesn’t save files.

I’m trying to get this thing to auto-forward but I can’t get it to forward to more than one email address. For the time being, you’ll have to CC all information to this email address. (I’m not posting the actual email here for fear of giving it out to spam bots. I don’t want to have to sort through the spam.)

Anyway, here are a few guidelines:

1. Always send a copy of all communication group-related to the email.

2. Include the name of the project in the subject. This rule is required for the auto-labelling filter and must be observed. Currently, the names are: Project-CL-IMS, Project-NUST and Project-SAMSUNG.  If a message is intended for more than one projects, include names of all the relevant projects.

3. Please make sure that the subject text is relevant and descriptive.    

Monday, September 10th, 2007 Resources 4 Comments

Meeting this Sunday

Dear Group Members,

I propose a group meeting on this Sunday. The agenda is the coming projects.

Please comment!

MM Alam

Thursday, September 6th, 2007 Uncategorized 6 Comments