Kacper Korban
I'm Kacper Korban. I am a PhD student in SystemF at EPFL.
My interests are in between formal verification (interactive theorem proving) and programming languages (compilers and types).
If you want to read more about me check the API below and if you want to check out some of my blog posts, head to Docs.
Attributes
Members list
Type members
Classlikes
object AboutMe
Some basic info about me.
Some basic info about me.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
AboutMe.type
object Education
My education history.
My education history.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Education.type
object OpenSourceContributions
Some interesting projects, I have worked on.
Some interesting projects, I have worked on.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
object Publications
A list of my publications.
A list of my publications.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Publications.type
object SupervisedStudents
Student projects I supervise(d).
Student projects I supervise(d).
Don't hesitate to contact me if you're interested in doing a student project related one of the following topics:
- Verified compilation
- Interactive theorem proving
- Compilers (or concretely the Scala 3 compiler)
- Developer tooling
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
SupervisedStudents.type
object WorkExperience
My work experience.
My work experience.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
WorkExperience.type
In this article