User

Difference between revisions of "Jim Newton"

From LRDE

(update history)
Line 3: Line 3:
 
* Jim at [https://fr.linkedin.com/in/jim-newton-463600a8 LinkedIn]
 
* Jim at [https://fr.linkedin.com/in/jim-newton-463600a8 LinkedIn]
 
* Jim at [https://edite-de-paris.fr/public/person/see/3570686 EDITE]
 
* Jim at [https://edite-de-paris.fr/public/person/see/3570686 EDITE]
  +
  +
 
= Me as a baby =
  +
  +
 
[[File:Watermelon.jpg|500px]]
  +
 
That's me in the center, between my brother and cousin. We're eating watermelon at my grandmothers house.
  +
   
 
Jim has completed his PhD in Computer Science from Sorbonne Universities in 2018,<br>
 
Jim has completed his PhD in Computer Science from Sorbonne Universities in 2018,<br>
Line 16: Line 25:
 
* Binary Decision Diagrams
 
* Binary Decision Diagrams
 
* Type theory
 
* Type theory
 
= Me as a baby =
 
 
 
[[File:Watermelon.jpg|500px]]
 
 
That's me in the center, between my brother and cousin. We're eating watermelon at my grandmothers house.
 
   
 
= Thesis =
 
= Thesis =

Revision as of 11:46, 22 January 2019

  • Name: Jim Newton
  • Email: jnewton@lrde.epita.fr
  • Jim at LinkedIn
  • Jim at EDITE


Me as a baby

Watermelon.jpg

That's me in the center, between my brother and cousin. We're eating watermelon at my grandmothers house.


Jim has completed his PhD in Computer Science from Sorbonne Universities in 2018,
Master of Arts in Mathematics from Mississippi State University, and
Bachelor of Science in Electrical Engineering from Mississippi State University. He has worked at LRDE on the Climb project from 2015 to 2018, and on the Spot project since 2018.

Research Interests

  • Functional Languages
  • Dynamic Languages
  • Rational Languages
  • Binary Decision Diagrams
  • Type theory

Thesis

Affiche-these-JN

Work in Progress

Publications