جستجوی استاد راهنمای دانشگاهی

Rafael Dubenaمشاهده پروفایل

استاد مدعو

• Aviation Education
• Flight Training
• Airline Operations
• +۳ مورد دیگر

Rafael Dubena serves as an Adjunct Professor and Line Check Airman at Embry-Riddle Aeronautical University's College of Aviation in Daytona Beach, where he combines academic instruction with active flight evaluation duties. His dual role bridges theoretical aviation education and practical flight operations, maintaining direct relevance to industry standards. His academic credentials include: Master of Science in Aviation from Embry-Riddle Aeronautical University Bachelor of Science in Air Traffic Management and Aeronautics: Applied Meteorology from Embry-Riddle Aeronautical University Professor Dubena's research critically examines aviation training efficiency through empirical analysis of flight block times and virtual reality applications. His work addresses persistent industry challenges like runway illusion mitigation and post-pandemic demand recovery, consistently translating findings into improved instructional methodologies. The 2024 instrument training study demonstrates how data-driven scheduling reduces certification costs while maintaining safety margins—a direct contribution to accessible pilot education. His publication record reveals a strategic focus on operational aviation economics and human factors, with recent work analyzing Embraer's global competitiveness and pandemic recovery patterns in airline travel. This research trajectory supports evidence-based curriculum development across his teaching portfolio. Professor Dubena's professional recognition includes: Master CFI designation (2025) Gold Seal Flight Instructor award (2025) Chairman's Award (2018) As an active mentor through the Asian Pilots Association and Civil Air Patrol, he extends his educational impact beyond campus through structured career guidance programs. His teaching responsibilities in instrument operations, commercial pilot certification, and flight instructor training directly prepare students for FAA licensing and industry employment, leveraging his line check airman expertise to maintain rigorous evaluation standards.

Stacey Smithمشاهده پروفایل

دانشیار

• Crisis Preparedness
• Tourism Management
• Hospitality Management
• +۴ مورد دیگر

Dr. Stacey Smith serves as Associate Professor and Director of the Tourism and Hospitality Management Program within the Department of Applied Business Studies at Fort Hays State University's College of Business and Leadership. Her industry background in event planning and hotel operations provides practical grounding for her academic leadership. Dr. Smith's educational credentials include: Ph.D. in Hospitality and Tourism Management from Purdue University M.S. in Hotel, Restaurant, and Travel Administration from University of Massachusetts - Amherst B.B.A. in Management from Fort Hays State University B.S. in Information Networking and Telecommunications from Fort Hays State University Her research program centers on crisis preparedness for tourism industries, with significant contributions to understanding meeting planners' risk perceptions and operational resilience strategies. Additional investigations explore social media applications in tourism marketing, customer service training in lodging, and conventions management. Dr. Smith's work consistently bridges academic theory with operational practice through industry collaboration. Publications spanning 2002-2010 reveal evolving research trajectories from hospitality education evaluation to contemporary crisis management frameworks, demonstrating sustained scholarly engagement with critical industry challenges. Her work appears in specialized journals including Journal of Convention & Event Tourism and Journal of Hospitality & Tourism Education. As program director, Dr. Smith oversees curriculum development for tourism and hospitality degrees while teaching core courses in management, marketing, and operations. Her professional activities include active participation in I-CHRIE, AHLA, and Eta Sigma Delta, maintaining strong industry-academia connections. Students benefit from her dual expertise in academic research and frontline hospitality operations, particularly in crisis management applications.

Ranjit Jhalaمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Type Systems
• +۳ مورد دیگر

Ranjit Jhala is a Professor of Computer Science Engineering at UC San Diego's Jacobs School of Engineering, where he leads the Programming Systems Group. His research spans Programming Languages and Software Engineering, focusing on building reliable systems through Type Systems, Model Checking, Program Analysis, and Automated Deduction. His current projects include Flux for Rust verification, Liquid Haskell refinement types, and techniques for analyzing timing channels. Professor Jhala teaches courses on Programming Languages (CSE 130) and Graduate Programming Languages (CSE 230), with extensive experience teaching compilers and verification topics. Professor Jhala advises several students including Alexander Bakst, Ben Cosman, and Marc Andrysco. Notable former students include Niki Vazou (Postdoc at Maryland), Ravi Chugh (University of Chicago), and Patrick Rondon (Google).

Klaus von Gleissenthallمشاهده پروفایل

استادیار

