Jiří Lebl
Professor at Oklahoma State University
Stillwater, Oklahoma, United States
Summary
👤
Senior🎓
Top SchoolJiří Lebl is a Professor of Mathematics at Oklahoma State University with over a decade of experience blending research in several complex variables and CR geometry with practical software development. He regularly proves and publishes deep theorems while teaching and mentoring students, and his work includes creating differential-equation problems for WeBWorK and localizing the widely used PreTeXt authoring system into Czech. Earlier in his career he contributed to GNOME and worked on core desktop components at companies like Red Hat and Eazel, a background that lets him slip clever easter eggs into software and bridge academic and open-source communities. Based in Stillwater, Oklahoma, he pairs rigorous mathematical insight with hands-on coding, often applying formal thinking to educational technology and documentation. Colleagues note his penchant for mixing high-level theory with playful technical touches—sometimes to the students' mild distress.
12 years of coding experience
18 years of employment as a software developer
The University of ArizonaUniversity of California, San DiegoSan Diego State University
Czech, English, Esperanto
Stackoverflow
101reputation
0reached
0answers
0questions
Github Skills (12)
webwork10
authorisation10
differential-equations10
authorizations10
authorize10
localization10
authorization10
xslt10
auth10
text-translation9
publish7
textbook5
Programming languages (11)
Github contributions (5)
openwebwork/webwork-open-problem-library
Dec 2017 - Sep 2022
A library of WeBWorK problems contributed by the OpenWeBWorK community
Role in this project:
Back-end Developer
Back-end DeveloperContributions:93 commits, 62 PRs, 7 comments in 4 years 10 months
Contributions summary:Jiří contributed to the WeBWorK problem library by adding new problems to the existing library. The code changes indicate the addition of mathematical problems related to differential equations. These problems seem to be for educational purposes, possibly for students of differential equations, and involve code written in a programming language (likely Perl or a similar language used in the WeBWorK system).
problems
PreTeXtBook/pretext
Apr 2016 - May 2022
PreTeXt: an authoring and publishing system for scholarly documents
Role in this project:Localization / Internationalization Specialist
Localization / Internationalization SpecialistContributions:8 commits, 10 PRs, 9 comments in 6 years 1 month
Contributions summary:Jiří's primary contribution centers around localizing the PreTeXt system for the Czech language (cs-CZ). Their work involves translating various text strings and adapting the system's output to reflect Czech linguistic conventions. This includes modifying XSL files to incorporate Czech translations for theorem-like blocks, document parts, navigation interface elements, and other relevant terms. The user also updated existing translations and expanded the localization coverage.
stempublishingpdfpretexttextbook
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.