 | Bio (brief) |
(timm's home page= http://menzies.us)
Dr. Tim Menzies has been working on advanced software engineering techniques since 1986. He is the author of nearly 150 research papers and currently a
software quality consultant to
NASA's Independent Verification and Validation (IV&V) Facility
and is on the research faculty at Computer Science, Portland State,
and Computer Science and Electrial Engineering,
West Virginia University.
Dr. Menzies received his PhD from the University of New South Wales, Sydney, Australia.
Publications:
Since 1987, published 149 referred articles:
33 international referred journal articles and book chapters
and editorials for special issues of journals
87 papers at major forums (conferences and workshops). For
more details, see
http://menzies.us/papers.html
(attached).
Currently:
Member, editorial board, Journal of Visual Programming and Languages.
PC Member, IEEE Automated Software Engineering (2004)
Previously:
PC member:
- IEEE International Symposium on High Assurance Systems Engineering (2004)
- IEEE NASA Software Engineering Workshop (2003)
- Automated Software Engineering, 2003
-
IEEE Metrics 2003;
-
Automated Software Engineering, 2002;
Guest editor,
- special issue of IEEE Intelligent Systems, "AI's Second Century".
- pecial issue of Requirements Engineering Journal, "Model-based
requirements engineering".
- two special issues of the International Journal of
Human Computer Studies (IJHCS).
Co-founder of the WISE (workshop on intelligent software
engineering) and MBRE (model-based requirements engineering) series.
Program committee member for (i)10 international conferences
including Automated Software Engineering, International Conference
on Knowledge Capture, (ii)16 international workshops, (iii)5
Australian national workshops. Organising committee member for 2
international workshops, 4 national conferences,workshops.
Reviewer, international referred journals including CACM, IJHCS,
Informaticia, IEEE Transactions on Software Engineering. Journal of
Logic Programming, IEEE Software.
| | Greetings! |
Welcome to the web of the worldly, wide, Tim Menzies.
I am a cognitive scientist/software engineering researcher/
educator.
Career: Nurse + knowledge engineer + taxi-driver +
NASA rocket(ish) scientist + newspaper editor + an OO consultant +
uni. lecturer. Always Australian but never a surfer/hippy (I tried,
but my watch needs tension in the spring to make it go).
Currently:
Consultant to the NASA
IV&V Facility, Fairmont, West Virginia and
research faculty at Computer Science, Portland State University
and West Virginia University.
 Research:
Quality assurance methods for software engineering:
in
particular, what's the most cost-effect QA method(s)
School daze:
1985: BSc(Com. Sci.) UNSW, Australia.
1988: MCogSc
UNSW, Australia.
1995: PhD(AI) UNSW, Australia.
Nationality:
Australian
Happy place:
happy(timm) :-
married, coffee,
netAccess, trashySciFi,
data, gradStudents,
(prolog; perl; awk),
(sunshine; heat),
sarong, thongs, beach.
| | Current positions |
Consultant to the NASA Independent
Verification and Validation Facility http:// www.ivv.nasa.gov
Research Lecturer, Depatment of Computer Science,
Portland State University
http://www.cs.pdx.edu
Research Associate Lecturer, Depatment of Computer Science
and Electrical Engineering,, University of West Virginia
http://www.csee.wvu.edu
| | Some Details |
Address:
Computer Science, Portland State University,
Room 120,Fourth Avenue Building, 1900 SW 4th Avenue,
Portland, Oregon 97201
Phone:
1-360-546-9487
Fax:
1-503-725-3211, attn Tim Menzies
Email:
tim@menzies.us
Age:
43
Degrees:
Ph.D. UNSW, 1995;
M.CogSc UNSW, 1988;
B.ComSci UNSW, 1985
Nationality:
Australian
| | Bio (long) |
Dr. Tim Menzies is a cognitive scientist exploring how quirks in human cognition effect the process of software and knowledge engineering.
He holds a Ph.D. in artificial intelligence (1995), a masters of cognitive science (1988) and a computer science undergrad degree (1985),
all from the University of New South Wales, Sydney, Australia. Currently,
he teaches advanced software engineering methods at CS, Portland State University
and consults to the software assurance research at NASA's Independent Verification and Validation (IV&V) Facility. In that role, he:
Advises NASA on software assurance research possibilities,
Monitors and advises on the four dozen research projects funded from that center.
Explores synergies between those research projects
Dr. Menzies previously worked with commercial organizations on object-oriented systems and expert systems.
He is the author of over 150 research papers
Dr. Menzies is the co-founder and organizer of:
WISE: the international workshop on intelligent software engineering (he was chair of WISE2000 at ICSE 2000).
MBRE: the international workshop on model-based requirements engineering (he was chair of MBRE01 at ASE 2001).
He has served as guest editor for special issues of two International Journal of Human Computer Studies (IJHCS) and one special issue of the Requirements Engineering Journal. Also, he has been on the program committee member for 20 international conferences and workshops and numerous national workshops and conferences. Further, he has reviewed papers for many international referred journals including Communications of the ACM, IJHCS, Informaticia, IEEE Transactions on Software Engineering and the Journal of Logic Programming.
| | Research Goals |
I want to make writing software easier. The next generation of software
tools should be built from a careful analysis of what has been proved
useful in our current suite of technologies. Inside successful
technologies are some subset that reflects the core of the competency of
that technique. This core is probably much smaller and more uniform than
the large and overly complex systems we see around us today.
To develop software for that core, I need a research centre. To test
that software, I need access to real-world industrial applications.
Hence, I seek to work where I can combine both a real-world applications
and a research environment.
| | Career |
Freelance software research: 1/04 to present:
Self-funded on grants. Working on software quality assurance issues.
Teaching advanced software engineering at CS, Portland State University.
Software Engineer Research Chair, NASA IV&V: 12/01 to 12/03:
NASA Verification and Validation Facility http://ivv.nasa.gov,
Fairmont, West Virginia, USA. In that role, I monitored and assessed
research projects and proposals and taught graduate software engineering.
While in that role, I introduced research quality indicators for that program and
doubled the funding allocated from NASA to West Virginia University.
Reason for leaving: partner's new job was across the country.
Research assistant professor: 7/00 to 12/01
UBC, Vancouver, Canada.
Taught undergraduate and graduate software engineering. Revised
the SE teaching curriculum. Supervised a dozen masters and other
student research assistants. Chaired the departmental computer
committee (which entailed a total revision of the department's
IT structure, staffing and resource policies).
Reason for leaving: the above NASA job.
Research Associate: 7/98 to 6/00
NASA/WVU Independent Verification and Validation Facility.
Fairmont, West Virginia, USA.
I was recruited to this position from Australia. In this
position, I researched optimizations to testing for real-time
systems and manage NASA Fairmont's research funds for outside
research groups.
Reason for leaving: uncertainty in continuation of soft money
grants.
Vice- Chancellor's Research Fellow: 6/96 to 6/98
UNSW, Sydney, Australia. I was one of the 6 accepted from 170
candidates.
Reason for leaving: the above NASA job.
Commercial object-oriented and expert system consultant: 11/86 to 6/98
In that time I built applications and published research papers.
The applications included process control, foreign exchange risk
exposure management, consumer loan approval, debugging ART
knowledge bases, and intelligent questionnaires, and farm
management (this farm management application became Australia's
first exported expert system). The publications explored logic
programming techniques and practical knowledge representation
tools.
Reason for leaving: the above NASA job
Lecturer, Software Development: 2/95 to 6/96
Monash University, Caulfield, Melbourne, Australia.
Reason for leaving: sought a more research-oriented environment.
Hence, moved on to the above VC research fellow's position.
Ph.D.: 4/91-2/95
UNSW, Sydney, Australia
Newspaper editor: 4/86 to 12/86
Tharunka, UNSW, Sydney, Australia
Undergraduate, Computer Science: 2/82 to 12/84
UNSW, Sydney, Australia
General nursing: 1/79 to 2/82
Sydney, Australia
| | Grants |
Totals:
$606,000 (USD) $81,000 (CAN) $145,000 (AUS)
Details:
The research rover, 2004: A NASA WVU USIP: $48,000 USD XXX
See more! Learn more! Tell more!, 2004: A NASA WVU USIP: $45,000 USD XXX
A next-generation testable language, 2004: A NASA WVU USIP: $35,000 USD XXX
Integrating model checking & procedural languages, 2003:
A NASA IV&V DDF.
$50,000 USA
Understanding models better, 2003:
A NASA WVU USIP: $17,000
See more! Learn more! Tell more!, 2003:
A NASA WVU USIP: $47,000
A spectrum of IV&V techniques, 2002/2003:
A NASA WVU CSIP. $200,000 USD
Better risk modelling, 2002:
A NASA CSIP. $27,000 USD
Tree query languages, 2001:
A NASA CSIP. $27,000 USD
NSERC research grant, 2000:
$81,000 CAN (over three years).
The High Quality Knowledge base Initiative, 1998:
A NASA CSIP. $110,000 USD
Abduction for software engineering, 1997:
An ARC small grant. $10,000 AUS
Vice-Chancellors Research Fellowship, 1996:
UNSW. $135,000 AUS (over three years)
| | Teaching |
Teaching Philosophy:
Two principles inform my approach to teaching:
process
immediate application.
Process: Students destined for industrial careers should gain
experience with group-work as early as possible in their degree. Only in
groups can students learn the value of process methodologies.
Immediate Application: Most learning theory is based on studies with
children. Children are content to store information for use some day far
away. Adult learning practice must be different. Adults learn best when
their learning allows them to manipulate their immediate environment
better. Hence, I use example-based learning for university students.
This approach gives students that quick feedback that adult learners
prefer.
Lecturer-in-charge:
Data Mining (2003), 4th year
Knowledge enginering (2003), 4th year
Software V&V (2003), Masters course year
Data Mining (2002), 4th year
Knowledge Engineering (2002), 4th year
Modelling and analysis of software (2000), 4th year.
Domain specific languages (2001), graduate class.
Operating systems (2001), 60 third year students.
Operating systems (2000), 60 third year students.
OO software development (1997-98), 200 fourth year students
Software engineering (1996), 150 third year students
Visual programming (1996), 50 third year students
Research methods (1995,1996), 20 fourth year students
Databases (1994), 40 third year students
Lecturer:
Knowledge engineering (1996), 40 fourth year students
Artitical intelligence (1993-1997), 180 students per year
Software engineering (1994), 90 students
| | Awards |
Fellowships:
1996-1998: Vice-Chancellor's Post-doctoral research fellow.
Scholarships:
1991-1994: APRA PhD scholarship, UNSW.
Prizes:
Best student paper, 1994:
AAAI Knowledge Acquisition workshop, Banff, Canada
Senior year database prize 1984:
UNSW, Computer Science
|
|