Passionate software engineer interested in programming languages - their design, analysis and implementation.
-
Oracle Labs
- Brno
- https://d-kozak.github.io/
- https://orcid.org/0000-0002-8846-922X
- in/dkozak94
Block or Report
Block or report d-kozak
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Vojtěch Fošnár
vfosnar
Most of my public projects are just bodged to work. The private rest are too but they don't work.
Czechia
Josef Kolář
thejoeejoee
Python dark magician, enthusiastic gopher and full-stack developer, proud ESNer, currently generating code for @seznam
Seznam.cz a.s. Czech republic
Jana Metz
jannametz
Student of IT-Systems Engineering at
Hasso Plattner Institut @HPI-de host the Digital Engineering Faculty of the University of Potsdam, Germany
HPI Potsdam
Tomáš Dacík
TDacik
Ph.D. student at FIT BUT, member of the @VeriFIT research group. Interested in program analysis and (separation) logic.
@VeriFIT
Darren Wacker
DrWacker1970
Cycling and aligning talent with opportunity....those are my jams.
Korn Ferry Mankato, MN.
Giuseppe "Pino" De Ruvo
drpdr
Staff Engineer, Platform Engineering, Security, x-Researcher, CrossFitter, amateur chef.
@Barclays Glasgow, Scotland, UK
Munish Chouhan
munishchouhan
Java 11 Certified Developer | GraalVM | Micronaut | Docker | Kubernetes | OpenTelemetry
Spain
Fengyun Liu
liufengyun
Programmer interested in programming languages and formal methods
Oracle Labs Lausanne, Switzerland
Ivan Ristović
ivan-ristovic
Software developer with too many hobbies. Senior Researcher at Oracle Labs. Teaching Assistant at the Faculty of Mathematics in Belgrade.
Oracle | MATF Belgrade ~
Senior Software Engineer & Architect
swdreams
Senior Software Engineer & Architect with over 15 years of experience.
Looking for remote work or open-source projects.
ReactJS | NodeJS | PHP | Java
Dominik Harmim
harmim
Senior Software Engineer, AI/ML 🖥 at Oracle NetSuite
Oracle NetSuite Brno, Czech Republic
os340000
aracaju se. 18 novembro de 2018
legal ate daq conta
jbmostro@hotmail&ciawes.com.br natal r.n
Jiří Beneš
jiribenes
PhD student at @se-tuebingen.
Interested in effect and coeffect systems.
University of Tübingen, @se-tuebingen Tübingen, Germany