Eventually I'll turn this into a BLOG describing the Irregular Motif which is my typical existence. For now, let me quickly update the web page to say that I now work with Smart Information Flow Technologies (SIFT), where I continue to work largely on government (DARPA, NASA) funded research projects.
My personal techology areas of interest lean towards Model-Based Development and Formal Methods. Someday I'll include a list of my publications here too, so you may explore those topics more fully.
For the record, I previous worked with a very talented group of individuals at Honeywell Laboratories.
Quick links of things to share:
My SSH hacks and notes
A not-so-random collection of SSH related hacks, notes and tips, mostly revolving around making it useable, even when trapped in draconian computing environments.
A BASH shell script that automates the correct setting of environment variables to use ssh-agent amongst multiple shells on the same machine. Once you download it, place it in your ~/.ssh/ directory and add this to your ~/.bashrc configuration script, presumably at or near the end:
# setup ssh-agent, if appropriate if [ -f "$HOME/.ssh/sssha" ]; then source $HOME/.ssh/sssha fi
Of course, read the source and change as needed, and validate that I'm not doing any keylogging or anything ;-) If you need more information on why this is interesting, check out my page on using Secure, Yet Password-Free SSH
This is an Emacs mode for Promela code that I wrote and maintain. Promela is the input language to SPIN, a model-checker originally designed for modeling and verifying computer protocols.
E-Mail: engstrom (-AT-) m t u (-DOT-) n e t