Jean Privat
Professor at UQAM
Montreal, Quebec, Canada
Summary
🤩
Rockstar🎓
Top SchoolJean Privat is a computer science professor at UQAM with 17 years of research and teaching experience focused on secure and reliable software systems. With a Ph.D. from Montpellier II and a postdoctoral stint at Purdue's Secure Software Systems group, he blends deep academic rigor with applied security research. He leads and contributes to the GRESIL research group, curating projects and publications that bridge formal methods and practical software assurance. Based in Montreal, he maintains an active scholarly presence through an extensive publications portfolio, signaling sustained contributions to both theory and practice. Notably, his career trajectory shows a persistent focus on making formal techniques accessible to real-world software security challenges.
18 years of coding experience
1 year of employment as a software developer
Ph.D, Computer Science, Ph.D, Computer Science at Université des Sciences et Techniques du Languedoc (Montpellier II)
Github Skills (66)
programming-language10
simulator10
pharo10
object-oriented-programming10
compiler10
smalltalk10
risc-v10
pep10
bootstrap10
ide10
assembler10
camera9
shell9
spec9
docker9
Programming languages (10)
Github contributions (5)
privat/pep8term
Aug 2016 - Apr 2020
Terminal version of Pep/8 assembler and simulator for the textbook Computer Systems, J. Stanley Warford, Fourth edition
Contributions:1 PR, 5 pushes in 3 years 8 months
aplcrosswordcircuitsassemblerpep
privat/mynit
Aug 2015 - Aug 2024
Nit language
Contributions:6 PRs, 407 pushes, 290 branches in 9 years 1 month
programming-languagenit
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.