|
Myra VanInwegen |
Myra VanInwegen
I'm working for a very small startup called Tenison Tech EDA. I still have strong ties with the Automated Reasoning Group at the University of Cambridge Computer Lab, where my office is located.
My previous job was as a research associate with Mike Gordon, working on the Handel Project (officially known as the Handel Compilation Workbench), an EPSRC-funded project issued to us in collaboration with the Oxford University Hardware Compilation Research Group. Before this I was working on Verilog, especially on working out the details of expression evaluation. See here for some descriptions of my findings.
My colleagues in the lab and at Tenison Tech are David Greaves, Daryl Stewart, Simon Moore, and Konrad Slind.
If you're anywhere near the Computer Lab when the Directors of Studies are looking for supervisors, you get drafted into supervising. I've been doing it for 4 years and feel like a pro. I specialize in the more theoretical/mathematical courses for Part IB students. I've produced a series of handouts that explain various things. The most useful one are here.
Since arriving here May 13th 1996, I have been actively exploring the local area, finding interesting things to do and places to explore. I like it here very much. There are lots of wonderful old buildings (for example, those in St. John's College), as well as some ugly new ones (including the one I work in).
Computer Science Bibliography Glimpse Server,
English-to-American Dictionary
AltaVista Search,
Google,
Deja News,
BBC News
Last Minute Holidays,
World Wide Journeys,
Currency Rates
U Cambridge Map,
Map of Cycle
Route to William Gates Building (where I work)
Cambridge Area Map,
OS,
Street Map,
Cambridge Pub Guide,
Cambridge Restaurant Guide
Train Times,
Coach Times,
London Underground Maps,
Bikes on the Underground
Metric Conversions,
Yellow Pages
Bike lights,
NiCad Lady,
Electronics,
Maplin Catalog,
CPC
AT&T Weather,
Cambridge Forecast 1,
Cambridge Forecast 2,
East Anglia Forecast
Cambridge 5-day 4-cast