Please complete the CAPTCHA to continue
A concise factual answer block for searchers comparing this professional profile.
Himanshu Goyal is listed as Open to Software/Security Engineering Full-time Opportunities | Galois Inc. | CS@ GeorgiaTech | CS@ IIT Bhubaneswar at Galois, Inc., a with 156 employees, based in Atlanta, Georgia, United States. AeroLeads shows a matched LinkedIn profile for Himanshu Goyal.
Himanshu Goyal previously worked as Research Development Software Engineer Intern at Galois, Inc. and Graduate Teaching Assistant at Georgia Institute Of Technology. Himanshu Goyal holds Master Of Science - Ms, Computer Science (Specialisation: Computing Systems), Gpa: 4.0 from Georgia Institute Of Technology.
This section adds company-level context without repeating Himanshu Goyal's masked contact details.
Review company-level records connected to Himanshu Goyal before choosing the right outreach path.
Note: I am open to Software/Security Engineering Full-time positions.I am a graduate student at Georgia Tech pursuing a Master of Science in Computer Science with a computing systems specialization. Before this, I proudly earned a Dual Degree (B.S./M.S.) with CS major from the Indian Institute of Technology (IIT) Bhubaneswar .As a skilled software engineer, my passion lies in developing large-scale secure software systems that leverage the power of robust systems architecture, modern cryptographic methodologies, and essential open-source tools. I have had the privilege of gaining diverse experience through internships in both industry and academia. Most recently, I held the position of Cryptographic Research Engineer Intern at Galois Inc. During the Fall of 2022, I collaborated with Prof. Paul Pearce and Prof. Saman Zonouz to enhance our understanding of Industrial Control Systems (ICS) through the empirical application of Internet scanning techniques. In 2021, I had the opportunity to work with Arpita Patra at the Cryptography and Information Security lab at IISc Bangalore. In the Summer of 2021, I focused on workload characterization in Multi-tier Cloud Infrastructure at CNeRG - Complex Networks Research Lab, IIT Kharagpur, under the mentorship of Sandip Chakraborty. In Spring'21, I interned with the Embedded Systems and Robotics group at TCS Research & Innovation, where I worked with Chayan Sarkar on the development of a customized language model for cognitive robotics applications. For more information: https://move47.github.io
Company context helps verify the profile and gives searchers a useful next step.
A career timeline built from the work history available for this profile.
Portland, Oregon, United States
Worked on two Projects:Project 1: Developed a platform-independent Format Transforming Encryption scheme using Large Language models (LLMs) in collaboration with the Cryptography engineering team.Project 2: Helped in designing a compiler to convert any LLVM program into SIEVE IR specifications, helping Zero-Knowledge Proof (ZKPs) backends reduce verification time.
Atlanta, Georgia, United States
Teaching Assistant for CS 3510: Design and Analysis of Algorithms- Holding office hours for a class of nearly 300 students to clear out any doubts or offer personal assistance- Grading assignments and exams and preparing homework.
Odisha, India
Research Focus: Trustworthy IoT/Wireless Sensor NetworksProject 1: Real-time Byzantine Fault Consensus in IoT- Developed an efficient protocol for achieving Byzantine consensus in IoT/WSN networksusing Synchronous Communication. Our proposed design can work up to 80% faster andconsume 82% less energy than a naive implementation in both simulation and emulation.Project 2: Privacy-Preserving Data Aggregation in IoT- Designed a privacy-preserving single-round protocol to acquire aggregate statistics through carefully leveraging cryptography and wireless communication ideas, operating up to 80\% faster and consuming up to 78\% lesser energy.Publications:1. Himanshu Goyal, Sudipta Saha. “Multi-Party Computation in IoT for Privacy-Preservation”. ICDCS 2022.2. Himanshu Goyal, Manish Kausik H, Sudipta Saha. “ReLI: Real-Time Lightweight Byzantine Consensus in Low-Power IoT Systems”. CNSM 2022.3. Himanshu Goyal, Krishna Kodali, Sudipta Saha. “LiPI: Lightweight Privacy-Preserving Data Aggregation in IoT ”. Under review in IoT Journal.
Bhubaneswar, Odisha, India
- Machine Learning and Data Analytics (60+ students), Data Structures, and Algorithms(120+ students)- Special in-charge for 15 students. Designed recitations, tutorials, and lab-related exercises.
Bengaluru, Karnataka, India
Research Lab: Cryptography and Information Security Lab- Implemented Privacy-Preserving algorithms for secure inference for machine learningalgorithms using the ABY3 framework.- Developed algorithms used Secret sharing schemes and achieved a reduction in both com-communication and computation time than existing 3PC approaches for semi-honest settings.
Kharagpur Area, India
- Designed and validated algorithms for the characterization of workload in Multi-tier Cloud Infrastructure. The work focused on considering the dynamics of multiple servers and multiple users compared to the single-server approaches. - Modeled the influence among servers with the help of the Gaussian Mixture Model (GMM), Mixture Density Network (MDN), and Bayesian Belief Network (BBN). In addition to workload characterization, the algorithm could detect malicious users performing DDoS attacks.
Kolkata, West Bengal, India
- Collaborated with the members of Embedded Systems and Robotics Lab. Build customized language models for cognitive robotics applications that can aid local speech-to-text recognition. - Our optimized language models performed invariably better than the existing state-of-art statistical language models.
Other employees you can reach at galois.com. View company contacts for 156 employees →
Josue Silva
Colleague at Galois, Inc.Brasília, Federal District, Brazil
View →
EL
Ethan Link
Colleague at Galois, Inc.Fairfield, Ohio, United States
View →
MB
Michael Beynon
Colleague at Galois, Inc.Sherrills Ford, North Carolina, United States
View →
MS
Mike Seitz
Colleague at Galois, Inc.Portland, Oregon, United States
View →
AC
Adriana Castro Ávila
Colleague at Galois, Inc.Cruzeiro, Federal District, Brazil
View →
JL
Jodee Leroux
Colleague at Galois, Inc.Portland, Oregon, United States
View →
CA
Carlos Alberto Menezes De Sousa
Colleague at Galois, Inc.Núcleo Bandeirante, Federal District, Brazil
View →
FZ
Frank Zeyda
Colleague at Galois, Inc.Zapopan, Jalisco, Mexico
View →
LB
Langston Barrett
Colleague at Galois, Inc.Portland, Oregon, United States
View →
RW
Rand Whillock
Colleague at Galois, Inc.St Paul, Minnesota, United States
View →
Coursework: CS 7210: Distributed Computing (Prof. Prof. Ada Gavrilovska) CS 6210: Advanced Operating Systems (Prof. Ada Gavrilovska) CS.
Activities and Societies: Centre for Entrepreneurship, The Fourth Wall - Dramatics ClubRelevant Coursework: Core CS: Operating Systems.
Quick answers generated from the profile data available on this page.
Himanshu Goyal works for Galois, Inc..
Himanshu Goyal is listed as Open to Software/Security Engineering Full-time Opportunities | Galois Inc. | CS@ GeorgiaTech | CS@ IIT Bhubaneswar at Galois, Inc..
Himanshu Goyal is based in Atlanta, Georgia, United States while working with Galois, Inc..
Himanshu Goyal has worked for Galois, Inc., Georgia Institute Of Technology, Indian Institute Of Technology Bhubaneswar (Iit Bhubaneswar), Indian Institute Of Science (Iisc), and Cnerg - Complex Networks Research Group, Iit Kharagpur.
Himanshu Goyal's colleagues at Galois, Inc. include Josue Silva, Ethan Link, Michael Beynon, Mike Seitz, and Adriana Castro Ávila.
You can use AeroLeads to view verified contact signals for Himanshu Goyal at Galois, Inc., including work email, phone, and LinkedIn data when available.
Himanshu Goyal holds Master Of Science - Ms, Computer Science (Specialisation: Computing Systems), Gpa: 4.0 from Georgia Institute Of Technology.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contactsCheck these profiles if this is not the Himanshu Goyal you were looking for.
View similar profiles
