Tuba Yavuz

Mentor
Tuba Yavuz, Assistant Professor
Project Title
SMACK GUI
Time Commitment
6-10 hours/week
Method
Unpaid
Possible Co-Authorship
Yes
Project Description

We are looking for motivated students who have exceptional programming skills and significant experience in GUI design. We have a new formal modeling language (State Machines with Callbacks or SMACK for short) for software systems designed in a programming model with callbacks such as the Android framework. This project will involve developing a GUI interface that can help developers visualize and navigate their SMACK models.

Contact Info

Email: tyavuz@ufl.edu

Phone: (352) 846-0202