Stanly Samuel

Stanly Samuel

Educator |
Research student

Personal Profile

With a combination of industry, teaching, research and entrepreneurial skills, I aim to solve challenging problems efficiently. Currently, I am working as a research student at IISc, Bangalore in the area of Reactive Program Synthesis.

Current

Graduate research student at CSA, Indian Institute of Science

August 2016 - December 2018 (Expected)

Research Problem: Automated synthesis of satellite control software with the Indian Space Research Organization (ISRO)
Advisor: Prof. K. V. Raghavan
Research Area: Formal methods, Program Analysis, Verification and Synthesis

Projects and Research

Automated synthesis of satellite control software with the Indian Space Research Organization (ISRO)

Jan 2017 - ongoing

Technologies being used: Boogie tool by Microsoft Research, Z3 SMT solver


This is my research problem in the area of Reactive Program Synthesis. This project is heavily based on automata theoretic and program analysis techniques with a hint of game theory.

GenSys- A tool for Controller Synthesis

Jan 2017 - Sept 2017

Technologies used: KodKod - A relational model finder, Alloy, MiniSAT, Java


Total ordering atomic broadcast protocols using token ring

March 2017 - April 2017

Technologies used: C


Aranca Website

Feb 2015 - May 2015

Technologies used: Craft CMS, Virtual Box using Laravel Homestead, Git, Grunt, Sass


Worked on a four month project for Aranca, a leading provider of customized investment research, business research, intellectual property research and valuation services to global clients. My work involved designing and developing the front end architecture. The highlight of this project was working with Web Components on the front end. We had to design modules which could be placed anywhere on the website without breaking the site.

Virtual Air Guitar

September 2011 - May 2012

Technology used: MATLAB


My final year augmented reality project based on color detection, image processing and sound processing techniques.

Education

Indian Institute of Science, Bangalore

MTech(Research) in Computer Science, 2016-2018(expected)

CGPA: 7.5

Xavier Institute of Engineering, Mumbai

BE-Computer Engineering, 2008-2012

First Class with Distinction

Work Experience

Founder at Stanly Classes, Mumbai

January 2015 - May 2017

This is my solo venture where I teach the following subjects:
'Theoretical Computer Science / Automata Theory', 'Operating Systems' and 'Systems Programming and Compiler Construction'.
The venture ended its fourth season in May 2017 with a total of 100+ satisfied students.

Freelance Web Engineer / Trainer

August 2014 - March 2016

  • Workshop on Front end technologies(HTML5, CSS3, JS and Bootstrap), St. Francis Institute of Technology, Mumbai, March 2016
  • Workshop (Virtual Session) on Bootstrap, Atharva College of Engineering, Mumbai, Feb 2016
  • Workshop on MEAN Stack, Mumbai, June 2015
  • Project - Aranca Website, Feb 2015 - May 2015
  • Workshop on MEAN Stack, Goa, January 2015

Founder at Gnostopedia

January 2014 - August 2014

Gnostopedia (Gnosis + Pedia = Collection of Knowledge) was my online educational startup where I worked as a content developer. I had started with video explanations for various technical questions which were asked in the GATE exam organized by the Indian Institute of Technologies. I developed, created and recorded contents using simple tools. The subjects were part of the undergraduate curriculum of Computer Science. Solving a particular problem in depth, designing its teaching methodology, flow, pattern and finally explaining the problem accurately (by eliminating potential doubts), was a challenging task.

Lecturer at St. Francis Institute of Technology, Mumbai

July 2013 - June 2014

I have worked as a lecturer for the subjects ‘Mobile Computing’ and ‘Theoretical Computer Science’ for fourth year and second year students of computer engineering respectively. My work included conducting lectures, lab sessions, setting up exam papers, assessing these papers, conducting viva sessions and grading the students at the end of the semester. Other subjects taken are Software Engineering, Web Technologies and Distributed Systems.Apart from teaching, I also worked in the Placement Committee of the college. My primary aim in this committee was to increase the placements in this college and to achieve 100 percent placement goal.

Lecturer at Xavier Institute of Engineering, Mumbai

January 2013 - May 2013

