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
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.
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
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.
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.
Meeting this Sunday
Dear Group Members,
I propose a group meeting on this Sunday. The agenda is the coming projects.
Please comment!
MM Alam
Search
Recent Comments
- Khushal Khan on Dynamic Behavioral Attestation for Mobile Platforms
- Dynamic Behavioral Attestation for Mobile Platforms - Project « recluze on DBAMP
- shazkhan on Backing up OpenMoko FR before bricking it and getting your custom kernel and rootfs onto it …
- shazkhan on Getting Java on Openmoko
- shazkhan on A Standardized .bib File
Archives
- November 2008 (6)
- October 2008 (4)
- September 2008 (2)
- August 2008 (4)
- July 2008 (1)
- June 2008 (5)
- January 2008 (5)
- December 2007 (5)
- November 2007 (5)
- October 2007 (3)
- September 2007 (6)
- August 2007 (14)
- July 2007 (25)
- June 2007 (24)
- May 2007 (33)
- April 2007 (70)
Categories
- Achievements (7)
- Announcements (16)
- Blogroll (1)
- Conferences (11)
- Formal Methods (8)
- Ideas (11)
- Isabelle (6)
- Linux (18)
- News (28)
- Publications (1)
- Resources (30)
- SELinux (10)
- Trusted Computing (11)
- Uncategorized (104)