## Pages
- [Dr. Mark Grechanik - Associate Professor of Computer Science](/home): Academic website of Dr. Mark Grechanik - Associate Professor of Computer Science, researcher, and educator specializing in computer science.
- [Funding - Dr. Mark Grechanik](/funding): Details of research and industry funding, including grants from NSF and industry partners.
- [Research: Exploring the frontiers of computer science to build more reliable, secure, and intelligent software systems.](/research): Exploring the frontiers of computer science to build more reliable, secure, and intelligent software systems, including projects in provably correct systems, cybersecurity, language engineering, and more.
- [Scala Embedded Domain-Specific Languages - Dr. Mark Grechanik](/languageengineering): Explore Scala Embedded Domain-Specific Languages (EDSLs) for agent-based modeling and simulations, including DIALS.