User

Difference between revisions of "Jim Newton"

From LRDE

(update history)
 
(4 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
  +
  +
 
= 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 grandmother's 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>
Master of Arts in [https://www.math.msstate.edu Mathematics] from [https://www.msstate.edu Mississippi State University\, and<BR>
+
Master of Arts in [https://www.math.msstate.edu Mathematics] from [https://www.msstate.edu Mississippi State University], and<BR>
 
Bachelor of Science in [http://www.catalog.msstate.edu/undergraduate/collegesanddegreeprograms/thejamesworthbagleycollegeofengineering/departmentofelectricalandcomputerengineeringece/ Electrical Engineering] from [https://www.msstate.edu Mississippi State University].
 
Bachelor of Science in [http://www.catalog.msstate.edu/undergraduate/collegesanddegreeprograms/thejamesworthbagleycollegeofengineering/departmentofelectricalandcomputerengineeringece/ Electrical Engineering] from [https://www.msstate.edu Mississippi State University].
 
He has worked at LRDE on the [[Climb]] project from 2015 to 2018, and on the [[Spot]] project since 2018.<BR>
 
He has worked at LRDE on the [[Climb]] project from 2015 to 2018, and on the [[Spot]] project since 2018.<BR>
Line 16: Line 26:
 
* 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 =

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