seanmk's user avatar
seanmk's user avatar
seanmk's user avatar
seanmk
  • Member for 12 years, 11 months
  • Last seen more than 2 years ago
Stats
326
reputation
12k
reached
6
answers
2
questions
Loading…
About

I'm an Engineering Professor who worked as a software engineer for nearly a decade before going to graduate school.

My research is primarily on runtime verification of safety-critical systems, although I also work on functional safety, automata mining, and anomaly detection.

My last job before re-entering academia was as a principal software engineer at Oracle writing mostly Java and JavaScript. This is why you will see a somewhat eclectic mix of topics in my activity.

If you're curious, my avatar is a dodgeball.

This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
9
Score
3
Posts
38
Posts %
7
Score
2
Posts
25
Posts %
5
Score
1
Posts
12
Posts %
5
Score
1
Posts
12
Posts %
2
Score
2
Posts
25
Posts %
2
Score
2
Posts
25
Posts %
Top posts