Utsav Bhatt
AeroLeads people directory · profile

Utsav Bhatt Email & Phone Number

Types are Theorems, Programs are Proofs, Utsav(s) are into Security, Formal Methods & Programming Languages. at The University of Texas at Dallas
Location: Dallas, Texas, United States 2 work roles 2 schools
1 work email found @utdallas.edu LinkedIn matched
✓ Verified August 2026 4 data sources Profile completeness 86%

Contact Signals · 1 work email

Work email u****@utdallas.edu
LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
The University of Texas at Dallas
Role
Types are Theorems, Programs are Proofs, Utsav(s) are into Security, Formal Methods & Programming Languages.
Location
Dallas, Texas, United States

Who is Utsav Bhatt? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Utsav Bhatt is listed as Types are Theorems, Programs are Proofs, Utsav(s) are into Security, Formal Methods & Programming Languages. at The University of Texas at Dallas, based in Dallas, Texas, United States. AeroLeads shows a work email signal at utdallas.edu and a matched LinkedIn profile for Utsav Bhatt.

Utsav Bhatt previously worked as Student Worker / Member of Software Security Lab at The University Of Texas At Dallas and Software Engineer at Accenture In India. Utsav Bhatt holds Master Of Science - Ms, Computer Science, Current Gpa: 3.63 from The University Of Texas At Dallas.

Company email context

Email format at The University of Texas at Dallas

This section adds company-level context without repeating Utsav Bhatt's masked contact details.

{first}.{last}@utdallas.edu
86% confidence

AeroLeads found 1 current-domain work email signal for Utsav Bhatt. Compare company email patterns before reaching out.

View email format View company profile Management contacts
Profile bio

About Utsav Bhatt

I'm a Masters Student at UT Dallas where I work under Dr. Kevin Hamlen on problems in the field of Language-Based Security, which leverages techniques from Programming Language Theory and Compilers to Enforce Software Security.Since joining UTD, I have acquired skills and interests in a variety of topics like Formal Verification and High-Assurance/Proof-Carrying Code Development (using the Automated Theorem Prover Coq), Programming Language Design and Analysis (Formal Semantics & Interpreters), Type Theory (Type Checking & Type Inference) and, Functional & Logical Programming (Coq/Gallina & MiniKanren).I am passionate about all things Infosec and I’m working on improving my skills and awareness in areas like Web Application Hardening, Pentesting, Reverse Engineering, IDSs, DFIR and, Red & Blue Team practices.In addition to my work with the Software Security Lab, I have also taken coursework related to Systems Security, Data & Application Security, Network Security and, Information Security. On a different continent, I graduated 2nd in my Undergraduate Class with a Bachelor’s in IT in 2015. After graduation, I spent 2 happy years at Accenture, first as an Associate Software Engineer and then as a Software Engineer, gaining valuable Client-Facing and Software-Development Experience.Alas, our revels now are ended. If you have read till the end of this summary and are looking for a motivated and fast-learning InfoSec/Formal Methods/Programming Languages hire who can join in June of 2019, please do get in touch atutsav.bhatt@utdallas.edumr.utsav@yahoo.com

Current workplace

Utsav Bhatt's current company

Company context helps verify the profile and gives searchers a useful next step.

The University of Texas at Dallas
The University Of Texas At Dallas
Types are Theorems, Programs are Proofs, Utsav(s) are into Security, Formal Methods & Programming Languages.
AeroLeads page
Company profile
View company profile Email format
2 roles

Utsav Bhatt work experience

A career timeline built from the work history available for this profile.

Student Worker / Member Of Software Security Lab

Current
The University Of Texas At Dallas

Dallas/Fort Worth Area

Under the supervision of Dr. Kevin Hamlen, I collaborate with Ph.D. candidates on Research Problems related to Formal Methods and Language-Based Security at the Software Security Lab at UT Dallas.Working on Formally Verifying properties of Binary Code in the Coq Proof Assistant. Worked closely with the evolving framework to prove various properties about binary code, including total correctness of the String Length Function for the ARM architecture. Mentoring graduate students working on similar projects for Dr. Hamlen’s Language Based Security course.Working on Automated Exploit Generation from C/C++ source code. Currently using Static Analysis techniques to find potentially vulnerable code of interest. Wrote a utility tool to correlate a program’s Debug and Exception Handling information in the ELF file to print the stack layout of source code functions at compile time. The tool links the Variables in the source code to their Relative Position on the Stack.

May 2018 - Present

Software Engineer

Accenture In India

Mumbai Area, India

As an IBM Maximo Consultant in a team of 7, developed quarterly releases, and patched customization bugs, for the client Ervia. Provided application maintenance support by troubleshooting, diagnosing and resolving client issues. For my effort in maintenance and development, was nominated for a recognition award in Accenture’s Maximo Centre Of Excellence.In addition to Maximo, took up the role of ClickSoftware Analyst in the same project. Provided application maintenance support and resolved functional and technical tickets for ClickSoftware. Also collaborated closely with Fusion Middleware team to upgrade integration infrastructure between Maximo and Click.Trained 2 subordinates to take over for my role in the Maximo and Click teams respectively.

Jun 2015 - Jun 2017
2 education records

Utsav Bhatt education

FAQ

Frequently asked questions about Utsav Bhatt

Quick answers generated from the profile data available on this page.

What company does Utsav Bhatt work for?

Utsav Bhatt works for The University of Texas at Dallas.

What is Utsav Bhatt's role at The University of Texas at Dallas?

Utsav Bhatt is listed as Types are Theorems, Programs are Proofs, Utsav(s) are into Security, Formal Methods & Programming Languages. at The University of Texas at Dallas.

What is Utsav Bhatt's email address?

AeroLeads has found 1 work email signal at @utdallas.edu for Utsav Bhatt at The University of Texas at Dallas.

Where is Utsav Bhatt based?

Utsav Bhatt is based in Dallas, Texas, United States while working with The University of Texas at Dallas.

What companies has Utsav Bhatt worked for?

Utsav Bhatt has worked for The University Of Texas At Dallas and Accenture In India.

How can I contact Utsav Bhatt?

You can use AeroLeads to view verified contact signals for Utsav Bhatt at The University of Texas at Dallas, including work email, phone, and LinkedIn data when available.

What schools did Utsav Bhatt attend?

Utsav Bhatt holds Master Of Science - Ms, Computer Science, Current Gpa: 3.63 from The University Of Texas At Dallas.

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.

People with similar names

Check these profiles if this is not the Utsav Bhatt you were looking for.

Utsav Bhatt
Utsav Bhatt
Chartered Accountant || Ex-Pwcian || Ex-Formidium
Kota
Utsav Bhatt
Utsav Bhatt
Testing & Commissioning | Warranty | Technical Management | Project Management | Rolling Stock | Power Industry | Alstom | Ge | Iim-Indore | Iit-Roorkee
Bengaluru
2 email domains
View similar profiles