Tomasz Kuchta
banner
tomaszkuchta.bsky.social
Tomasz Kuchta
@tomaszkuchta.bsky.social
Computer Scientist
http://about.me/tomasz.kuchta
X: @Tomasz_Kuchta
Pinned
An interview with me outlining the research we do in the areas of software engineering and software reliability has just appeared at:
research.samsung.com/srTalks/-SR-...

BTW, the srTalks page hosts a bunch of interesting interviews with people from across Samsung: research.samsung.com/srTalks
[SR Talks] ⑪ Interview with a Software Reliability Expert at Samsung R&D Institute Poland
[SR Talks] ⑪ Interview with a Software Reliability Expert at Samsung R&D Institute Poland
research.samsung.com
A logo idea for model fine tuning services ;) credits: copilot
December 17, 2024 at 12:09 PM
An interview with me outlining the research we do in the areas of software engineering and software reliability has just appeared at:
research.samsung.com/srTalks/-SR-...

BTW, the srTalks page hosts a bunch of interesting interviews with people from across Samsung: research.samsung.com/srTalks
[SR Talks] ⑪ Interview with a Software Reliability Expert at Samsung R&D Institute Poland
[SR Talks] ⑪ Interview with a Software Reliability Expert at Samsung R&D Institute Poland
research.samsung.com
December 12, 2024 at 9:23 AM
New profession: impromptu prompt engineer
December 6, 2024 at 7:27 PM
December 2, 2024 at 3:25 PM
Interested to hear a few thoughts on how to help make symbolic execution mainstream and how Academia/Industry perspectives matter? Check out a keynote I gave at KLEE'24 workshop:
youtu.be/rQGB_fk253g
Let's help symbolic execution SOAR!
YouTube video by KLEE
youtu.be
November 19, 2024 at 11:59 AM