I have worked as an ad-hoc lecturer for the subjects ‘Internet Programming’ and ‘Software Engineering’ for second year and third year students of Information Technology respectively. My work included conducting lectures, lab sessions, setting up exam papers, assessing these papers, conducting viva sessions and grading the students at the end of the semester.

Key Skills

  • Teaching
  • Theoretical Computer Science
  • Operating Systems
  • Program Analysis
  • Algorithms
  • Program Verification
  • Program Synthesis
  • Research
  • Digital Marketing
  • Decision Making
  • Negotiations

Publications

International Exposure

  1. Presented a technical paper at the ICCASA conference, Dubai, United Arab Emirates, October-2014
  2. Chaired the technical session at ICCASA conference, Dubai, United Arab Emirates, October-2014

Informal Teaching Experience

  1. Systems Programming and Compiler Construction - May 2017
  2. Theoretical Computer Science- - May 2017
  3. Systems Programming and Compiler Construction- Jan 2016 - June 2016
  4. Theoretical Computer Science- January 2016 - June 2016
  5. GATE Prep- March 2016 - April 2016
  6. Derivatives- March 2016 - April 2016
  7. Operating Systems- August 2015 - November 2015
  8. Derivatives and Integration- April 2015
  9. Theoretical Computer Science- January 2015 - June 2015
  10. IIT-JEE Mathematics Prep- August 2014 – November 2014
  11. Engineering Mathematics 3 (Electronics and Telecommunication)- August 2014-December 2014
  12. Theoretical Computer Science Crash Course- August 2014-December 2014
  13. Theoretical Computer Science- August 2014-December 2014
  14. [Peer] GRE Basics of Verbal
  15. Engineering Mathematics 4 (Civil)- January 2013- May 2013
  16. [Peer] GATE Concepts on Analysis of Algorithms, Theoretical Computer Science, Computer Networks, Database Systems, Mathematics, Operating Systems- February 2013
  17. Digital Signal and Image Processing Crash Course- November 2012
  18. Overview of Microprocessors- November 2012
  19. Theoretical Computer Science Crash Course- November 2012
  20. Engineering Mathematics 1 crash course (Computer and Mechanical commons like eigen and complex)- August 2012-December 2012
  21. Engineering Mathematics 3 (Civil)- August 2012- December 2012
  22. Engineering Mathematics 2 (Civil)- Jan 2012- May 2012
  23. [Peer] Digital Signal and Image Processing-October 2011-December 2011
  24. Engineering Mathematics 1 (Civil)- August 2011- December 2011
  25. Grade 12 Mathematics- August 2011- February 2012
  26. Grade 12 Mathematics- August 2010- February 2011

Extra-Curricular Activities

Talks/Workshops/Conferences/Schools attended

  1. Selected for “ACM's Winter School in Software Engineering” at Tata Research Development and Design Centre (TRDDC) , Pune, December 2017
  2. Selected for First Indian SAT+SMT workshop” at Tata Institute of Fundamental Research (TIFR), Mumbai, December 2016
  3. Attended a two week ISTE Workshop on Computer Programming for faculty held by the Indian Institute of Technology Bombay in May, June 2014

Music Experience, Skills and Achievements

  1. Part of Rhythmica, IISc. Check our band videos here!
  2. A guitarist who plays rhythm, lead and bass by ear
  3. Plays percussive instruments: Congo, Bongo, Djembe and Shakers
  4. Amateur drummer
  5. Conducted a guitar workshop at Xavier Institute of Engineering, Mumbai in 2011
  6. Conducted a guitar workshop at St. Francis Institute of Technology, Mumbai in 2014
  7. Taught guitar to 10+ students from 2008-2012
  8. Played with 3 bands and have performed with them at various locations in India
  9. Secured first place in the instrumental competition “Make some noise” held at Xavier Institute of Engineering in February 2012 for playing ‘Drifting’ by Andy Mckee on the acoustic guitar
  10. Secured second place as a band in “Amateur Night” held by in February 2012

Interests and Hobbies

Travelling – Bike rides, Trekking, Adventure Sports; Cooking and tasting different cuisines; Sports- Table tennis, Carom, Chess, and Football; Solving puzzles and Rubix Cube; keeping abreast with the latest technology.