LEVENTERKOK.GITHUB.IO SERVER
We found that the main root page on leventerkok.github.io took six hundred and eighty-eight milliseconds to come up. Our web crawlers could not observe a SSL certificate, so in conclusion our crawlers consider this site not secure.
FAVICON

SERVER SOFTWARE
We discovered that leventerkok.github.io is weilding the GitHub.com operating system.SITE TITLE
Levent Erkök Levent ErkökDESCRIPTION
2501 NW 229th Ave. Hillsboro, OR 97124. E-mail erkokl at gmail.com. SMT Based Verification in Haskell. GHC Core-plugin for SBV. Control your Arduino from Haskell. Solve systems of Linear Equations. Hexadecimal Floats for Haskell. Decodeencode IEEE-754 Floating point numbers. Sparse matrix linear equation solver. ISMT Yices as an Isabelle theorem prover tactic. Levent Erkök, Flemming Andersen, John Matthews. Formal Verification of SECDED-ECC RTL using functional programs as golden models. Lukas Bulwahn.PARSED CONTENT
The site had the following in the web page, "SMT Based Verification in Haskell." I observed that the web site stated " Control your Arduino from Haskell." They also stated " Solve systems of Linear Equations. Decodeencode IEEE-754 Floating point numbers. Sparse matrix linear equation solver. ISMT Yices as an Isabelle theorem prover tactic. Levent Erkök, Flemming Andersen, John Matthews. Formal Verification of SECDED-ECC RTL using functional programs as golden models."