• Programming Languages
• Security
• Systems
• +۳ مورد دیگر

Klaus von Gleissenthall is a tenured Assistant Professor in Computer Science at Vrije Universiteit Amsterdam, affiliated with the Theory Group and VUSec security lab. He holds a joint appointment with CWI's Computer Security group. Previously, he was a post-doc at UCSD and completed his PhD at TUM under a Microsoft Research scholarship. His research integrates programming languages , security , and systems to develop formally verified, low-overhead solutions for hardware/software correctness. Key focus areas include: Side-channel attack mitigation via leakage contracts Refinement-type systems for hardware verification Byzantine fault tolerance in distributed systems Publications demonstrate strong emphasis on hardware security (45% of recent papers), formal methods (30%), and distributed systems (25%), with consistent appearances in top-tier venues (S&P, CCS, OOPSLA). Awards & Honors: ERC Starting Grant (€1.5M, 2024) Intel Hardware Security Award Honorable Mention (2020, 2024) Distinguished Paper Awards: CCS'23, OOPSLA'23, POPL'21 He advises four PhD students and two post-docs, supported by his ERC grant. Current projects include refinement types for hardware and pre-silicon leak detection. His lab collaborates with VUSec and CWI, focusing on scalable verification tools like LLVM Blade and methodologies for constant-time execution guarantees.

• Concurrent computation
• Distributed systems
• Actor model
• +۴ مورد دیگر

Gul Agha is a distinguished Professor of Computer Science at the University of Illinois at Urbana-Champaign and Director of the Open Systems Laboratory. His career spans over three decades of pioneering research in concurrent and distributed computing systems. Professor Agha's research focuses on the actor model of computation, formal methods, and statistical model checking. His work bridges theoretical foundations with practical applications in distributed systems, programming languages, and verification techniques. He has made seminal contributions to understanding concurrent computation through his development of the actor model framework. His publication record shows consistent contributions from the 1980s through the present, with recent work focusing on verification of safety-critical systems, serverless computing optimization, and advanced techniques for distributed actor systems. The trend in his research demonstrates a progression from theoretical foundations to practical applications in modern computing environments including cloud infrastructure and IoT systems. His scientific achievements have been recognized with numerous prestigious awards: Fellow of the IEEE (2002) IEEE Computer Society Meritorious Service Award Golden Core Member of the IEEE Computer Society International Lecturer for the ACM (1992-1997) ACM Fellow (2018) for research in concurrent programming and formal methods Professor Agha has supervised numerous graduate students and postdoctoral researchers through the Open Systems Laboratory. His laboratory has secured substantial research funding for projects in distributed systems, formal verification, and wireless sensor networks. His work on the actor model has influenced both academic research and industry practices in concurrent and distributed computing. As Director of the Open Systems Laboratory, Professor Agha leads a research group focused on advancing the state of the art in distributed and concurrent systems. The laboratory serves as an intellectual hub for theoretical and practical research in open distributed systems, with projects spanning from foundational theory to real-world implementations in areas like structural health monitoring and cloud computing.

Joseph Millerمشاهده پروفایل

استاد

• Journalism
• Opinion Writing
• Creative Nonfiction
• +۳ مورد دیگر

Joseph Miller is a Professor in the Department of English at Columbus State University, where he has been teaching since 2011. He specializes in journalism, opinion writing, creative nonfiction, cinema studies, and composition, and serves as faculty advisor for The Uproar , CSU's student newspaper. MFA from University of Kansas BFA from University of Colorado Professor Miller's research spans multiple disciplines with a particular focus on the intersection of journalism, creative writing, and film studies. His work explores how narrative forms can address social issues, with significant contributions to understanding debate education, alcoholism treatment models, and contemporary cinema. His teaching approach integrates practical journalism skills with critical analysis of media in the digital age. His recent scholarly output reveals a clear trajectory toward film studies and digital media, while maintaining connections to his foundational work in journalism and debate education. The publications span traditional academic venues and prominent cultural publications, demonstrating his ability to bridge scholarly and public discourse. William Rockhill Nelson Award and Harry Chapin Award for nonfiction (2007) Chicago Tribune Best Book of the Year designation for Cross-X Multiple awards from press associations including Missouri, Kansas, and Colorado Special mention from the 2012 Pushcart Prize for his essay "Born Again and Again" As faculty advisor for The Uproar , Professor Miller mentors student journalists while maintaining his own active publication record across multiple genres. His journalism has appeared in prestigious outlets including The New Republic , Salon , and Vibe , while his creative nonfiction has been featured in The Missouri Review and New Letters . He has twice been a finalist for the Missouri Lifestyle Journalism Awards and the John Bartlow Martin Award for Public Interest Magazine Journalism. Professor Miller curates the International Auteur Film Series on campus, creating a bridge between his academic work and the broader university community through film programming that showcases international cinema and fosters critical viewing skills.

