User

Difference between revisions of "Jim Newton"

From LRDE

 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
* Name: Jim Newton
 
* Name: Jim Newton
 
* Email: jnewton@lrde.epita.fr
 
* Email: jnewton@lrde.epita.fr
* Jim at [https://fr.linkedin.com/in/jim-newton-463600a8 LinkedIn]
+
* [https://fr.linkedin.com/in/jim-newton-463600a8 Jim] at LinkedIn
* Jim at [https://edite-de-paris.fr/public/person/see/3570686 EDITE]
+
* [https://edite-de-paris.fr/public/person/see/3570686 Jim] at EDITE
  +
* [https://www.lrde.epita.fr/~jnewton/ Jim] at LRDE
   
   
Line 10: Line 11:
 
[[File:Watermelon.jpg|500px]]
 
[[File:Watermelon.jpg|500px]]
   
That's me in the center, between my brother and cousin. We're eating watermelon at my grandmothers house.
+
That's me in the center, between my brother and cousin. We're eating watermelon at my grandmother's house.
   
   

Latest revision as of 18:34, 16 March 2021

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


Me as a baby

Watermelon.jpg

That's me in the center, between my brother and cousin. We're eating watermelon at my grandmother's 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