https://github.com/dekker1/dekker1

My GitHub readme and personal website
https://github.com/dekker1/dekker1

personal-website profile

Last synced: about 2 months ago
JSON representation

My GitHub readme and personal website

• Host: GitHub
• URL: https://github.com/dekker1/dekker1
• Owner: Dekker1
• Created: 2021-08-18T11:12:21.000Z (over 3 years ago)
• Default Branch: develop
• Last Pushed: 2023-12-04T05:15:13.000Z (about 1 year ago)
• Last Synced: 2024-10-13T11:29:53.770Z (3 months ago)
• Topics: personal-website, profile
• Homepage: https://dekker.one
• Size: 6.84 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
[![dekker1](./assets/github_header.svg)][1]



	

	

	



Hi 👋,

I am a researcher with a passion for programming languages, optimization, and community building.

Above all, my research interests lie in devising state-of-the-art methods to solve challenging tasks.

I have dedicated the majority of my research to the development of the [MiniZinc][2] language, a programming language to model and solve decision and optimization problems.

For more information about me and my research, you can visit [dekker.one][1].

## 📬 Get in touch

- Web: [dekker.one][1]

- Fediverse: [@[email protected]][3]

- Twitter (not very active): [twitter.com/DekkerOne][4]

[1]: https://dekker.one

[2]: https://www.minizinc.org

[3]: https://hachyderm.io/@Dekker1

[4]: https://twitter.com/DekkerOne