James Ortiz | Formal Methods Researcher at UPEC
jamesortiz.site
LaunchIndex first observed James Ortiz | Formal Methods Researcher at UPEC (jamesortiz.site) live on 26 August 2026. View its launch screenshot, category, technologies, and verification evidence.
A launch record built from evidence.
James Ortiz | Formal Methods Researcher at UPEC (jamesortiz.site) was first observed live on 26 August 2026.
Academic personal site for James Ortiz, an associate professor at Université Paris-Est Créteil. Research interests include formal methods, cybersecurity, timed automata, model checking, and related verification tools.
Its profile is classified as Portfolio within Education / Learning and training. Verification detected Next.js.
What the launch signal contained.
- First observed live
- Previous state
- No prior non-live observation
- Last verified
- Canonical host
- jamesortiz.site
- Category
- Education / Learning and training
- Website type
- Portfolio
- Observed title
- James Ortiz | Formal Methods Researcher at UPEC
- Observed description
- Associate Professor at LACL, Université Paris-Est Créteil. Research in formal methods, timed automata, cybersecurity, and model-based testing of real-time systems.
- Detected technologies
- Next.js
- Screenshot captured
- Evidence source
- Browser observation · Local
- Evidence confidence
- 93%
- HTTP status
- 200
Is this your website?
Claim this profile to add verified owner information.
What do you make of this launch?
Vote on the site and leave a short note for other people exploring the new web.
Report an issueFlag spam, illegal or harmful content, or inaccurate information.
Reports are private and reviewed by the moderation team. No sign-in is required, so this report will be anonymous.
Join the discussion
Sign in with Google to vote or comment.
Sign in to participateComments
0 commentsBe the first to leave a useful observation.