R B Abhyankar | Bailey College of Engineering & Technology | Indiana State University-bc菠菜导航

R B B Abhyankar
Bailey College of Engineering & Technology, Electronic & Computer Engineering Technology
RB.Abhyankar@indstate.edu

Credentials

Conference Proceeding
1. Abhyankar, R. B. (2019). Computer-Based Proofs and Disproofs. 35, 118–119. http://ccsc.org/publications/journals/MW2019.pdf
2. Abhyankar, R. B. (2018). Teaching Deduction Using Athena and Related Tools. ACM SIGCSE 2018 Conference Proceedings , Baltimore, Maryland), 1106–1106. https://doi.org/https://doi.org/10.1145/3159450.3162208
3. Abhyankar, R. B. (2016). Formal Methods and Software Development. 32, 78.

Abhyankar, R. B., CCSC-MW 2023, "State Diagrams in Hardware and Software," Consortium for Computing in Colleges, University of Indianapolis, Indianapolis, Indiana. (October 21, 2023).
Abhyankar, R. B., 29th Annual CCSC Midwestern Conference, "Teaching Programming Paradigms Using CLIPS — Work In Progress," The Journal of Computing Sciences in Colleges, University of Wisconsin-Stout Menomonie, WI. (October 8, 2022).
Abhyankar, R., Sternfeld, R. W., 2021 Midwest Conference, "Practical Program Verification with Dafney," Consortium for Computing Sciences in Colleges, Ivy Tech. Fort Wayne, In. (October 2, 2021).
Abhyankar, R. B. (Author), CCSC MW 2016, "Formal Methods and Software Development," Taylor University, Upland Indiana. (October 8, 2016).

Abhyankar, R. B., "Travel Grant to attend Cybersecurity, GENI, and Liberal Arts Workshop," Sponsored by National Science Foundation, Federal, $250.00. (June 6, 2018 - June 8, 2018).
Abhyankar, R. B., "Travel Grant to attend GENI Regional Workshop and Summer Camp," Sponsored by National Science Foundation, Federal, $900.00. (May 13, 2018 - May 18, 2018).

Member
1. Member, Graduate Council. (August 1, 2019 - July 31, 2020).
2. Member, Graduate Council. (August 1, 2018 - July 31, 2019).
Secretary
1. Secretary, Graduate Programs Sub-Committee of the Graduate Council. (August 1, 2017 - July 31, 2019).