Kacper Korban
I'm Kacper Korban. I am a PhD student at EPFL (SystemF/LAMP).
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 Projects
Some interesting projects, I have worked on.
Some interesting projects, I have worked on.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Projects.type
object Publications
A list of my publications.
A list of my publications.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Publications.type
object WorkExperience
My work experience.
My work experience.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
WorkExperience.type
In this article