Loading...
Loading...
Researcher in Programming Language Theory and Formal Verification.
6 day streak.
Coding for 13 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
opened pull request in JetBrains/lincheck
January 31st, 2026 12:06 AM
Created branch eupp/fix-cfg-loop-validation in JetBrains/lincheck
January 31st, 2026 12:05 AM
Starred Wilfred/difftastic
January 30th, 2026 8:54 PM
Pushed to live-debugger-develop at JetBrains/lincheck
January 29th, 2026 7:52 PM
Pushed to live-debugger-develop at JetBrains/lincheck
January 29th, 2026 2:40 PM
Pushed to eupp/trace-streaming at eupp/kotlinx-lincheck
January 29th, 2026 1:53 PM
PullRequestReviewEvent on JetBrains/lincheck
January 29th, 2026 1:35 PM
PullRequestReviewEvent on JetBrains/lincheck
January 29th, 2026 12:47 PM
PullRequestReviewCommentEvent on JetBrains/lincheck
January 29th, 2026 12:47 PM
PullRequestReviewEvent on JetBrains/lincheck
January 29th, 2026 12:43 PM