@MaryStar how did it go? were there other presentations? what did you think? what were the other topics?

re industry there are many areas of CS that are now applicable... are you saying you want to do a MS thesis that is close to something applicable in business/ industry?

unf there seems a lot of pushback against getting MS/ Phd topics from anyone not your own advisor. dislike this myself because think it is significant obstacle in the way of open science.

re topics lots of ideas on Tmachine blog... tell me what you think...

it would really help if you described some of your personal academic history, electives, extracurricular interests etc more to find "good fits"....

@MaryStar Talk to potential supervisors. Work on something you are interested in and that's fun for you.

@Gilles @WanderingLogic I feel like this question deserves better tags. What do you think? program-analysis, static-analysis, data-flow, .... -- there are too many candidates that sound appropriate to me, but I don't have a good overview of the field.

@Raphael well, data-flow-analysis would be the obvious one

odd that we don't have static-analysis

I guess we use program-verification with that meaning

@Gilles Having both, maybe as synonyms, would make sense, wouldn't it?

@Gilles Isn't there a larger family of analyses?

For the volume this field is getting, a slightly broader tag may be better.

@Gilles Hm, in my mind verification is not the same as analysis.

@Raphael looks like @Gilles beat me to the retagging.

@Raphael data-flow-analysis is a kind of static-analysis. Two other kinds of static analysis are unification (for which we do have a low-use tag), and abstract interpretation, which AFAIK is just a slightly different way of thinking about data-flow analysis. Wikipedia also mentions model-checking, which you can use if you can figure out how to abstractly interpret the program as a finite state machine.