Dedicated computer science student at Purdue University specializing in formal methods, SMT, and model counting. Experienced in applying these techniques to verify AI hardware and systems. Passionate about bridging the gap between theoretical computer science and practical applications in AI and high-performance computing.Research Interests:Formal Verification of AI HardwareSatisfiability Modulo CountingKey Achievements:ACM/IEEE SC '24 Poster (Atlanta, Georgia, November 2024)First author for conference publication in the Proceedings of ACM MobiHoc '23
-
Project ManagerMl@PurdueCarmel, In, Us -
Research InternNsf I-Guide Aug 2024 - PresentWest Lafayette, Indiana, United States• Optimizing social vulnerability analysis of aging dam infrastructure, intersecting spatial flood inundation maps for nearly 400 dams with census block-level socio-economic indicators• Processing large-scale geospatial data for Distributed Aging Dams, including a 30GB GeoJSON field containing nearly 9 million records with associated geometries with Apache Spark, Apache Sedona, GeoParquet, and GeoPandas -
Co-Founder And ConsultantCanari Partners Jan 2024 - PresentUnited States -
Machine Learning ResearcherPurdue University Dec 2023 - PresentWest Lafayette, Indiana, United States -
Nsf-Reu Research InternUniversity Of Utah Jun 2024 - Aug 2024Salt Lake City, Utah, United States• Leveraged Z3 SMT solver to model bit-vector representations of non-IEEE standard behaviors in GPUs and Matrix Accelerators, enabling formal reasoning about intricate deviations in AI hardware functionalities• Discovered non-monotonicity in FP32 to FP16/BF16 conversions using SMT-based analysis, revealing maximum differences approaching 2^8 for identical inputs across different hardware implementations -
Nsf-Reu Research InternPurdue University In Indianapolis May 2023 - Aug 2023Indianapolis, Indiana, United States• Researched and evaluated the impact and subsequent trends of training machine learning gesture recognition systems on various types of noisy time-sensitive point clouds• Utilized Python to develop artificial noising scripts effective on 3D point clouds and various neural networks• Analyzed the robustness and resilience of millimeter wave systems in regards to human-computer interactions
Paul Jiang Education Details
-
Gpa 3.6
Frequently Asked Questions about Paul Jiang
What company does Paul Jiang work for?
Paul Jiang works for Ml@purdue
What is Paul Jiang's role at the current company?
Paul Jiang's current role is Project Manager.
What schools did Paul Jiang attend?
Paul Jiang attended Purdue University.
Not the Paul Jiang you were looking for?
-
Paul Jiang
Houston, Tx1broadvail.com -
4gmail.com, smbcgroup.com, smbc.co.jp, ing.com
-
Paul Jiang
Dallas-Fort Worth Metroplex -
Paul Jiang
San Francisco Bay Area3marvell.com, gmail.com, jlq.com1 +144129XXXXX
-
1nyc.gov
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
Download 750 million emails and 100 million phone numbers
Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.
Start your free trial