Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers
Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers
复制标题
为早期研究人员提供基于身份的形式方法和计算指导
DOI：
10.1145/3328778.3366957
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Piskac, Ruzica
中科院分区：
文献类型：
--
作者：
Santolucito, Mark;Piskac, Ruzica
The field of formal methods relies on a large body of background knowledge that can dissuade researchers from engaging with younger students, such as undergraduates or high school students. However, we have found that formal methods can be an excellent entry point to computer science research - especially in the framing of Computing Identity-based Mentorship. We report on our experience in using a cascading mentorship model to involve early stage researchers in formal methods, covering our process with these students from recruitment to publication. We present case studies (N=12) of our cascading mentorship and how we were able to integrate formal methods research with the students' own interests. We outline some key strategies that have led to success and reflect on strategies that have been, in our experience, inefficient.
登录
查看更多内容
DOI：
10.1145/3105726.3106177
发表时间：
2017-08
期刊：
Proceedings of the 2017 ACM Conference on International Computing Education Research
影响因子：
--
作者：
Amy J. Ko;K. Davis
通讯作者：
Amy J. Ko;K. Davis
程序修复的类型导向方法
DOI：
--
发表时间：
2015
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Alex Reinking;R. Piskac
通讯作者：
R. Piskac
尽早发现：针对低年级学生的实习和助理计算机科学指导计划
DOI：
--
发表时间：
2018
期刊：
Technical Symposium on Computer Science Education
影响因子：
--
作者：
Meg Fryling;MaryAnne L. Egan;Robin Y. Flatland;Scott L. Vandenberg;S. Small
通讯作者：
S. Small
计算机科学中的系统指导模型
DOI：
10.1145/1167350.1167453
发表时间：
2005
期刊：
Proceedings of the 2018 ACM Conference on International Computing Education Research
影响因子：
--
作者：
R. Tashakkori;James T. Wilkes;Edward G. Pekarek
通讯作者：
Edward G. Pekarek
通过社会启发的学习和持续的指导让非传统学生参与计算机科学
DOI：
10.1145/2676723.2677266
发表时间：
2015
期刊：
Proceedings of the 46th ACM Technical Symposium on Computer Science Education
影响因子：
--
作者：
Jennifer J. Burg;V. P. Pauca;William H. Turkett;Errin W. Fulp;Samuel S. Cho;P. Santago;Daniel A. Cañas;H. Gage
通讯作者：
H. Gage