Mikoláš Janota - SIGCSE Virtual 2024

Thu 5 - Sun 8 December 2024

Registered user since Tue 30 Oct 2018

Name:Mikoláš Janota

Country:Portugal

Affiliation:INESC-ID, IST, ULisboa

Personal website: http://sat.inesc-id.pt/~mikolas

Research interests:Constraint Solving, SMT

Contributions

2024

SIGCSE Virtual

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education

Show activities from other conferences

SIGCSE Virtual 2024-profile
View general profile