Master thesis by Maria Khakimova: "Enhancing Proof Assistant Error Messages with Hints: A User Study"

"We implemented hint enhancements for the error messages displayed upon three common mistakes: forgetting whitespace, using confusable Unicode characters, and supplying too few arguments to a function. A between-participants user study was then conducted with 70 students [..]"

https://repository.tudelft.nl/record/uuid:52513287-7149-41f1-a8e8-8e38696cb283

#Agda #DependentTypes #ProofAssistants #ErrorMessages #Usability #UserStudy #master #thesis

ELEGNT: Expressive and Functional Movement Design for Non-anthropomorphic Robot https://arxiv.org/pdf/2501.12493 #AI #robots #UserStudy (like the Pixar expressive desk lamp)

ELEGNT: Expressive and Functional Movement Design for Non-anthropomorphic Robot https://arxiv.org/pdf/2501.12493 #AI #robots #UserStudy (like the Pixar expressive desk lamp)

#any #quantitative #researcher #conducting #userstudy #qualitative #phdstudent #doctoratestudent #phd #doctorate #motivation #meme #memes #phdmotivation #phdmeme #phdmemes #phdlife #phdstudentlife #phdtroll #doctoratemotivation #doctoratememe #doctoratememes #doctoratelife #doctoratestudentlife #doctoratetroll

Looking for participants!

We are running a user study to evaluate a prototype interface for discussing data visualizations. If you are interested in our work and want to support our research, join one of the sessions!

Register here: https://forms.gle/tAd5EHWKwy8vJxQw6

#UserStudy #DataVis #DataViz

The 6 Types of Conversations with Generative AI https://www.nngroup.com/articles/AI-conversation-types/ (useful tips for designers of AI interfaces) #AI #UserStudy #usability

I am searching for #UserStudy #participants for my master’s thesis 🤓

Topic: #UX & #accessibility #overlay

Prerequisite:
- #visual #impairment or #disability
- time in June or July for ~60min
- Online

If this sounds interesting, please fill out this pre-selection questionnaire: https://forms.office.com/e/DGLK97G1aN (available in German and English)

Sadly I cannot offer compensation (I’m just a student), but I hope that some of you might still be willing to participate 🤗 #a11y

I found a company willing to give me a copy of their website to use during my #UserStudy for my #MasterThesis. But now, the dev they hired to build and maintain the website wants to keep me from accessing the code as it is "his creation".

What are you afraid of? Hiding smth? 🧐😅

Nice to start the year with a publication from a collaboration with Nai Yang and others: Comparison of font size and background color strategies for tag weights on tag maps https://www.tandfonline.com/doi/full/10.1080/15230406.2022.2152098 #cartography #visualization #maps #mapreading #userstudy #eyemovement #tagcloud #geography