Panagiotis Manoliosمشاهده پروفایل

استاد

• Formal Methods
• Program Verification
• Theorem Proving
• +۵ مورد دیگر

Panagiotis (Pete) Manolios is a Professor in the Department of Computer Science within Northeastern University's College of Engineering in Boston. He leads the Northeastern University Formal Methods (NUFM) research group and maintains an active research program with multiple current PhD students. His primary affiliation is with the College of Computer Science (CCS) at Northeastern University, where he holds a tenured faculty position. Manolios' research focuses on formal methods with particular emphasis on program verification, theorem proving, and safety analysis of systems. His work spans several key areas including floating-point program analysis, resource-aware program verification, protocol verification, and safety-critical systems. He has developed significant tools and methodologies such as ACL2s (a powerful theorem prover) and pioneered approaches for analyzing numeric stability in compiler optimizations. His recent publications demonstrate substantial activity in formal verification, with particular focus on numeric stability analysis, invariant discovery through gamification, and model-based safety analysis of complex system architectures. These works reflect a consistent research trajectory toward making formal verification more practical and applicable to real-world systems, especially those with safety-critical requirements. Manolios has received recognition through multiple NSF grants including the SaTC: CORE: Medium collaborative project on bridging the gap between protocol design and implementation. His work on confidentiality and integrity of deep neural networks represents cutting-edge research at the intersection of formal methods and AI security. He has successfully mentored numerous PhD students who have gone on to positions at major technology companies including Google, Facebook, Intel, and MathWorks. His students' dissertations cover diverse topics within formal methods, from rank-polymorphic programming languages to resource-aware program analysis. Manolios directs several significant research projects including ACL2s (a powerful theorem prover), CID: Confidentiality and Integrity of Deep Neural Networks, Compilation-Dependent Security Properties of Software, and Platform Dependencies of Floating-Point Programs. These projects address fundamental challenges in making formal verification more practical and applicable to real-world systems.

Ji-Yong Shinمشاهده پروفایل

استادیار

• Formal Methods
• Distributed Systems
• Operating Systems
• +۴ مورد دیگر

Ji-Yong Shin is an Assistant Professor in the Khoury College of Computer Sciences at Northeastern University, where he has been faculty since 2020. Previously, he served as an Associate Research Scientist at Yale University after completing his Ph.D. at Cornell University. His research bridges systems design and formal verification to ensure correctness in complex distributed systems. His educational background includes: Ph.D. in Computer Science from Cornell University Professor Shin's research focuses on co-designing systems and formal verification methods to simplify correctness proofs without sacrificing performance. Key areas include distributed systems (consensus protocols like Raft/Paxos), serverless computing for stateful applications, cloud storage leveraging emerging hardware (persistent memory, RDMA), and system support for deep neural networks. His Atomic Distributed Objects (ADO) model abstracts network behaviors to enable compositional reasoning of distributed systems. His publication trend (2020-2025) shows consistent contributions to top-tier venues (PLDI, OOPSLA, NSDI, VLDB), with recent work emphasizing blockchain verification (LiDO-DAG), reconfiguration protocols (ReCraft), and storage systems (FusionFlow). This reflects a cohesive research trajectory where formal methods solve practical systems challenges in distributed computing. His scientific recognition includes: NSF CAREER Award (2025) He currently advises PhD student Bryant Curto and actively recruits new students, focusing on systems and formal methods. His funded research includes an NSF FMitF grant (2020) with Zhong Shao and Robert Soule for formal methods in cloud infrastructure. He also serves in leadership roles including HotStorage 2025 Co-General Chair and PC member for OOPSLA 2026, NSDI 2026, and USENIX ATC 2025. Professor Shin jointly runs the systems research group at Northeastern, collaborating on projects spanning distributed systems verification, serverless computing enhancements, and storage system optimizations using next-generation hardware.

• Virtual currencies
• Payments
• Commercial law
• +۷ مورد دیگر

