Gregory Malecha Email and Phone Number
Director Of Formal Methods
at
Bedrock Systems Inc.
Gregory Malecha's email is gmalecha@gmail.com
and
Gregory Malecha's phone number is +1219-510-3400
.
Gregory Malecha Contact Details
Email
gmalecha@gmail.com
Email
gmalecha@eecs.harvard.edu
Email
gmalecha@cs.harvard.edu
Email
gregory.malecha@target.com
Phone
+1219-510-3400
Phone
+1612-252-0473
Gregory Malecha Company Details
Company
Location
San Mateo, California, United States
Website
Industry
Computer Software
Gregory Malecha's Current Company
Bedrock Systems Inc.
Industry | Computer Software | |
Location | San Mateo, California, United States |
Industry | Computer Software | |
Location | San Mateo, California, United States |
Gregory Malecha's Experience and Education
Phd Candidate
2008-09 to 2015-01
Cambridge, Massachusetts, United States
Senior Manager, Data Science Optimzation
2018-03 to 2018-06
Minneapolis, Minnesota, United States
Research Assistant
2012 to 2014
Cambridge, Massachusetts, United States
Postdoctoral Scholar
2015-02 to 2016-06
La Jolla, California, United States
Director Of Formal Methods
2018-06 to Unknown
San Mateo, California, United States
Rice University
Bachelor Of Science in Computer Science
2004 to 2008
Houston, Texas, United States
Doctor Of Philosophy in Philosophy
2008 to 2015
Cambridge, Massachusetts, United States
Frequently Asked Questions about Gregory Malecha
What company does Gregory Malecha work for?
Gregory Malecha works for Bedrock Systems Inc.
What is Gregory Malecha's role in his workplace?
Gregory Malecha's role in his workplace is
Director Of Formal Methods .
Which industry does Gregory Malecha work in currently?
Gregory Malecha works in the industry
Computer Software.
What is Gregory Malecha's email address?
Gregory Malecha's email address is gmalecha@gmail.com
What is Gregory Malecha's direct phone number?
Gregory Malecha's direct phone number is +1219-510-3400
What schools did Gregory Malecha attended?
Gregory Malecha attended
Rice University,
and
Harvard University.
What are some of Gregory Malecha's skills?
Gregory Malecha has skills like
Computer Science,
Coq,
Programming Language Theory,
Machine Learning,
Formal Verification,
Programming Languages,
C,
Ocaml,
Programming,
Haskell,
C++,
Parallel Computing,
Parallel Programming,
Python,
Compilers,
Algorithms,
Latex,
Compiler Construction,
Compiler Optimization,
Type Theory,
and
Dependent Types.
Who are Gregory Malecha's colleagues?
Gregory Malecha's colleagues are
Babusankar V,
Babusankar V,
Paolo Giarrusso,
Godfrey Odero,
Sebastian Vogl,
Paul Abbazia,
and
Abhishek Anand.
Who are Gregory Malecha's peers at other companies?
Gregory Malecha's peers at other companies are
Daniel Martineau,
Revel Dos Santos,
Priyanka Singh,
Bijendra Sharma,
Alexander Vavilov,
Jacob Dybas,
and
Hadi Yazdanpanah.