دکتری مهندسی کامپیوتر
گرایش نرم‌افزار و الگوریتم‌ها. پژوهش روی «چارچوب هوشمند چندزبانه برای توسعه زبان‌های خاص دامنه» با تمرکز بر مهندسی زبان، تولید parser، ابزارهای AST و پشتیبانی چندزبانه DSL.
پروفایل
درباره من
پروفایلی در مرز مهندسی زبان، سیستم‌های توزیع‌شده، امنیت و تحلیل نرم‌افزار.
من کاوان فرهادی بانه هستم؛ پژوهشگر و مهندس نرم‌افزار ساکن تهران. حوزه کاری من برنامه‌کاوی، ساخت کامپایلر، طراحی زبان‌های خاص دامنه (DSL)، سیستم‌های بلاکچینی و مهندسی معکوس را به هم پیوند می‌دهد. به ابزارهایی علاقه دارم که فهم، تحلیل، ایمن‌سازی و تکامل نرم‌افزارهای پیچیده را ساده‌تر کنند.
پژوهش کارشناسی ارشد من در دانشگاه تبریز به ساخت یک بازار داده اینترنت اشیا مبتنی بر بلاکچین و رمزنگاری باز-رمزگذاری نیابتی منجر شد؛ سیستمی با قواعد دسترسی روی زنجیره و سابقه حسابرسی تغییرناپذیر. اکنون به عنوان دانشجوی دکتری مهندسی کامپیوتر (نرم‌افزار و الگوریتم‌ها) در دانشگاه علم و صنعت ایران روی یک چارچوب هوشمند چندزبانه برای توسعه DSLها پژوهش می‌کنم؛ از تولید دستور زبان و ابزارهای parser تا تحلیل میان‌زبانی.
در صنعت نیز روی سامانه‌های بک‌اند Laravel و مهندسی معکوس نرم‌افزارهای کنترل صنعتی کار کرده‌ام؛ شامل توسعه ابزارهای داخلی decompiler و تحلیل سامانه‌های مبتنی بر C، Python، JVM، معماری x86_64 و ARM.
نام و شکل‌های جست‌وجوکاوان فرهادی بانه · کاوان فرهادی · Kawan Farhadibaneh · Kavan Farhadibaneh · Kawan Farhadi · Kavan Farhadi · Kawan · Kavan
مسیر دانشگاهی
تحصیلات
کارشناسی ارشد مهندسی کامپیوتر
گرایش نرم‌افزار. پایان‌نامه درباره بازار داده اینترنت اشیا مبتنی بر بلاکچین و باز-رمزگذاری نیابتی، در مرز سیستم‌های توزیع‌شده، رمزنگاری، روش‌های صوری و کنترل دسترسی قابل‌راستی‌آزمایی.
کارشناسی مهندسی کامپیوتر
پروژه پایانی: شبکه اجتماعی موضوع‌محور با بک‌اند PHP/Laravel، پایگاه داده MySQL و کلاینت Android.
تمرکز فنی
مهارت‌ها
عمق پژوهشی در حوزه‌های اصلی و توان مهندسی عملی در لایه‌های دیگر.
کامپایلر و مهندسی زبان
ANTLR4، طراحی DSL، ساخت lexer/parser/grammar، ابزارهای AST، توسعه decompiler، برنامه‌کاوی و کار با C و بایت‌کد JVM.
ANTLR4DSLتحلیل نحویASTDecompiler
بلاکچین و قرارداد هوشمند
Solidity، Ethereum/EVM، استانداردهای ERC-20/721، مدیریت اعتماد، proxy re-encryption، بهینه‌سازی gas، Foundry، Hardhat، ethers.js و web3.js.
SolidityEVMFoundryHardhatWeb3
نرم‌افزار و بک‌اند
Python، PHP، Java، C و JavaScript؛ طراحی REST API با Laravel، طراحی schema در MySQL، migration، بهینه‌سازی query و نسخه‌بندی قرارداد API.
PythonLaravelMySQLJavaC
مهندسی معکوس و هوش مصنوعی
تحلیل نرم‌افزارهای کنترل صنعتی، باینری‌های x86_64 و ARM، بررسی جریان کنترل ناامن، توسعه برنامه‌های ML با Python و به‌کارگیری عملی مدل‌های زبانی بزرگ در جریان کار توسعه.
x86_64ARMICSMLLLM
کار حرفه‌ای
تجربه
برنامه‌نویس · مهندس معکوس
مهندسی معکوس سیستم‌های کنترل صنعتی و توسعه ابزارهای داخلی decompiler؛ شامل ابزارهای مبتنی بر C/Python/JVM، باینری‌های x86_64 و ARM و تحلیل الگوهای ناامن جریان کنترل برای بهبود ایمنی و نگهداشت‌پذیری.
توسعه‌دهنده بک‌اند
توسعه و نگهداری REST APIهای Laravel، طراحی schema و migrationهای MySQL، بهینه‌سازی query، نسخه‌بندی قراردادهای API و همکاری با تیم فرانت‌اند از طریق مشخصات فنی و code review.
کارهای منتخب
پروژه‌ها و پژوهش
چارچوب چندزبانه DSL
چارچوبی در حال توسعه برای مهندسی زبان‌های خاص دامنه که به متخصصان حوزه اجازه می‌دهد DSL را تعریف کنند و grammar، parser و ابزارهای لازم برای چند زبان مقصد را با ANTLR4 و راهبردهای ترکیب grammar تولید کنند.
ابزار Decompiler و مهندسی معکوس
ابزارهای داخلی برای تبدیل تدریجی باینری‌های سامانه‌های کنترل به نمایش‌های خواناتر، انجام بررسی‌های معنایی روی جریان کنترل و کمک به ممیزی و تکامل سامانه‌های قدیمی.
بازار داده اینترنت اشیا
بازار مبتنی بر بلاکچین برای معامله داده حسگرهای IoT با proxy re-encryption، قواعد دسترسی روی زنجیره و سابقه حسابرسی تغییرناپذیر برای استفاده و مجوزهای داده.
شبکه اجتماعی موضوع‌محور
نمونه کامل یک شبکه اجتماعی سازمان‌یافته بر اساس موضوعات، با بک‌اند PHP/Laravel، پایگاه داده MySQL و کلاینت Android.
تماس
برای کارهای جدی فنی، در ارتباط باشیم.
کاوان فرهادی بانه
برای همکاری‌های پژوهشی، مهندسی نرم‌افزار و پروژه‌های فنی چالش‌برانگیز در زمینه کامپایلر، هوش مصنوعی، امنیت، مهندسی معکوس و سیستم‌های توزیع‌شده آماده گفتگو هستم.