- š Hi, Iām @KatCe
- š Iām interested in embedded software and digital electronics verification.
- š± Iām currently learning more about formal verification.
- šļø Iām looking to collaborate on formal verification.
- š« How to reach me ... https://www.linkedin.com/in/katharina-ceesay-seitz-ba521087/
katce Goto Github PK
Name: Katharina
Type: User
Company: ETH Zurich
Bio: I am an ambitious and experienced embedded software developer.
Blog: https://at.linkedin.com/in/katharina-ceesay-seitz-ba521087