Sarah Jane Hughes is a Professor and University Scholar in Commercial Law at Indiana University Maurer School of Law. She teaches courses including Sales, Negotiable Instruments, Secured Transactions, and Banking Law, and supervises the semester externship program in Washington, DC. Professor Hughes earned her A.B. cum laude from Mount Holyoke College in 1971 and her J.D. from the University of Washington in 1974, where she served on the board of editors for the Washington Law Review. Professor Hughes is a nationally recognized expert in payment systems, including domestic, international, Internet banking, smart cards, wire transfers, checks, embezzlement, and credit cards. Her expertise also extends to public and private methods to deter, detect, and prosecute domestic and international money laundering, as well as consumer protection and financial privacy. She has served as Attorney-Advisor at the Federal Trade Commission Bureau of Consumer Protection (1974-1988) and has been a Reporter for the Standing Committee on Payments Systems, Permanent Editorial Board for the Uniform Commercial Code since 2003. She is an elected member of the American Law Institute (2000-present) and serves on the American Bar Association liaison to the Money Services Act Drafting Committee. Professor Hughes' recent scholarly work focuses on virtual currencies, blockchain technology, and the evolving regulatory landscape for electronic payments. Her publications demonstrate a consistent trend toward examining the intersection of emerging financial technologies with traditional legal frameworks, particularly in the areas of consumer protection, money laundering prevention, and cybersecurity. She has been particularly active in analyzing regulatory approaches to cryptocurrencies at both state and federal levels, including her work as Reporter for the Uniform Regulation of Virtual Currency Business Act. Professor Hughes has received several prestigious awards for her teaching excellence: Leon Wallace Teaching Award (1993) Gavel Award (1996, 1997, 2000) As Faculty Supervisor and Instructor for the Washington DC Semester Program since Fall 2013, Professor Hughes has mentored numerous law students through externships in the nation's capital. She has provided expert testimony before Congressional committees on consumer protection issues in mobile payments and the present and future impact of virtual currency. Professor Hughes is actively involved in professional organizations including the American Bar Association's Cyberspace Law Committee, where she co-chairs the Working Group in Electronic Payment Services, and the Business Law, Antitrust and International Law Sections. Her work bridges academic scholarship with practical legal application in the rapidly evolving field of financial technology regulation.

• Cybersecurity
• Cloud/Edge Computing
• Mobile Computing
• +۳ مورد دیگر

Mengjun Xie serves as Professor and Head of the Department of Computer Science & Engineering at the University of Tennessee at Chattanooga (UTC), holding dual distinguished titles as Guerry Professor and UC Foundation Professor. He directs the UTC InfoSec Center, a hub for cybersecurity research and education, and teaches advanced courses including Algorithm Analysis, Network Security, and Software Engineering. His leadership spans departmental administration, curriculum development, and strategic initiatives in computer science education. Education: PhD in Computer Science, College of William and Mary, 2010 (Supporting Areas: Cybersecurity) Dr. Xie's research spans Cybersecurity, Cloud/Edge Computing, Mobile Computing, Social Network Analysis, Big Data Analytics, and Computer Education. His work focuses on practical security solutions for IoT systems through knowledge graph applications, remote live forensics for Android devices, and blockchain-based IoT platforms. He pioneers educational tools for hands-on cybersecurity training, emphasizing privacy technologies and cloud-based lab development. His publications demonstrate consistent innovation at the intersection of theoretical research and real-world implementation. Recent publications (2022-2024) reveal a strong trend toward knowledge graph applications in cybersecurity, particularly for IoT forensics and log anomaly detection. His research bridges cloud security challenges with educational outreach, evidenced by developments like ForensiQ for IoT forensics and hands-on lab materials for privacy education. This dual focus on cutting-edge security research and pedagogical innovation defines his scholarly impact. Dr. Xie actively mentors students through thesis and dissertation supervision and serves as Faculty Advisor for UTC MocSec Cyber Defense since 2018. His service portfolio includes: Faculty Member, UTC Quantum Initiative (2022-Present) Committee Member, UTC Faculty Senate (2020-2024) Project Supervisor, UTC Employee COVID-19 Self-Check Application (2020-2021) Committee Chair, UTC CAE-CD Re-designation Committee (2022-2023) Committee Member, CECS Outreach and Research Committee (2023-2025) As Director of the InfoSec Center , he leads a multidisciplinary team advancing cybersecurity research, education, and community engagement through the CAE-CD program, industry partnerships, and national collaborations including NSA-sponsored initiatives.