seek64
PhD Student in Formal Hardware Verification for Security. I also like to write very short and obfuscated Python programs for fun.
- Name: Lucas Deutschmann
- Company: RPTU Kaiserslautern-Landau
- Kind: user
- Followers: 17
- Following: 21
- Repositories count: 2
- Created at: 2023-10-26T09:33:58.120Z
- Updated at: 2025-03-31T16:03:04.521Z
- Last synced at: 2025-03-31T16:03:04.521Z
Past Sponsorships
View AllSponsorship Breakdown by Kind
- User: 1