| 1 |
atoth@××××××××××.hu <atoth@××××××××××.hu>: |
| 2 |
> On Sze, Február 13, 2008 06:07, Geoff Kassel wrote: |
| 3 |
> > |
| 4 |
> > No problems. My background in QA is primarily regression testing and code |
| 5 |
> > quality reviews (although it's been ages since I've done any of this with |
| 6 |
> > C) - my formal methods background is formal specification, model checking, |
| 7 |
> > theorem proving, and formal derivation of code from formal specification. |
| 8 |
> > (Yes, I'm a recovering academic :) |
| 9 |
> |
| 10 |
> It would be a good strategy IMHO to recruit graduates to work on security |
| 11 |
> stuff. It's a really fascinating topic to immerse in the depth of the |
| 12 |
> toolchain and its security features - for a passionate graduate. Of course |
| 13 |
> it requires a supervisor... |
| 14 |
|
| 15 |
I work at the University of Wisconsin Madison as a sysadmin (of course |
| 16 |
running hardened) and planning on going to grad school in the next year to |
| 17 |
start a masters program. I've also daydreamed about using this as a |
| 18 |
launching point for a research project, but wasn't sure if it was |
| 19 |
feasible. That'll have to wait for now, but when I'm ready I'll post back |
| 20 |
and see who's interested in sponsoring me in such efforts. For the |
| 21 |
meantime, I'll see if I can take a look at bugzilla stuff. |
| 22 |
|
| 23 |
Brian |
Archives