16 Jan 2020
That's some great piece of research 😁👩💻👋
#InteractiveSoftwareSystems #UserTraces #UsageStyles #PopulationApproach to #UbicompSystemDesign #HCI #TemporalAnalytics
#EMalgorithm
#MarkovModels #ProbabilisticModelChecking
@m_j_chalmers @MorrisonAJ
@S4programme @EPSRC
16 Jan 2020
📢 Our Prof Muffy Calder @UofGSciEng will give this term's #StracheyLectureInComputerScience @CompSciOxford on 3 March 2020 titled ➡️ "#FormalMethods Reinvented: now with users, data, and inference"
Details: cs.ox.ac.uk/seminars/2323.ht…
@S4programme @GlasgowCS
@FormalMtds
3
4