YC Computer Students Work with AdaCore and SPARKOn Friday, February 15, 2019, students in the Yeshiva College computer science program met with engineers from AdaCore, a global company that helps clients build high-integrity software. The workshop centered on SPARK Ada, a programming language that enhances Ada鈥檚 core purpose of producing code for situations that require a high degree of reliability with SPARK鈥檚 capacity for ensuring code that is bug-free before it is deployed.
According to Jessie Glockner, AdaCore鈥檚 GNAT Academic Program (GAP) coodinator, the workshop with YU students was a first for them.
鈥淥ur engineers don鈥檛 typically teach undergraduate classes as part of our GAP program,鈥 said Glockner, 鈥渂ut the on-site hackathon at Yeshiva, arranged through Judah Diament, the chair of the department, and Ed Schonberg, AdaCore vice president, brought in Rob Tice, technical account manager, and Albert Lee, senior software engineer, to work with the students on a defined challenge.鈥
Albert Lee, AdaCore software engineer
The first half of the session involved an introduction to the Ada and SPARK programming languages as well as instruction on how to write bug-free code. The second half of the session was the hackathon, where students were tasked with applying what they had learned to enable two Microbits to talk to each other over a radio link. (A Microbit is an open source hardware ARM-based embedded system that was designed by the BBC for use in computer education in the UK.)
鈥淯sing SPARK Ada, software developers can develop code where theory and practice have been proven to be the same,鈥 said Lee. 鈥淚t is astonishingly state-of-the-art, and we were excited to introduce the language, tools and concepts to the students at the YC hackathon.鈥
Isaac Scheinman 鈥20YC, who is double majoring in mathematics and the distributed systems track in computer science, found the hackathon very exciting and rewarding. 鈥淎da is very important for any person who might want to work in any field where security and reliability is extremely important,鈥 said Scheinman, 鈥渁nd the workshop is right in line with what the department is doing to prepare us for being good computer scientists. All my professors really understand the material they are teaching, and all have very impressive real-world experience that they are able to impart.鈥
For Diament, the value of workshops with companies like AdaCore lies in the fact that they 鈥渆xpose students to tools for industries and applications other than internet tech companies and financial firms and give them opportunities to work with trainers and engineers in an area of computer science to which they otherwise wouldn鈥檛 be exposed.鈥
Glockner agrees. 鈥淎daCore and the larger Ada community are passionate about promoting the development of reliable, high-integrity software. We believe that students exposed to Ada and SPARK at an early stage of their career become more skilled and principled programmers, and by encouraging safe and secure programming in academia, we hope to promote sound software engineering principles that will push industries forward.鈥
On Friday, February 15, 2019, students in the Yeshiva College computer science program met with engineers from AdaCore, a global company that helps clients build high-integrity software. The workshop centered on SPARK Ada, a programming language that enhances Ada鈥檚 core purpose of producing code for situations that require a high degree of reliability with SPARK鈥檚 capacity for ensuring code that is bug-free before it is deployed.
According to Jessie Glockner, AdaCore鈥檚 GNAT Academic Program (GAP) coodinator, the workshop with YU students was a first for them.
鈥淥ur engineers don鈥檛 typically teach undergraduate classes as part of our GAP program,鈥 said Glockner, 鈥渂ut the on-site hackathon at Yeshiva, arranged through Judah Diament, the chair of the department, and Ed Schonberg, AdaCore vice president, brought in Rob Tice, technical account manager, and Albert Lee, senior software engineer, to work with the students on a defined challenge.鈥
Albert Lee, AdaCore software engineer
For Diament, the value of workshops with companies like AdaCore lies in the fact that they 鈥渆xpose students to tools for industries and applications other than internet tech companies and financial firms and give them opportunities to work with trainers and engineers in an area of computer science to which they otherwise wouldn鈥檛 be exposed.鈥
Glockner agrees. 鈥淎daCore and the larger Ada community are passionate about promoting the development of reliable, high-integrity software. We believe that students exposed to Ada and SPARK at an early stage of their career become more skilled and principled programmers, and by encouraging safe and secure programming in academia, we hope to promote sound software engineering principles that will push industries forward.鈥
